]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/pdq.html
Many changes in the client-side interfaces:
[helm.git] / helm / searchEngine / html / pdq.html
index 9088ad49585350eecd3bedbcaba73fc9d4bb4b7c..6ab4aa94bb66a5d79d5fa122b4181ba70c633e95 100644 (file)
@@ -8,75 +8,20 @@ var calias=0;
 function armageddon()
        {
        top.initialize();
-       top.window.open(top.topurl+"/getpage?url=start.html","qw");
-       top.window.open(top.topurl+"/getpage?url=blank.html","cw");
-       top.window.open(top.topurl+"/getpage?url=blank.html","hw");
-       top.window.open(top.topurl+"/getpage?url=blank.html","gw");
-       top.window.open(top.topurl+"/getpage?url=blank.html","sw");
-       }
-function idcheck(ident)
-       {
-       lettera=/[a-zA-Z]/;
-       partediid=/[a-zA-Z0-9_\-\']/;
-       if (!lettera.test(ident.charAt(0))){alert("an Id must begin with a letter.");return(0)}
-       while (ident.length>0)
-               {
-               ident=ident.substring(1,(ident.length));
-               if (ident.length>0){
-               if (!partediid.test(ident.charAt(0))){alert(ident.charAt(0)+" is not a valid character for an Id.");return(0);}
-               }}
-       return(1)
-       }
-function uricheck(ident)
-       {
-       cifra=/[0-9]/
-       cic=ident.substring(0,5);//alert(cic);
-       if (cic!="cic:/"){alert("an Uri must begin with the string 'cic:/'");return(0);}
-       ident=ident.substring(5,ident.length);//alert(ident);
-       if (ident.indexOf(".")<0){alert("an Uri must contain a '.'");return(0);}
-       ident1=ident.substring(0,ident.indexOf("."));//alert(ident1);
-       ident2=ident.substring(ident.indexOf(".")+1,ident.length);//alert(ident2);
-       while (ident1.length>0)
-               {       
-               if (ident1.indexOf("/")>-1)             
-                       {
-                       if (idcheck(ident1.substring(0,ident1.indexOf("/")))==0){return (0)}
-                       ident1=ident1.substring(ident1.indexOf("/")+1,ident1.length);//alert(ident1);
-                       }
-               else {if (idcheck(ident1)==0){return (0)}       
-                       ident1="";}
-               }
-       if (ident2=="con"||ident2=="var"){return(1)}
-       if (ident2.substring(0,6)!="ind#1/"){alert ("syntax error in the Uri.");return(0);}
-       ident2=ident2.substring(6,ident2.length);//alert(ident2);
-       if (!cifra.test(ident2.charAt(0))){alert ("syntax error in the Uri.");return(0);}
-       if (ident2.indexOf("/")>-1)
-               {
-               while (ident2.charAt(0)!="/")
-                       {
-                       //alert(ident2);
-                       if (!cifra.test(ident2.charAt(0))){alert ("syntax error in the Uri.");return(0);}
-                       ident2=ident2.substring(1,ident2.length);
-                       }
-               }
-       while (ident2.length>0)
-               {
-               //alert(ident2);
-               ident2=ident2.substring(1,ident2.length);
-               if (ident2.length>0){
-               if (!cifra.test(ident2.charAt(0))){alert ("syntax error in the Uri.");return(0);}
-               }}
-       
-       return(1)
+       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 aggiorna()
        {
-       window.open(top.topurl+"/getpage?url=aliaslist.html","bw");
+       window.open(top.topurl+top.action+"aliaslist.html","bw");
        top.cw.bw.document.aliaslist.idi.focus();
        }
 function aggiorna2()
        {
-       window.open(top.topurl+"/getpage?url=expnamedsubst.html","bw");
+       window.open(top.topurl+top.action+"expnamedsubst.html","bw");
        bw.document.aliaslist.varid.focus();
        }
 function parse() 
@@ -91,19 +36,19 @@ function parse()
                top.qw.document.write(mcq);
                if (mcq.charAt(mcq.indexOf("[")+1)=="A")
                        {
-                       window.open(top.topurl+"/getpage?url=aliaslist.html","bw")
+                       window.open(top.topurl+top.action+"aliaslist.html","bw")
                        }
                if (mcq.charAt(mcq.indexOf("[")+1)=="E")
                        {
-                       window.open(top.topurl+"/getpage?url=expr.html","bw")
+                       window.open(top.topurl+top.action+"expr.html","bw")
                        }
                if (mcq.charAt(mcq.indexOf("[")+1)=="G")
                        {
-                       window.open(top.topurl+"/getpage?url=genid.html","bw")
+                       window.open(top.topurl+top.action+"genid.html","bw")
                        }
                if (mcq.charAt(mcq.indexOf("[")+1)=="e")
                        {
-                       window.open(top.topurl+"/getpage?url=expnamedsubst.html","bw")
+                       window.open(top.topurl+top.action+"expnamedsubst.html","bw")
                        }
                }
                else 
@@ -113,8 +58,8 @@ function parse()
                                mcq=mcq.replace("&gt;",">");
                                }
                        top.window.sw.editexpr(mcq);
-                       window.open(top.topurl+"/getpage?url=blank.html","bw");
-                       window.open(top.topurl+"/getpage?url=blank.html","qw");
+                       window.open(top.topurl+top.action+"blank.html","bw");
+                       window.open(top.topurl+top.action+"blank.html","qw");
                        }
        }       
 function aggq()
@@ -125,6 +70,6 @@ function aggq()
 </SCRIPT>
 </HEAD>
 <script>
-  document.write(' <frameset rows="24%,76%" border="0" noresize> <frame name=tw src="'+top.topurl+'/getpage?url=query_choice.html";> <frame name=bw src="'+top.topurl+'/getpage?url=blank.html";> </frameset> ');
+  document.write(' <frameset rows="24%,76%" border="0" noresize> <frame name=tw src="'+top.topurl+top.action+'query_choice.html";> <frame name=bw src="'+top.topurl+top.action+'blank.html";> </frameset> ');
 </script>
 </HTML>