]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/index.html
New: the user can now refine the proposed constraints once that they are
[helm.git] / helm / searchEngine / html / index.html
index 1db28890a54639ff0137427063b1998da1ff27fb..e7b73b5d2eed625b1be717c6957d7d0e28ecdaae 100644 (file)
@@ -16,8 +16,7 @@ var wrong=0;
 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()
        {
@@ -488,7 +487,7 @@ function templateambigpdq1_invia(document,top,elenco,ident)
        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++)
                {
@@ -503,7 +502,8 @@ function templateambigpdq1_invia(document,top,elenco,ident)
            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
        {
@@ -551,7 +551,7 @@ function templateambigpdq2_listainterpretazioni(document,elenco,labels)
 function templateambigpdq2_invia(document,elenco)
        {
        stringa=top.topurl+"/"+top.current_query+"?term="+top.terminecic;
-       stringa=stringa+"&aliases="+(top.listaliases==""?"":"%20");
+       stringa=stringa+"&aliases=";
        controllo=stringa.length;
        for (j=0;j<elenco.length;j++)
                {
@@ -586,9 +586,51 @@ function templateambigpdq3_init(aliases)
    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>