X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fpdq.html;h=6ab4aa94bb66a5d79d5fa122b4181ba70c633e95;hb=fb783535ecfe90b6277605d8c8df395389acaf75;hp=9088ad49585350eecd3bedbcaba73fc9d4bb4b7c;hpb=fb12bdf2cf0ecbf50726b70d6a3097cb933319a0;p=helm.git

diff --git a/helm/searchEngine/html/pdq.html b/helm/searchEngine/html/pdq.html
index 9088ad495..6ab4aa94b 100644
--- a/helm/searchEngine/html/pdq.html
+++ b/helm/searchEngine/html/pdq.html
@@ -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>