helm/searchEngine/html/val.html

   1 <HTML>
   2 <HEAD>
   3 <SCRIPT language="Javascript">
   4 function listrvars()
   5         {
   6         for (num=0; num<top.norvars; num++)
   7                 {
   8                 document.write("<OPTION value="+top.rvars[num]+">"+top.rvars[num]);
   9                 }
  10         }
  11 function listvvars1()
  12         {
  13         for (num=0; num<top.novvars1; num++)
  14                 {
  15                 document.write("<OPTION value="+top.vvars1[num]+">"+top.vvars1[num]);
  16                 }
  17         }
  18 function listvvars2()
  19         {
  20         for (num=0; num<top.novvars2; num++)
  21                 {
  22                 document.write("<OPTION value="+top.vvars2[num]+">"+top.vvars2[num]);
  23                 }
  24         }
  25 function help()
  26         {
  27         alert ("spiegazione del bottone selezionato");
  28         }
  29 function choice()
  30 {
  31 top.stadd="";top.wrong=0;voidfield=1;
  32 with (document.form1) {
  33         if (selopt[0].checked) {
  34                 voidfield=0;
  35                 val1.value=top.tpa(val1.value);
  36                 top.stadd=val1.value;
  37                 top.gramcheck("qsl",val1.value);
  38                                           }
  39         if (selopt[1].checked) {
  40                 top.stadd="refof [set]";
  41                                           }
  42         if (selopt[2].checked) {
  43                 if (val2.value==""||val8.value==""){voidfield=1;}
  44                 else {top.stadd=val2.value+"."+val8.value;}
  45                                           }
  46         if (selopt[3].checked) {
  47                 top.stadd=val3.value;
  48                                           }
  49         if (selopt[4].checked) {
  50                 top.stadd="([val])";
  51                                           }
  52         if (selopt[5].checked) {
  53                 voidfield=0;
  54                 val6.value=top.tpa(val6.value);
  55                 top.stadd="property "+val45.value+" "+val5.value+" "+val6.value+" [val]";
  56                 top.gramcheck("qp",val6.value);
  57                                           }
  58         if (selopt[6].checked) {
  59                 val7.value=top.tpa(val7.value);
  60                 top.stadd=val7.value;
  61                 if (val7.value!="") {inputok=1} else voidfield=1;
  62                                           }
  63                    }
  64 if (top.stadd!="") top.aggq();
  65         else if (voidfield==1) alert ("You left at least one field unfilled");
  66 }
  67 </SCRIPT>
  68 </HEAD>
  69 <BODY>
  70 <h1> <SCRIPT language="Javascript">document.write(top.ltr) </SCRIPT>
  71 <input type="button" value="&lt;-" onmouseOver="top.help(-8)" onclick="top.annulla()">
  72 <input type="button" value="-&gt;" onmouseOver="top.help(-81)" onclick="top.ripristina()"></h1>
  73 <h2> Select one of the following: </h2>
  74 <form name="form1" action="Javascript:choice();" method="get">
  75 <input type="radio" name="selopt"> <input name="val1" type=text value="{&quot;&quot;}" onFocus="selopt[0].checked=true;top.help(7)"> <br>
  76 <input type="radio" name="selopt"> refof [set] <br>
  77 <input type="radio" name="selopt"> <select name="val2" type=text onFocus="selopt[2].checked=true;top.help(4)">
  78 <script language=Javascript> listrvars(); </script>
  79 </select> . <select name="val8" type=text onFocus="selopt[2].checked=true;top.help(8)">
  80 <script language=Javascript> listvvars2(); </script>
  81 </select>
  82 <br>
  83 <input type="radio" name="selopt"> <select name="val3" type=text onFocus="selopt[3].checked=true;top.help(81)">
  84 <script language=Javascript> listvvars1(); </script>
  85 </select>
  86 <br>
  87 <input type="radio" name="selopt"> ( [val] ) <br>
  88 <input type="radio" name="selopt"> property
  89 <select name="val45" onFocus="selopt[5].checked=true">
  90 <OPTION selected value="">
  91 <OPTION value=inverse> inverse
  92 </select>
  93 <select name="val5" onFocus="selopt[5].checked=true">
  94 <OPTION selected value="">
  95 <OPTION value=sub> sub
  96 <OPTION value=super> super
  97 </select> <input name="val6" type=text value="&quot;&quot;" onFocus="selopt[5].checked=true;top.help(5)"> [val] <br>
  98 <input type="radio" name="selopt"> <input name="val7" type=text onFocus="selopt[6].checked=true;top.help(1)">  <br>
  99 <input type="submit" value="compose"><input type="button" value="get help" onclick="help()">
 100 </form>
 101 </BODY>
 102 </HTML>