X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Findex.html;h=879bdd646380e0807e17e3d51b891f920502aa4d;hb=9543a355016ed3c2abc5e75e4e5d24e8f4d9bb3a;hp=7e09b91f3710ef8e1f7bcbc970b336b62b677436;hpb=524d98c48e119440423b449127ae05415ee48753;p=helm.git

diff --git a/helm/searchEngine/html/index.html b/helm/searchEngine/html/index.html
index 7e09b91f3..879bdd646 100644
--- a/helm/searchEngine/html/index.html
+++ b/helm/searchEngine/html/index.html
@@ -42,6 +42,10 @@ function initialize()
 	actinput=0;
 	numeroazioniannullate=0;
 	}
+function ask_uwobo(url)
+       {
+         return (top.topurl+"/ask_uwobo?url="+escape("http://mowgli.cs.unibo.it:58080/apply?xmluri=" + escape(url) + "&keys=T1%2CT2%2CL%2CE&param.processorURL=http%3A//mowgli.cs.unibo.it%3A58080/&param.getterURL=http%3A//mowgli.cs.unibo.it%3A58081/&param.proofcheckerURL=http%3A//mowgli.cs.unibo.it%3A58084/&param.draw_graphURL=http%3A//mowgli.cs.unibo.it%3A58083/&param.uri_set_queueURL=http%3A//mowgli.cs.unibo.it%3A58082/&param.UNICODEvsSYMBOL=unicode&param.keys=d_c%2CC1%2CHC2%2CL&param.thkeys=T1%2CT2%2CL%2CE&param.embedkeys=d_c%2CTC1%2CHC2%2CL&param.doctype-public=-//W3C//DTD%20XHTML%201.0%20Transitional//EN&param.encoding=iso-8859-1&param.thencoding=iso-8859-1&param.media-type=text/html&param.thmedia-type=text/html&param.interfaceURL=http%3A//helm.cs.unibo.it/helm/html/cic/index.html&param.thinterfaceURL=http%3A//helm.cs.unibo.it/helm/html/theory/index.html&param.CICURI=dummy:query_result&param.naturalLanguage=yes&param.annotations=no&param.topurl=http://helm.cs.unibo.it/helm&prop.method=html"));
+       }
 function help(w) // quando invocata, visualizza l' help relativo ad un oggetto. Di solito è legata ad un evento onFocus o onMouseOver.  
 	{
 	hw.document.close();
@@ -398,6 +402,137 @@ var topurl=document.location.protocol+'//'+document.location.host;
 //var topurl="";
 var action="/getpage?url=";
 //var action="";
+
+
+// UTILITY FUNCTIONS FOR templateambigpdq1.html
+function templateambigpdq1_armageddon()
+	{
+	top.initialize();
+	top.window.open(top.topurl+top.action+"start.html","qw");
+	top.window.open(top.topurl+top.action+"blank.html","cw");
+	top.window.open(top.topurl+top.action+"blank.html","hw");
+	top.window.open(top.topurl+top.action+"blank.html","gw");
+	top.window.open(top.topurl+top.action+"blank.html","sw");
+	}
+
+function templateambigpdq1_resetta()
+	{
+	if (confirm("This will erase your query and start a new one. Are you sure you want to do this?"))
+		{templateambigpdq1_armageddon();}
+	}
+
+function templateambigpdq1_listauri(document,elenco)
+	{
+	for (i=0;i<elenco.length;i++)
+		{
+		document.write("<input type=checkbox name=uricheck value="+elenco[i]+"> "+elenco[i]+"<br>"); 
+		}
+	}
+
+function templateambigpdq1_invia(document,top,elenco,ident)
+	{
+	vecchiavlds=top.vlds.length;
+	stringa=top.topurl+"/searchPattern?term="+top.terminecic;
+	stringa=stringa+"&aliases="+top.listaliases;
+	stringa=stringa+"&choices=";
+        var choices = "";
+	top.vlds[top.vlds.length]=ident;
+	for (j=0;j<elenco.length;j++)
+		{
+		if (document.disamb.uricheck[j].checked)
+			{
+			top.vlds[top.vlds.length]=document.disamb.uricheck[j].value;
+			}
+		}
+	top.vlds[top.vlds.length]=";";
+	for (j=0;j<top.vlds.length;j++)
+	{
+           choices=choices+(top.vlds[j]==";"?";":escape(top.vlds[j]))+" ";
+	}
+	choices=choices.substring(0,choices.length-2);
+        stringa=stringa+escape(choices);
+	if (top.vlds.length==vecchiavlds){alert("You must select at least one of the options.");}
+	else
+	{
+	   window.open(ask_uwobo(stringa),"cw");
+	}
+	} 
+
+  function templateambigpdq1_selezionaCostanti(document,elenco) {
+    for (i=0; i<elenco.length; i++) {
+      if (elenco[i].substring(elenco[i].length-4, elenco[i].length) != ".var") {
+        document.disamb.uricheck[i].checked = true;
+      } else {
+        document.disamb.uricheck[i].checked = false;
+      }
+    }
+  }
+
+
+
+// UTILITY FUNCTIONS FOR templateambigpdq2.html
+function templateambigpdq2_armageddon()
+	{
+	top.initialize();
+	top.window.open(top.topurl+top.action+"start.html","qw");
+	top.window.open(top.topurl+top.action+"blank.html","cw");
+	top.window.open(top.topurl+top.action+"blank.html","hw");
+	top.window.open(top.topurl+top.action+"blank.html","gw");
+	top.window.open(top.topurl+top.action+"blank.html","sw");
+	}
+
+function templateambigpdq2_resetta()
+	{
+	if (confirm("This will erase your query and start a new one. Are you sure you want to do this?"))
+		{templateambigpdq2_armageddon();}
+	}
+
+function templateambigpdq2_listainterpretazioni(document,elenco,labels)
+	{
+	for (i=0;i<elenco.length;i++)
+		{
+                      document.write("<input type=radio name=interp value="+elenco[i]+"> "+labels[i]+"<br />"); 
+		}
+	}
+
+function templateambigpdq2_invia(document,elenco)
+	{
+	stringa=top.topurl+"/searchPattern?term="+top.terminecic;
+	stringa=stringa+"&aliases="+(top.listaliases==""?"":"%20");
+	controllo=stringa.length;
+	for (j=0;j<elenco.length;j++)
+		{
+		if (document.disamb.interp[j].checked)
+			{
+			stringa=stringa+escape(elenco[j]);
+
+      // TODO da implementare nella terza fase
+			//top.aliasglob[top.aliasglob.length]=document.disamb.interp[j].value;
+
+			//for (k=0;k<top.aliasglob.length;k++){alert(top.aliasglob[k])}
+			//top.listaliases=top.listaliases+document.disamb.interp[j].value;//in caso di query ulteriori con la stessa lista di alias
+			}
+			
+		}
+	if (stringa.length!=controllo) 
+		{
+		window.open(ask_uwobo(stringa),"cw");
+		}
+		else {alert("You must choose one option.");}
+	} 
+
+
+
+// UTILITY FUNCTIONS FOR templateambigpdq3.html
+function templateambigpdq3_init(aliases)
+{
+   top.aliasglob = new Array();
+   for (i=0; i<aliases.length; i++) {
+      top.aliasglob[i] = aliases[i];
+   }
+   top.vlds=new Array();
+   top.window.open(top.topurl+top.action+"editorpdq.html", "sw");
+}
 </SCRIPT>
 </HEAD>
   <script>