From 1bfef566743ddd81db375cf66ed3868c5d7df542 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 6 May 2003 09:35:11 +0000 Subject: [PATCH] New: the user can now refine the proposed constraints once that they are generated. --- helm/searchEngine/html/aliaslist.html | 2 +- .../html/constraints_choice_template.html | 18 ++ helm/searchEngine/html/editorpdq.html | 4 +- helm/searchEngine/html/expnamedsubst.html | 4 +- helm/searchEngine/html/index.html | 56 ++++- helm/searchEngine/html/pdq.html | 4 +- helm/searchEngine/html/set.html | 6 +- helm/searchEngine/html/templateambigpdq1.html | 4 +- helm/searchEngine/html/templateambigpdq3.html | 4 +- helm/searchEngine/html/val.html | 6 +- helm/searchEngine/searchEngine.ml | 234 ++++++++++++++++-- 11 files changed, 298 insertions(+), 44 deletions(-) create mode 100644 helm/searchEngine/html/constraints_choice_template.html diff --git a/helm/searchEngine/html/aliaslist.html b/helm/searchEngine/html/aliaslist.html index ac87fa57f..d030ea41e 100644 --- a/helm/searchEngine/html/aliaslist.html +++ b/helm/searchEngine/html/aliaslist.html @@ -80,7 +80,7 @@ alias



diff --git a/helm/searchEngine/html/constraints_choice_template.html b/helm/searchEngine/html/constraints_choice_template.html new file mode 100644 index 000000000..c81a8d74d --- /dev/null +++ b/helm/searchEngine/html/constraints_choice_template.html @@ -0,0 +1,18 @@ + + + Refine the Constraints + + + +
+ You can now proceed using the default generated constraints or you + can refine them by hand before going on.

+ + + @FORM@ +
+
+ + diff --git a/helm/searchEngine/html/editorpdq.html b/helm/searchEngine/html/editorpdq.html index 3370ed134..21e803906 100644 --- a/helm/searchEngine/html/editorpdq.html +++ b/helm/searchEngine/html/editorpdq.html @@ -76,7 +76,7 @@ function editaalias()
Your list of alias.
@@ -85,6 +85,6 @@ function editaalias()
- + diff --git a/helm/searchEngine/html/expnamedsubst.html b/helm/searchEngine/html/expnamedsubst.html index bbe0d7ce1..3db7acaba 100644 --- a/helm/searchEngine/html/expnamedsubst.html +++ b/helm/searchEngine/html/expnamedsubst.html @@ -69,10 +69,10 @@ You may enter as many of them as you want (even none), after each one click the

- \ No newline at end of file + diff --git a/helm/searchEngine/html/index.html b/helm/searchEngine/html/index.html index 1db28890a..e7b73b5d2 100644 --- a/helm/searchEngine/html/index.html +++ b/helm/searchEngine/html/index.html @@ -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 - + diff --git a/helm/searchEngine/html/pdq.html b/helm/searchEngine/html/pdq.html index 6ab4aa94b..b4f5fe6c7 100644 --- a/helm/searchEngine/html/pdq.html +++ b/helm/searchEngine/html/pdq.html @@ -69,7 +69,7 @@ function aggq() } - + diff --git a/helm/searchEngine/html/set.html b/helm/searchEngine/html/set.html index 292c76861..a07088957 100644 --- a/helm/searchEngine/html/set.html +++ b/helm/searchEngine/html/set.html @@ -138,11 +138,11 @@ if (top.stadd!="" && inputok==1) {top.aggq()} ref [val]
pattern [val]


( [set] )
@@ -175,4 +175,4 @@ onFocus="selopt[10].checked=true;top.help(1)">