function rimuovialias()
{
//alert(document.aliaslist.elenco.value);
- if (document.aliaslist.elenco.value!=""){
- for (num=Number(document.aliaslist.elenco.value);num<top.aliasglob.length;num++)
+ if (document.aliaslist.elenco.value!="")
{
- top.aliasglob[num]=top.aliasglob[num+1];
+ for (var i=document.aliaslist.elenco.length-1;i>-1;i--)
+ {
+ if (document.aliaslist.elenco.options[i].selected==true)
+ {
+ for (num=i;num<top.aliasglob.length;num++)
+ {
+ top.aliasglob[num]=top.aliasglob[num+1];
+ }
+ top.aliasglob.length--;
+ //alert ("rimosso "+i);
+ //parent.aggiorna();
+ }
+ }
+ top.window.open(top.topurl+top.action+"aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
}
- top.aliasglob.length--;
- //parent.aggiorna();
- top.window.open(top.topurl+top.action+"aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
- }
}
function listalias()
{
<BODY>
<form name="aliaslist" action="Javascript:addalias();" method="get">
alias
-<input name="idi" type=text size="15">
+<input name="idi" type=text size="15" value="">
<input name="uri" type=text size="45" value="cic:/"><br>
<input type=submit value="add alias"><input type=button value="delete selected" onClick="rimuovialias()";><br>
<select name="elenco" multiple size=7>
<SCRIPT language="Javascript">
function help()
{
- alert ("spiegazione del bottone selezionato");
+ 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()
{
{
if (confirm("This will delete your query and restart a new one. Are you sure?")) {
top.initialize();
- top.window.open(top.topurl+"/getpage?url=start.html","qw");
- top.window.open(top.topurl+"/getpage?url=blank.html","cw");
- top.window.open(top.topurl+"/getpage?url=blank.html","hw");
- top.window.open(top.topurl+"/getpage?url=blank.html","gw");
- top.window.open(top.topurl+"/getpage?url=blank.html","sw");
+ top.window.open(top.topurl+top.action+"start.html","qw");
+ top.window.open(top.topurl+top.action+"blank.html","cw");
+ top.window.open(top.topurl+top.action+"blank.html","hw");
+ top.window.open(top.topurl+top.action+"blank.html","gw");
+ top.window.open(top.topurl+top.action+"blank.html","sw");
}
}
function comprimispazi()
{
ok=0;
if (document.aliaslist.varid.value.indexOf("/")>0)
- {if (parent.uricheck(document.aliaslist.varid.value)==1 && document.aliaslist.varid.value.substring(document.aliaslist.varid.value.length-3,document.aliaslist.varid.value.length)=="var")
+ {if (top.uricheck(document.aliaslist.varid.value)==1 && document.aliaslist.varid.value.substring(document.aliaslist.varid.value.length-3,document.aliaslist.varid.value.length)=="var")
{ok=1}
}
- else {if (parent.idcheck(document.aliaslist.varid.value)==1)
+ else {if (top.idcheck(document.aliaslist.varid.value)==1)
{ok=1}
}
if (ok==1)
<br>
<form name="aliaslist" action="Javascript:addalias();" method="get">
<input name="varid" type=text size="35"> Insert here the Id or the Uri you want to add.
-<input type=submit value="add">
-<input type=button value="Done" onClick="invia();" ><br>
+<input type=submit value="add"><input type=button value="delete selected" onClick="rimuovialias()";>
+<br>
<select name="elenco" size=7>
<script language=Javascript> listalias(); </script>
</select>
<br>
-<input type=button value="delete selected" onClick="rimuovialias()";>
+<input type=button value="Done" onClick="invia();" >
</form>
</BODY>
</HTML>
\ No newline at end of file
stadd=document.form1.id_or_uri.value;
//alert(stadd.substring(0,5));
if (stadd.substring(0,5)=="cic:/")
- {if (!parent.uricheck(stadd)){stadd="";}}
- else if (!parent.idcheck(stadd)){stadd="";}
+ {if (!top.uricheck(stadd)){stadd="";}}
+ else if (!top.idcheck(stadd)){stadd="";}
+ //alert(stadd);
}
if (stadd!="") {parent.mcq=parent.mcq.replace("<font color=\"#ff0000\">[Expr]</font>",stadd);
//top.qw.document.write(parent.mcq);
sel=2;stadd="";
function choice()
{
- if (sel==0){stadd=document.form1.gen0.value;if (!parent.idcheck(document.form1.gen0.value)){stadd=""}}
- if (sel==1){stadd=document.form1.gen1.value;if (!parent.uricheck(document.form1.gen1.value)){stadd=""}
+ if (sel==0){stadd=document.form1.gen0.value;if (!top.idcheck(document.form1.gen0.value)){stadd=""}}
+ if (sel==1){stadd=document.form1.gen1.value;if (!top.uricheck(document.form1.gen1.value)){stadd=""}
if (stadd.substring(stadd.length-3,stadd.length)=="con"){stadd="";alert("You may not enter a Conuri.")}}
if (sel==1 && stadd!="") {stadd=stadd+" [exp_named_subst]";}
if (stadd!="") {parent.mcq=parent.mcq.replace("<font color=\"#ff0000\">[Genid]</font>",stadd);
<HTML>
<HEAD>
<SCRIPT language="Javascript">
+function armageddon()
+ {
+ top.terminecic="";top.listaliases="";top.ricordaliaslist=0;top.vlds=new Array();var alias="";var expr="";
+ top.initialize();
+ top.window.open(top.topurl+top.action+"start.html","qw");
+ top.window.open(top.topurl+top.action+"blank.html","cw");
+ top.window.open(top.topurl+top.action+"blank.html","hw");
+ top.window.open(top.topurl+top.action+"blank.html","gw");
+ top.window.open(top.topurl+top.action+"blank.html","sw");
+ }
function invia()
{
+ top.window.open(top.topurl+top.action+"start.html","qw");
top.window.open(top.topurl+"/locate?id="+document.locate.oggetto.value,"bw");
- //top.window.open(top.topurl+top.action+"blank.html","bw");
}
</SCRIPT>
</HEAD>
<form name="locate" method="get" action="Javascript:invia();">
<input name="oggetto" type=text size=30>
Insert here the name of the object you want to search.
-<br><input type=submit value="Display results">
+<br><input type=submit value="Display results" onMouseOver="top.help(-4)">
+<input type=button value="Restart" onMouseOver="top.help(-5)" onClick="armageddon()"></input>
</form>
</BODY>
</HTML>
}
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()
{
for (i=0; i<aliases.length; i++) {
top.aliasglob[i] = aliases[i];
}
+ top.vlds=new Array();
top.window.open(top.topurl+top.action+"editorpdq.html", "sw");
</script>
</head>
}
function help()
{
- alert ("spiegazione del bottone selezionato");
+ 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()
{
projects / helm.git / commitdiff