helm/searchEngine/html/boole.html

   1 <HTML>
   2 <HEAD>
   3 <SCRIPT language="Javascript">
   4 function help()
   5         {
   6         alert ("spiegazione del bottone selezionato");
   7         }
   8 function choice()
   9 {
  10 top.stadd="";
  11 with (document.form1) {
  12         if (selopt[0].checked) {
  13                 top.stadd=boole1.value;
  14                                           }
  15         if (selopt[1].checked) {
  16                 top.stadd="([boole])";
  17                                           }
  18         if (selopt[2].checked) {
  19                 top.stadd=boole2.value+" [boole]";
  20                                           }
  21         if (selopt[3].checked) {
  22                 top.stadd="[boole] "+boole3.value+" [boole]";
  23                                           }
  24         if (selopt[4].checked) {
  25                 top.stadd="[val] "+boole4.value+" [val]";
  26                                           }
  27         if (selopt[5].checked) {
  28                 boole5.value=top.tpa(boole5.value);
  29                 top.stadd=boole5.value;
  30                                           }
  31                    }
  32 if (top.stadd!="") top.aggq();
  33         else alert("You left at least one field unfilled");
  34 }
  35 </SCRIPT>
  36 </HEAD>
  37 <BODY>
  38 <h1> <SCRIPT language="Javascript">document.write(top.ltr) </SCRIPT>
  39 <input type="button" value="&lt;-" onmouseOver="top.help(-8)" onclick="top.annulla()">
  40 <input type="button" value="-&gt;" onmouseOver="top.help(-81)" onclick="top.ripristina()"></h1>
  41 <h2> Select one of the following: </h2>
  42 <form name="form1" action="Javascript:choice();" method="get">
  43 <input type="radio" name="selopt"> <select name="boole1" onFocus="selopt[0].checked=true">
  44 <OPTION value=false> false
  45 <OPTION value=true> true
  46 </select> <br>
  47 <input type="radio" name="selopt"> ( [boole] ) <br>
  48 <input type="radio" name="selopt"> <select name="boole2" onFocus="selopt[2].checked=true">
  49 <OPTION value=not> not
  50 <OPTION value=ex> ex
  51 </select> [boole] <br>
  52 <input type="radio" name="selopt"> [boole] <select name="boole3" onFocus="selopt[3].checked=true">
  53 <OPTION value=and> and
  54 <OPTION value=or> or
  55 </select> [boole]  <br>
  56 <input type="radio" name="selopt"> [val] <select name="boole4" onFocus="selopt[4].checked=true">
  57 <OPTION value=sub> sub
  58 <OPTION value=meet> meet
  59 <OPTION value=eq> eq
  60 </select>
  61 [val]<br>
  62 <input type="radio" name="selopt"> <input name="boole5" type=text onFocus="selopt[5].checked=true;top.help(1)"> <br>
  63 <input type="submit" value="compose"><input type="button" value="get help" onclick="help()">
  64 </form>
  65 </BODY>
  66 </HTML>