New: the user can now refine the proposed constraints once that they are

[helm.git] / helm / searchEngine / html / set.html

diff --git a/helm/searchEngine/html/set.html b/helm/searchEngine/html/set.html
index 3154d937aa5f245898b253b77a33d7838633c62e..a070889571ebcab05592e977b36b44e02b22f06b 100644 (file)
--- a/helm/searchEngine/html/set.html
+++ b/helm/searchEngine/html/set.html
@@ -25,7 +25,28 @@ function listvvars()
        }
 function help()
        {
-       alert ("spiegazione del bottone selezionato");
+with (document.form1) {
+       if (selopt[0].checked)
+       alert ("Turns a list of strings which cannot have attributes (the [val]) in a list of strings which can have them, but initially has none (a [set]).");
+       if (selopt[1].checked)
+       alert ("Taken a list of posix regular expressions, 'pattern [val]' searches the HELM library for all the URIs which match with at least one of those and returns a [set] representing them.");
+       if (selopt[2].checked)
+       alert ("A [svar] represents a list of URIs with attributes.");
+       if (selopt[3].checked)
+       alert ("A [rvar] is a single URI with attributes.");
+       if (selopt[4].checked)
+       alert ("Parenthesis are employed to force precedence between operators.");
+       if (selopt[5].checked)
+       alert ("The [path] you must enter represents a relation; this production returns a [set] composed by the union of all the URIs which match the chosen relation in the [val] you will enter afterwards, without attributes. If you select 'inverse', you'll obtain a list of all the URIs for which the [val] matches the chosen relation, 'sub' and 'super' modify the result depending on the chosen relation and the last input box allows you to add attributes to the result.");
+       if (selopt[6].checked)
+       alert ("This production returns a [set] composed by all the URIs in the given [set] which match the condition in the given [boole].");
+       if (selopt[7].checked)
+       alert ("'Union' returns a [set] which is the union of the two given [set]; should an URI be present in each [set] with different attributes, it will be included in the result only once with all the attributes.\n'Intersect' returns a [set] which contains the cartesian product of the URIs listed in each given [set].\n'Diff' returns a [set] which contains the URIs found in the first given [set] but not in the second. Attributes are ignored.");
+       if (selopt[8].checked)
+       alert ("Allows you to assign a value to a [svar]");
+       if (selopt[9].checked)
+       alert ("Allows you to assign a value to a [vvar]");
+       }
        }
 function choice()
 {
@@ -117,11 +138,11 @@ if (top.stadd!="" && inputok==1) {top.aggq()}
 <input type="radio" name="selopt"> ref [val] <br>
 <input type="radio" name="selopt"> pattern [val] <br>
 <input type="radio" name="selopt"> <select name="set1" type=text onFocus="selopt[2].checked=true;top.help(6)"> 
-<script language=Javascript> listsvars(); </script>
+<SCRIPT language=Javascript> listsvars(); </SCRIPT>
 </select>
 <br>
 <input type="radio" name="selopt"> <select name="set2" type=text onFocus="selopt[3].checked=true;top.help(4)">
-<script language=Javascript> listrvars(); </script>
+<SCRIPT language=Javascript> listrvars(); </SCRIPT>
 </select>
 <br>
 <input type="radio" name="selopt"> ( [set] ) <br>
@@ -154,4 +175,4 @@ onFocus="selopt[10].checked=true;top.help(1)">  <br>
 <!--input type="button" value="compose" onclick="choice()"><!--input type="button" value="get help" onclick="help()">
 </form>
 </BODY>
-</HTML>
\ No newline at end of file
+</HTML>