helm/searchEngine/html/editor.html

   1 <HTML>
   2 <HEAD>
   3 <SCRIPT language="Javascript">
   4 qbf=/[[^\[\]<>]*|<set>|<val>|<boole>]*/
   5 function invia()
   6         {
   7         window.open(top.topurl+"/execute?query="+escape(document.edit.qta.value),"cw");
   8         }
   9 function parse1()
  10         {
  11         while (fb.indexOf("<")>-1){
  12         if (fb.indexOf("<")>0)
  13                 {
  14                 fb=fb.replace("<","&lt;");
  15                 }
  16                                          }
  17         while (fb.indexOf(">")>-1){
  18         if (fb.indexOf(">")>0)
  19                 {
  20                 fb=fb.replace(">","&gt;");
  21                 }
  22                                          }
  23         //while (fb.indexOf("[?")>-1){
  24                 //fb=fb.replace("[?","&gt;");
  25                         //               }
  26         }
  27 function parse()
  28         {
  29         while (fb.indexOf("<set>")>-1)
  30                 {
  31                 fb=fb.replace("<set>","[set]");
  32                 }
  33         while (fb.indexOf("<val>")>-1)
  34                 {
  35                 fb=fb.replace("<val>","[val]");
  36                 }
  37         while (fb.indexOf("<boole>")>-1)
  38                 {
  39                 fb=fb.replace("<boole>","[boole]");
  40                 }
  41         parse1();
  42         }
  43 function armageddon()
  44         {
  45         top.initialize();
  46         top.window.open(top.topurl+"/getpage?url=start.html","qw");
  47         top.window.open(top.topurl+"/getpage?url=blank.html","cw");
  48         top.window.open(top.topurl+"/getpage?url=blank.html","hw");
  49         top.window.open(top.topurl+"/getpage?url=blank.html","gw");
  50         top.window.open(top.topurl+"/getpage?url=blank.html","sw");
  51         }
  52 function comprimispazi()
  53         {
  54         stringa=document.edit.qta.value;
  55         while (stringa.charAt(0)==" ") {stringa=stringa.substring(1,stringa.length)}
  56         sle=stringa.length;
  57         for (i=1;i<sle;i++)
  58                 {
  59                 if (stringa.charAt(i)==" " && stringa.charAt(i+1)==" ") {
  60                         //alert("i="+i+"char="+stringa.charAt(i));
  61                         //alert(stringa.substring(0,i)+"---"+stringa.substring(i+1,stringa.length));
  62                         stringa=stringa.substring(0,i)+stringa.substring(i+1,stringa.length); i--;}
  63                 }
  64         document.edit.qta.value=stringa;
  65         }
  66 function apply()
  67         {
  68         top.storep=1;
  69         fb=document.edit.qta.value;
  70         ok=qbf.test(fb);
  71         if (ok){
  72         parse();
  73         //alert("parse ok");
  74         top.fb=fb;
  75         top.storeps=1;top.storepv=1;top.storepb=1;
  76         top.parse();
  77         //alert("top.parse ok");
  78         top.query=top.fb;
  79         top.qw.document.close();
  80         top.qw.document.write(top.query);
  81         top.aggform();  //alert("aggform ok");
  82         top.aggcw();//alert("aggcw ok");
  83         comprimispazi();}
  84         }
  85 function inserisci(mq)
  86         {
  87         document.edit.qta.focus();
  88         var TR=document.selection.createRange();
  89         if(TR!=null)
  90                 {
  91                         TR.text=TR.text+mq;
  92                 }
  93         else document.edit.qta.value+=mq;
  94         //comprimispazi();
  95         }
  96 function agg()
  97         {
  98         document.edit.qta.value=top.cquery;
  99         comprimispazi();
 100         }
 101 </SCRIPT>
 102 </HEAD>
 103 <BODY>
 104 <table>
 105 <tr><td>
 106 <form name="edit" method="get" action="Javascript:invia()">
 107 <textarea name="qta" cols="40" rows="8" onMouseOver="top.help(-2)";>
 108 </textarea>
 109 </td>
 110 <td>
 111 <input type="button" value="set" onMouseOver="top.help(-6)" onClick="inserisci(' <set> ');"><br>
 112 <input type="button" value="val" onMouseOver="top.help(-6)" onClick="inserisci(' <val> ');"><br>
 113 <input type="button" value="bol" onMouseOver="top.help(-6)" onClick="inserisci(' <boole> ');"><br>
 114 </td></tr></table>
 115 <input type="submit" value="Submit the query" onMouseOver="top.help(-4)"></input>
 116 <input type="reset" value="Restart" onMouseOver="top.help(-5)" onClick="armageddon()"></input>
 117 <input type="button" value="Apply Changes" onMouseOver="top.help(-3)" onClick="apply();top.actinput++;top.storia[top.actinput]=top.query;top.numeroazioniannullate=0;"></input>
 118 </form>
 119 </BODY>
 120 </HTML>