helm/searchEngine/html/expr.html

   1 <HTML>
   2 <HEAD>
   3 <SCRIPT language="Javascript">
   4 function choice()
   5         {
   6 with (document.form1) {
   7         stadd="";top.qw.document.close();quanti=0;
   8         if (selopt[0].checked) {stadd="\\lambda [Genid] : [Expr].[Expr]"}
   9         if (selopt[1].checked) {stadd="let [Genid] = [Expr] in [Expr]"}
  10         if (selopt[2].checked) {stadd="\\forall [Genid]:[Expr].[Expr]"}
  11         if (selopt[3].checked) {stadd="[Expr] \\to [Expr]"}
  12   if (selopt[4].checked) {stadd="?"}
  13         if (selopt[5].checked) {stadd=document.form1.ex2.value}
  14         if (selopt[6].checked) {
  15                                 while (quanti<1)
  16                                         {
  17                                         quanti=prompt("How many expressions in the list?","1");//alert(quanti);
  18                                         if (isNaN(quanti)){quanti=0;}
  19                                         }
  20                                 stadd="(";
  21                                 for (i=0;i<Math.floor(quanti);i++)
  22                                 {stadd=stadd+"[Expr] "}
  23                                 stadd=stadd+")";
  24                                }
  25         if (selopt[7].checked) {
  26                                 stadd=document.form1.id_or_uri.value;
  27                                 //alert(stadd.substring(0,5));
  28                                 if (stadd.substring(0,5)=="cic:/")
  29                                         {if (!top.uricheck(stadd)){stadd="";}}
  30                                 else if (!top.idcheck(stadd)){stadd="";}
  31                                 //alert(stadd);
  32                                 }
  33         if (stadd!="") {parent.mcq=parent.mcq.replace("<font color=\"#ff0000\">[Expr]</font>",stadd);
  34         //top.qw.document.write(parent.mcq);
  35         parent.parse(parent.mcq);}
  36                         }
  37         }
  38 </SCRIPT>
  39 </HEAD>
  40 <BODY>
  41 You are entering an expression. Select one of the following.
  42 <form name="form1" action="Javascript:choice();" method="get">
  43 <input type="radio" name="selopt">\lambda [Genid]:[Expr].[Expr] <br>
  44 <input type="radio" name="selopt">let [Genid] = [Expr] in [Expr] <br>
  45 <input type="radio" name="selopt">\forall [Genid]:[Expr].[Expr] <br>
  46 <input type="radio" name="selopt">[Expr] \to [Expr]<br>
  47 <input type="radio" name="selopt">?<br>
  48 <input type="radio" name="selopt"> <select name="ex2" onFocus="selopt[4].checked=true;">
  49 <option value="Prop"> Prop
  50 <option value="Set"> Set
  51 <option value="Type"> Type
  52 <option value="?"> ?
  53 </select> <br>
  54 <input type="radio" name="selopt"> ( [Expr list] ) <br>
  55 <input type="radio" name="selopt"> <input name="id_or_uri" type="text" onFocus="selopt[6].checked=true;top.help(-10)"><br>
  56 <input type=submit value="Select">
  57 </form>
  58 </BODY>
  59 </HTML>