3 <SCRIPT language="Javascript">
6 for (num=0; num<top.norvars; num++)
8 document.write("<OPTION value="+top.rvars[num]+">"+top.rvars[num]);
13 for (num=0; num<top.novvars1; num++)
15 document.write("<OPTION value="+top.vvars1[num]+">"+top.vvars1[num]);
20 for (num=0; num<top.novvars2; num++)
22 document.write("<OPTION value="+top.vvars2[num]+">"+top.vvars2[num]);
27 alert ("spiegazione del bottone selezionato");
31 top.stadd="";top.wrong=0;voidfield=1;
32 with (document.form1) {
33 if (selopt[0].checked) {
35 val1.value=top.tpa(val1.value);
37 top.gramcheck("qsl",val1.value);
39 if (selopt[1].checked) {
40 top.stadd="refof [set]";
42 if (selopt[2].checked) {
43 if (val2.value==""||val8.value==""){voidfield=1;}
44 else {top.stadd=val2.value+"."+val8.value;}
46 if (selopt[3].checked) {
49 if (selopt[4].checked) {
52 if (selopt[5].checked) {
54 val6.value=top.tpa(val6.value);
55 top.stadd="property "+val45.value+" "+val5.value+" "+val6.value+" [val]";
56 top.gramcheck("qp",val6.value);
58 if (selopt[6].checked) {
59 val7.value=top.tpa(val7.value);
61 if (val7.value!="") {inputok=1} else voidfield=1;
64 if (top.stadd!="") top.aggq();
65 else if (voidfield==1) alert ("You left at least one field unfilled");
70 <h1> <SCRIPT language="Javascript">document.write(top.ltr) </SCRIPT>
71 <input type="button" value="<-" onmouseOver="top.help(-8)" onclick="top.annulla()">
72 <input type="button" value="->" 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="{""}" 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>
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>
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
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="""" 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()">