--- /dev/null
+<HTML>
+<HEAD>
+<SCRIPT language="Javascript">
+function help()
+ {
+ with (document.form1) {
+ if (selopt[0].checked)
+ alert ("No help available.");
+ if (selopt[1].checked)
+ alert ("Parenthesis are employed to force precedence between operators.");
+ if (selopt[2].checked)
+ alert ("'not' returns true if the given [boole] is false, 'ex' returns true if there is at least one group of attributes for each [rvar] referenced by the operators or inside the given [boole] for which the condition is true.");
+ if (selopt[3].checked)
+ alert ("'and' returns true if both conditions are true, 'or' returns true if at least one is true.");
+ if (selopt[4].checked)
+ alert ("'sub' returns true if the first [val] is a subset of the second.\n'meet' returns true if the intersection between the two [val] is not empty.\n'eq' returns true if both [val] are identical.");
+ }
+ }
+function choice()
+{
+top.stadd="";
+with (document.form1) {
+ if (selopt[0].checked) {
+ top.stadd=boole1.value;
+ }
+ if (selopt[1].checked) {
+ top.stadd="([boole])";
+ }
+ if (selopt[2].checked) {
+ top.stadd=boole2.value+" [boole]";
+ }
+ if (selopt[3].checked) {
+ top.stadd="[boole] "+boole3.value+" [boole]";
+ }
+ if (selopt[4].checked) {
+ top.stadd="[val] "+boole4.value+" [val]";
+ }
+ if (selopt[5].checked) {
+ boole5.value=top.tpa(boole5.value);
+ top.stadd=boole5.value;
+ }
+ }
+if (top.stadd!="") top.aggq();
+ else alert("You left at least one field unfilled");
+}
+</SCRIPT>
+</HEAD>
+<BODY>
+<h1> <SCRIPT language="Javascript">document.write(top.ltr) </SCRIPT>
+<input type="button" value="<-" onmouseOver="top.help(-8)" onclick="top.annulla()">
+<input type="button" value="->" onmouseOver="top.help(-81)" onclick="top.ripristina()"></h1>
+<h2> Select one of the following: </h2>
+<form name="form1" action="Javascript:choice();" method="get">
+<input type="radio" name="selopt"> <select name="boole1" onFocus="selopt[0].checked=true">
+<OPTION value=false> false
+<OPTION value=true> true
+</select> <br>
+<input type="radio" name="selopt"> ( [boole] ) <br>
+<input type="radio" name="selopt"> <select name="boole2" onFocus="selopt[2].checked=true">
+<OPTION value=not> not
+<OPTION value=ex> ex
+</select> [boole] <br>
+<input type="radio" name="selopt"> [boole] <select name="boole3" onFocus="selopt[3].checked=true">
+<OPTION value=and> and
+<OPTION value=or> or
+</select> [boole] <br>
+<input type="radio" name="selopt"> [val] <select name="boole4" onFocus="selopt[4].checked=true">
+<OPTION value=sub> sub
+<OPTION value=meet> meet
+<OPTION value=eq> eq
+</select>
+[val]<br>
+<input type="radio" name="selopt"> <input name="boole5" type=text onFocus="selopt[5].checked=true;top.help(1)"> <br>
+<input type="submit" value="compose"><input type="button" value="get help" onclick="help()">
+</form>
+</BODY>
+</HTML>
\ No newline at end of file
projects / helm.git / blobdiff