3 <SCRIPT language="Javascript">
7 for (num=0; num<top.norvars; num++)
9 document.write("<OPTION value="+top.rvars[num]+">"+top.rvars[num]);
14 for (num=0; num<top.nosvars; num++)
16 document.write("<OPTION value="+top.svars[num]+">"+top.svars[num]);
21 for (num=0; num<top.novvars; num++)
23 document.write("<OPTION value="+top.vvars[num]+">"+top.vvars[num]);
28 alert ("spiegazione del bottone selezionato");
33 with (document.form1) {
34 inputok=0;voidfield=0;top.wrong=0;
35 if (selopt[0].checked) {
36 top.stadd="ref [val]";
39 if (selopt[1].checked) {
40 top.stadd="pattern [val]";
43 if (selopt[2].checked) {
45 if (set1.value!="") {inputok=1} else voidfield=1;
47 if (selopt[3].checked) {
49 if (set2.value!="") {inputok=1} else voidfield=1;
51 if (selopt[4].checked) {
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("<","<");}
66 {top.gramcheck("vlist",set5.value);}
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))
74 top.rvars[top.norvars]="@"+set6.value;
78 if (selopt[7].checked) {
79 top.stadd="[set] "+set7.value+" [set]";
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))
87 top.svars[top.nosvars]="%"+set8.value;
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))
96 top.vvars1[top.novvars1]="$"+set9.value;
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;
106 if (top.stadd!="" && inputok==1) {top.aggq()}
107 else if (voidfield==1) alert("You left at least one field unfilled");
112 <h1> <SCRIPT language="Javascript">document.write(top.ltr) </SCRIPT>
113 <input type="button" value="<-" onmouseOver="top.help(-8)" onclick="top.annulla()">
114 <input type="button" value="->" 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>
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>
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
133 <select name="set3" onFocus="selopt[5].checked=true">
134 <OPTION selected value="">
135 <OPTION value=sub> sub
136 <OPTION value=super> super
138 <input name="set4" type=text size=15 value="""" 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 $';">
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
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()">