var ricordaliaslist=0;
var actinput=0;
var numeroazioniannullate=0;
-var terminecic="";var listaliases="";vlds=new Array();//contengono i parametri per dialogare col server in caso di ambiguità nella Match Conclusion.
-var disambiguation_choices = "";
+var terminecic="";var listaliases="";var choices;var vlds=new Array();//contengono i parametri per dialogare col server in caso di ambiguità nella Match Conclusion.
aliasglob=new Array();//per conservare la lista degli alias
function initialize()
{
actinput=0;
numeroazioniannullate=0;
}
+
+// @variable@ will be substituted by the searchEngine with the param.variable
+// argument value
+var processorURL="@processorURL@";
+var getterURL="@getterURL@";
+var thkeys="@thkeys@";
+var proofcheckerURL="@proofcheckerURL@";
+var draw_graphURL="@draw_graphURL@";
+var uri_set_queueURL="@uri_set_queueURL@";
+var UNICODEvsSYMBOL="@UNICODEvsSYMBOL@";
+var keys="@keys@";
+var thkeys="@thkeys@";
+var embedkeys="@embedkeys@";
+var doctype_public="@doctype-public@";
+var encoding="@encoding@";
+var thencoding="@thencoding@";
+var media_type="@media-type@";
+var thmedia_type="@thmedia-type@";
+var interfaceURL="@interfaceURL@";
+var thinterfaceURL="@thinterfaceURL@";
+var CICURI="@CICURI@";
+var naturalLanguage="@naturalLanguage@";
+var annotations="@annotations@";
+var interface_topurl="@topurl@";
+
function ask_uwobo(url)
{
- return (top.topurl+"/ask_uwobo?url="+escape("http://mowgli.cs.unibo.it:58080/apply?xmluri=" + escape(url) + "&keys=T1%2CT2%2CL%2CE¶m.processorURL=http%3A//mowgli.cs.unibo.it%3A58080/¶m.getterURL=http%3A//mowgli.cs.unibo.it%3A58081/¶m.proofcheckerURL=http%3A//mowgli.cs.unibo.it%3A58084/¶m.draw_graphURL=http%3A//mowgli.cs.unibo.it%3A58083/¶m.uri_set_queueURL=http%3A//mowgli.cs.unibo.it%3A58082/¶m.UNICODEvsSYMBOL=unicode¶m.keys=d_c%2CC1%2CHC2%2CL¶m.thkeys=T1%2CT2%2CL%2CE¶m.embedkeys=d_c%2CTC1%2CHC2%2CL¶m.doctype-public=-//W3C//DTD%20XHTML%201.0%20Transitional//EN¶m.encoding=iso-8859-1¶m.thencoding=iso-8859-1¶m.media-type=text/html¶m.thmedia-type=text/html¶m.interfaceURL=http%3A//helm.cs.unibo.it/helm/html/cic/index.html¶m.thinterfaceURL=http%3A//helm.cs.unibo.it/helm/html/theory/index.html¶m.CICURI=dummy:query_result¶m.naturalLanguage=yes¶m.annotations=no¶m.topurl=http://helm.cs.unibo.it/helm&prop.method=html"));
+ return (top.topurl+"/ask_uwobo?url="+
+ escape(processorURL + "apply?" +
+ "xmluri=" + escape(url) +
+ "&keys=" + escape(thkeys) +
+ "¶m.processorURL=" + escape(processorURL) +
+ "¶m.getterURL=" + escape(getterURL) +
+ "¶m.proofcheckerURL=" + escape(proofcheckerURL) +
+ "¶m.draw_graphURL=" + escape(draw_graphURL) +
+ "¶m.uri_set_queueURL=" + escape(uri_set_queueURL) +
+ "¶m.UNICODEvsSYMBOL=" + escape(UNICODEvsSYMBOL) +
+ "¶m.keys=" + escape(keys) +
+ "¶m.thkeys=" + escape(thkeys) +
+ "¶m.embedkeys=" + escape(embedkeys) +
+ "¶m.doctype-public=" + escape(doctype_public) +
+ "¶m.encoding=" + escape(encoding) +
+ "¶m.thencoding=" + escape(thencoding) +
+ "¶m.media-type=" + escape(media_type) +
+ "¶m.thmedia-type=" + escape(thmedia_type) +
+ "¶m.interfaceURL=" + escape(interfaceURL) +
+ "¶m.thinterfaceURL=" + escape(thinterfaceURL) +
+ "¶m.CICURI=" + escape(CICURI) +
+ "¶m.naturalLanguage=" + escape(naturalLanguage) +
+ "¶m.annotations=" + escape(annotations) +
+ "¶m.topurl=" + escape(interface_topurl) +
+ "&prop.method=html"));
}
function help(w) // quando invocata, visualizza l' help relativo ad un oggetto. Di solito è legata ad un evento onFocus o onMouseOver.
{
aggcw();
cw.focus();
}
-var topurl=document.location.protocol+'//'+document.location.host;
-//var topurl="";
+var re1 = /(.*)\?.*/;
+var re2 = /(.*)\/.*/;
+var topurl=document.location+"";
+topurl = topurl.replace(re1,"$1");
+topurl = topurl.replace(re2,"$1");
+//var topurl=document.location.protocol+'//'+document.location.host;
var action="/getpage?url=";
//var action="";
function templateambigpdq1_invia(document,top,elenco,ident)
{
vecchiavlds=top.vlds.length;
- stringa=top.topurl+"/searchPattern?term="+top.terminecic;
+ stringa=top.topurl+"/"+top.current_query+"?term="+top.terminecic;
stringa=stringa+"&aliases="+top.listaliases;
stringa=stringa+"&choices=";
- var choices = "";
+ var choices = "";
top.vlds[top.vlds.length]=ident;
for (j=0;j<elenco.length;j++)
{
choices=choices+(top.vlds[j]==";"?";":escape(top.vlds[j]))+" ";
}
choices=choices.substring(0,choices.length-2);
- stringa=stringa+escape(choices);
+ top.choices = choices;
+ stringa=stringa+escape(choices);
if (top.vlds.length==vecchiavlds){alert("You must select at least one of the options.");}
else
{
function templateambigpdq2_invia(document,elenco)
{
- stringa=top.topurl+"/searchPattern?term="+top.terminecic;
- stringa=stringa+"&aliases="+(top.listaliases==""?"":"%20");
+ stringa=top.topurl+"/"+top.current_query+"?term="+top.terminecic;
+ stringa=stringa+"&aliases=";
controllo=stringa.length;
for (j=0;j<elenco.length;j++)
{
top.vlds=new Array();
top.window.open(top.topurl+top.action+"editorpdq.html", "sw");
}
+
+// UTILITY FUNCTIONS FOR constraints_choice_template.html
+function get_value_of_checkbox(checkbox)
+ {
+ return (checkbox.checked ? "1" : "0");
+ }
+
+function constraints_choice_template_invia(document,aliases,constr_obj_len,constr_rel_len,constr_sort_len)
+ {
+ stringa=top.topurl+"/"+top.current_query+"?term="+top.terminecic;
+ stringa=stringa+"&aliases="+escape(aliases);
+ stringa=stringa+"&choices="+escape(top.choices);
+ stringa=stringa+"&constraints=";
+ for (j=0;j<constr_obj_len;j++)
+ {
+ stringa += document.constraints.constr_obj[j].checked ? "1" : "0";
+ stringa += !document.constraints.obj_depth[j] ||
+ document.constraints.obj_depth[j].value == "" ? "_" :
+ document.constraints.obj_depth[j].value;
+ if (j < constr_obj_len - 1) { stringa += "," }
+ }
+ stringa += ":";
+ for (j=0;j<constr_rel_len;j++)
+ {
+ stringa += document.constraints.constr_rel[j].checked ? "1" : "0";
+ stringa += document.constraints.rel_depth[j].value == "" ? "_" :
+ document.constraints.rel_depth[j].value;
+ if (j < constr_rel_len - 1) { stringa += "," }
+ }
+ stringa += ":";
+ for (j=0;j<constr_sort_len;j++)
+ {
+ stringa += document.constraints.constr_sort[j].checked ? "1" : "0";
+ stringa += document.constraints.sort_depth[j].value == "" ? "_" :
+ document.constraints.sort_depth[j].value;
+ if (j < constr_sort_len - 1) { stringa += "," }
+ }
+ stringa += ":"+get_value_of_checkbox(document.constraints.only_obj)+
+ ":"+get_value_of_checkbox(document.constraints.only_rel)+
+ ":"+get_value_of_checkbox(document.constraints.only_sort);
+ window.open(ask_uwobo(stringa),"cw");
+ }
</SCRIPT>
</HEAD>
- <script>
+ <SCRIPT>
document.write(' <FRAMESET ROWS="69%,31%"> <FRAMESET COLS="40%,60%"> <FRAMESET ROWS="46%,54%"> <FRAME NAME="qw" SRC="'+topurl+action+'start.html"> <FRAME NAME="sw" SRC="'+topurl+action+'blank.html"> </FRAMESET> <FRAME NAME="cw" SRC="'+topurl+action+'blank.html"> </FRAMESET> <FRAMESET COLS="49%,51%"> <FRAME NAME="gw" SRC="'+topurl+action+'blank.html" onFocus="help(-1)";> <FRAME NAME="hw" SRC="'+topurl+action+'blank.html"> </FRAMESET> </FRAMESET>');
- </script>
+ </SCRIPT>
</HTML>