]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/editorpdq.html
Branch V7_3_new_exportation merged.
[helm.git] / helm / searchEngine / html / editorpdq.html
diff --git a/helm/searchEngine/html/editorpdq.html b/helm/searchEngine/html/editorpdq.html
new file mode 100644 (file)
index 0000000..21e8039
--- /dev/null
@@ -0,0 +1,90 @@
+<HTML>
+<HEAD>
+<SCRIPT language="Javascript">
+var alias="";
+var expr="";
+function armageddon()
+       {
+       if (confirm("Are you sure you want to delete your query and start a new one?"))
+               {
+               top.terminecic="";top.listaliases="";top.ricordaliaslist=0;top.vlds=new Array();var alias="";var expr="";
+               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 nuovapdqsa()
+       {
+       if (confirm("Are you sure you want to change expression?"))
+               {
+               top.terminecic="";
+               document.invio.expression.value="";document.invio.aliaslist.value=unescape(top.listaliases);
+               top.ricordaliaslist=1;
+               window.open(top.topurl+top.action+"pdq.html","cw");
+               window.open(top.topurl+top.action+"editorpdq.html","sw");
+               }
+       }
+function invia()
+       {
+       if (document.invio.expression.value!="")
+               {top.terminecic=escape(document.invio.expression.value);
+    top.listaliases="";
+               for (i=0;i<top.aliasglob.length;i++)
+                       {
+                       top.listaliases=top.listaliases+escape(top.aliasglob[i]+" ");
+                       }
+               //alert(top.listaliases);
+    window.open(top.ask_uwobo(top.topurl+"/"+top.current_query+"?term="+escape(document.invio.expression.value)+"&aliases="+top.listaliases),"cw");
+        }
+               //window.open(top.topurl+top.action+"templateambigpdq2.html","bw")}     
+       else {alert("Please complete the query before.")}
+       }
+function warning()
+       {
+       alert("You may not modify this field.",alias);
+       document.invio.aliaslist.value=alias;
+       document.invio.expression.value=expr;
+       }
+function editalias(valore)
+       {
+       top.window.sw.alias=valore;
+       document.invio.aliaslist.value=valore;
+       }
+function editexpr(valore)
+       {
+       top.window.sw.expr=valore;
+       document.invio.expression.value=valore;
+       }
+function listalias()
+       {
+       for (num=0;num<top.aliasglob.length;num++)
+               {
+               //alert(top.aliasglob[num]);
+               document.write("<OPTION value="+num+">"+top.aliasglob[num]);
+               }
+       }
+function editaalias()
+       {
+       if (document.invio.expression.value!=""){top.terminecic=escape(document.invio.expression.value)}
+       top.window.open(top.topurl+top.action+"aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
+       }
+</SCRIPT>
+</HEAD>
+<BODY>
+<form name="invio" action="Javascript:invia();">
+<select name="aliaslist" size=1>
+<SCRIPT language=Javascript> listalias(); </script>
+</select> Your list of alias.
+<input type=button value="edit" onMouseOver="top.help(-9)" onClick="editaalias()";>
+</br>
+<textarea name="expression" cols="43" rows="6"></textarea><br>Your expression.<br>
+<input type=submit value="Submit" onMouseOver="top.help(-4)"></input>
+<input type=button value="Restart" onMouseOver="top.help(-5)" onClick="armageddon()"></input>
+<input type=button value="New expression" onMouseOver="top.help(-7)" onClick="nuovapdqsa()"></input>
+</form>
+<SCRIPT language=Javascript>document.invio.expression.value=unescape(top.terminecic); </script>
+</BODY>
+</HTML>