+++ /dev/null
-<HTML>
-<HEAD>
-<SCRIPT language="Javascript">
-function listrvars()
- {
- for (num=0; num<top.norvars; num++)
- {
- document.write("<OPTION value="+top.rvars[num]+">"+top.rvars[num]);
- }
- }
-function listvvars1()
- {
- for (num=0; num<top.novvars1; num++)
- {
- document.write("<OPTION value="+top.vvars1[num]+">"+top.vvars1[num]);
- }
- }
-function listvvars2()
- {
- for (num=0; num<top.novvars2; num++)
- {
- document.write("<OPTION value="+top.vvars2[num]+">"+top.vvars2[num]);
- }
- }
-function help()
- {
- with (document.form1) {
- if (selopt[0].checked)
- alert ("No help available.");
- if (selopt[1].checked)
- alert ("Turns a list of strings which can have attributes ( the [set] ) in a list of strings which cannot have them ( a [val] ).");
- if (selopt[2].checked)
- alert ("Returns the attribute of the given [vvar] in the given [rvar].");
- if (selopt[3].checked)
- alert ("No help available.");
- 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 [val] composed by the union of all the URIs which match the chosen relation in the [val] you will enter afterwards. 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.");
- }
- }
-function choice()
-{
-top.stadd="";top.wrong=0;voidfield=1;
-with (document.form1) {
- if (selopt[0].checked) {
- voidfield=0;
- val1.value=top.tpa(val1.value);
- top.stadd=val1.value;
- top.gramcheck("qsl",val1.value);
- }
- if (selopt[1].checked) {
- top.stadd="refof [set]";
- }
- if (selopt[2].checked) {
- if (val2.value==""||val8.value==""){voidfield=1;}
- else {top.stadd=val2.value+"."+val8.value;}
- }
- if (selopt[3].checked) {
- top.stadd=val3.value;
- }
- if (selopt[4].checked) {
- top.stadd="([val])";
- }
- if (selopt[5].checked) {
- voidfield=0;
- val6.value=top.tpa(val6.value);
- top.stadd="property "+val45.value+" "+val5.value+" "+val6.value+" [val]";
- top.gramcheck("qp",val6.value);
- }
- if (selopt[6].checked) {
- val7.value=top.tpa(val7.value);
- top.stadd=val7.value;
- if (val7.value!="") {inputok=1} else voidfield=1;
- }
- }
-if (top.stadd!="") top.aggq();
- else if (voidfield==1) 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"> <input name="val1" type=text value="{""}" onFocus="selopt[0].checked=true;top.help(7)"> <br>
-<input type="radio" name="selopt"> refof [set] <br>
-<input type="radio" name="selopt"> <select name="val2" type=text onFocus="selopt[2].checked=true;top.help(4)">
-<SCRIPT language=Javascript> listrvars(); </SCRIPT>
-</select> . <select name="val8" type=text onFocus="selopt[2].checked=true;top.help(8)">
-<SCRIPT language=Javascript> listvvars2(); </SCRIPT>
-</select>
-<br>
-<input type="radio" name="selopt"> <select name="val3" type=text onFocus="selopt[3].checked=true;top.help(81)">
-<SCRIPT language=Javascript> listvvars1(); </SCRIPT>
-</select>
-<br>
-<input type="radio" name="selopt"> ( [val] ) <br>
-<input type="radio" name="selopt"> property
-<select name="val45" onFocus="selopt[5].checked=true">
-<OPTION selected value="">
-<OPTION value=inverse> inverse
-</select>
-<select name="val5" onFocus="selopt[5].checked=true">
-<OPTION selected value="">
-<OPTION value=sub> sub
-<OPTION value=super> super
-</select> <input name="val6" type=text value="""" onFocus="selopt[5].checked=true;top.help(5)"> [val] <br>
-<input type="radio" name="selopt"> <input name="val7" type=text onFocus="selopt[6].checked=true;top.help(1)"> <br>
-<input type="submit" value="compose"><input type="button" value="get help" onclick="help()">
-</form>
-</BODY>
-</HTML>
projects / helm.git / blobdiff