helm/searchEngine/html/set.html

   1 <HTML>
   2 <HEAD>
   3 <SCRIPT language="Javascript">
   4 var inputok=0;
   5 function listrvars()
   6         {
   7         for (num=0; num<top.norvars; num++)
   8                 {
   9                 document.write("<OPTION value="+top.rvars[num]+">"+top.rvars[num]);
  10                 }
  11         }
  12 function listsvars()
  13         {
  14         for (num=0; num<top.nosvars; num++)
  15                 {
  16                 document.write("<OPTION value="+top.svars[num]+">"+top.svars[num]);
  17                 }
  18         }
  19 function listvvars()
  20         {
  21         for (num=0; num<top.novvars; num++)
  22                 {
  23                 document.write("<OPTION value="+top.vvars[num]+">"+top.vvars[num]);
  24                 }
  25         }
  26 function help()
  27         {
  28         alert ("spiegazione del bottone selezionato");
  29         }
  30 function choice()
  31 {
  32 top.stadd="";
  33 with (document.form1) {
  34         inputok=0;voidfield=0;top.wrong=0;
  35         if (selopt[0].checked) {
  36                 top.stadd="ref [val]";
  37                 inputok=1;
  38                                           }
  39         if (selopt[1].checked) {
  40                 top.stadd="pattern [val]";
  41                 inputok=1;
  42                                           }
  43         if (selopt[2].checked) {
  44                 top.stadd=set1.value;
  45                 if (set1.value!="") {inputok=1} else voidfield=1;
  46                                           }
  47         if (selopt[3].checked) {
  48                 top.stadd=set2.value;
  49                 if (set2.value!="") {inputok=1} else voidfield=1;
  50                                           }
  51         if (selopt[4].checked) {
  52                 top.stadd="([set])";
  53                 inputok=1;
  54                                           }
  55         if (selopt[5].checked) {
  56                 if (set5.value.charAt(set5.value.length-1)==","){set5.value=set5.value.substring(0,set5.value.length-1)}
  57                 if (set5.value.length<7) {set5.value=""};
  58                 set4.value=top.tpa(set4.value);
  59                 top.stadd="relation "+set25.value+" "+set3.value+" "+set4.value+" [val] "+set5.value;
  60                 top.gramcheck("qp",set4.value);
  61                 //alert(set5.value.charAt(set5.value.length-1));
  62                 top.stadd=top.tpa(top.stadd);
  63                 //while (top.stadd.indexOf("<")>-1)
  64                         //{top.stadd=top.stadd.replace("<","&lt;");}
  65                 if (set5.value!="")
  66                 {top.gramcheck("vlist",set5.value);}
  67                 else inputok=1;
  68                                           }
  69         if (selopt[6].checked) {
  70                 top.stadd="select @"+set6.value+" in [set] where [boole]";
  71                 top.gramcheck("id",set6.value);
  72                 if ((set6.value!="") && (inputok==1))
  73                         {
  74                         top.rvars[top.norvars]="@"+set6.value;
  75                         top.norvars++;
  76                         }
  77                                           }
  78         if (selopt[7].checked) {
  79                 top.stadd="[set] "+set7.value+" [set]";
  80                 inputok=1;
  81                                           }
  82         if (selopt[8].checked) {
  83                 top.stadd="let %"+set8.value+" be [set] in [set]";
  84                 top.gramcheck("id",set8.value);
  85                 if ((set8.value!="") && (inputok==1))
  86                         {
  87                         top.svars[top.nosvars]="%"+set8.value;
  88                         top.nosvars++;
  89                         }
  90                                           }
  91         if (selopt[9].checked) {
  92                 top.stadd="let $"+set9.value+" be [val] in [set]";
  93                 top.gramcheck("id",set9.value);
  94                 if ((set9.value!="") && (inputok==1))
  95                         {
  96                         top.vvars1[top.novvars1]="$"+set9.value;
  97                         top.novvars1++;
  98                         }
  99                                           }
 100         if (selopt[10].checked) {
 101                 set10.value=top.tpa(set10.value);
 102                 top.stadd=set10.value;
 103                 if (set10.value!="") {inputok=1} else voidfield=1;
 104                                           }
 105                    }
 106 if (top.stadd!="" && inputok==1) {top.aggq()}
 107         else if (voidfield==1) alert("You left at least one field unfilled");
 108 }
 109 </SCRIPT>
 110 </HEAD>
 111 <BODY>
 112 <h1> <SCRIPT language="Javascript">document.write(top.ltr) </SCRIPT>
 113 <input type="button" value="&lt;-" onmouseOver="top.help(-8)" onclick="top.annulla()">
 114 <input type="button" value="-&gt;" onmouseOver="top.help(-81)" onclick="top.ripristina()"></h1>
 115 <h2> Select one of the following: </h2>
 116 <form name="form1" action="Javascript:choice();" method="get">
 117 <input type="radio" name="selopt"> ref [val] <br>
 118 <input type="radio" name="selopt"> pattern [val] <br>
 119 <input type="radio" name="selopt"> <select name="set1" type=text onFocus="selopt[2].checked=true;top.help(6)">
 120 <script language=Javascript> listsvars(); </script>
 121 </select>
 122 <br>
 123 <input type="radio" name="selopt"> <select name="set2" type=text onFocus="selopt[3].checked=true;top.help(4)">
 124 <script language=Javascript> listrvars(); </script>
 125 </select>
 126 <br>
 127 <input type="radio" name="selopt"> ( [set] ) <br>
 128 <input type="radio" name="selopt"> relation
 129 <select name="set25" onFocus="selopt[5].checked=true">
 130 <OPTION selected value="">
 131 <OPTION value=inverse> inverse
 132 </select>
 133 <select name="set3" onFocus="selopt[5].checked=true">
 134 <OPTION selected value="">
 135 <OPTION value=sub> sub
 136 <OPTION value=super> super
 137 </select>
 138 <input name="set4" type=text size=15 value="&quot;&quot;" onFocus="selopt[5].checked=true;top.help(5)">
 139 [val] <input name="set5" type=text size=20 onFocus="selopt[5].checked=true;top.help(2);if (this.value=='') this.value='attr $';">
 140 <br>
 141 <input type="radio" name="selopt"> select @ <input name="set6" type=text onFocus="selopt[6].checked=true;top.help(3)">
 142 in [set] where [boole] <br> <input type="radio" name="selopt"> [set]
 143 <select name="set7" onFocus="selopt[7].checked=true">
 144 <OPTION value=union> union
 145 <OPTION value=intersect> intersect
 146 <OPTION value=diff> diff
 147 </select>
 148 [set]  <br>
 149 <input type="radio" name="selopt"> let %<input name="set8" type=text onFocus="selopt[8].checked=true;top.help(3)"> be [set] in [set] <br>
 150 <input type="radio" name="selopt"> let $<input name="set9" type=text onFocus="selopt[9].checked=true;top.help(3)"> be [val] in [set] <br>
 151 <input type="radio" name="selopt"> <input name="set10" type=text
 152 onFocus="selopt[10].checked=true;top.help(1)">  <br>
 153 <input type="submit" value="compose"><input type="button" value="get help" onclick="help()">
 154 <!--input type="button" value="compose" onclick="choice()"><!--input type="button" value="get help" onclick="help()">
 155 </form>
 156 </BODY>
 157 </HTML>