]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/moogle_constraints_choice.html
Added new function compare_metasenvs.
[helm.git] / helm / searchEngine / html / moogle_constraints_choice.html
1 <?xml version="1.0"?>
2 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory" xmlns:helm="http://www.cs.unibo.it/helm" xml:lang="en" lang="en">
3 <head>
4 <title>Moogle_constraints_choice</title>
5 </head>
6 <body>
7  <form name="form">
8   <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
9   <input type="hidden" name="choices" value="@CURRENT_CHOICES@"/>
10   <input type="hidden" name="interp" value="@INTERPRETATIONS@"/>
11   <input type="hidden" name="action" value="@ACTION@"/>
12   <input type="hidden" name="expression" value="@EXPRESSION@"/>
13   <input type="hidden" name="advanced" value="@ADVANCED@"/>
14   <helm:j_params />
15   <b>You can now proceed using the default generated constraints or you
16   can refine them by hand before going on.</b> <br /> <br />
17   <input type="button" value="Submit Query" 
18    onclick="Javascript:{
19    @VARIABLES_INITIALIZATION@
20    var base_url = document.form.j_processorURL.value
21        + &apos;apply?&apos;
22        + &apos;xmluri=&apos; + encodeURIComponent(document.form.j_xmluri.value)
23        + &apos;&amp;keys=&apos; + encodeURIComponent(document.form.keys.value)
24        + &apos;&amp;param.action=&apos; + encodeURIComponent(document.form.action.value)
25        + &apos;&amp;param.expression=&apos; +
26            encodeURIComponent(document.form.expression.value)
27        + &apos;&amp;param.advanced=&apos; +
28            encodeURIComponent(document.form.advanced.value)
29        + &apos;&amp;param.profile=&apos; + 
30            encodeURIComponent(document.form.j_profile.value)
31        + &apos;&amp;profile=&apos; + 
32            encodeURIComponent(document.form.j_profile.value)
33        + &apos;&amp;param.media-type=&apos; + 
34            encodeURIComponent(document.form.j_media_type.value)
35        + &apos;&amp;param.thmedia-type=&apos; + 
36            encodeURIComponent(document.form.j_thmedia_type.value)
37        + &apos;&amp;param.thkeys=&apos; + 
38            encodeURIComponent(document.form.j_thkeys.value)
39        + &apos;&amp;param.embedkeys=&apos; + 
40            encodeURIComponent(document.form.j_embedkeys.value)
41        + &apos;&amp;param.thencoding=&apos; + 
42            encodeURIComponent(document.form.j_thencoding.value)
43        + &apos;&amp;param.choices=&apos; + 
44            encodeURIComponent(document.form.choices.value)
45        + &apos;&amp;param.interp=&apos; + 
46            encodeURIComponent(document.form.interp.value);
47      base_url+=&apos;&amp;param.constraints=&apos;;
48      for (j=0;j &lt; constr_obj_len;j++)
49        {
50          base_url+=
51            document.form.constr_obj[j].checked ? &apos;1&apos; : &apos;0&apos;;
52          base_url+= 
53            (!document.form.obj_depth[j] ||
54               document.form.obj_depth[j].value == &apos;&apos;) ? &apos;_&apos;:
55               document.form.obj_depth[j].value;
56          if (j &lt; constr_obj_len - 1) { base_url += &apos;,&apos; }
57        }
58      base_url += &apos;:&apos;;
59      for (j=0;j &lt; constr_rel_len;j++)
60        {
61          base_url += document.form.constr_rel[j].checked ? &apos;1&apos; : &apos;0&apos;;
62          base_url += 
63            document.form.rel_depth[j].value == &apos;&apos; ? &apos;_&apos; :
64            document.form.rel_depth[j].value;
65          if (j &lt; constr_rel_len - 1) { base_url += &apos;,&apos; }
66        }
67      base_url += &apos;:&apos;;
68      for (j=0;j &lt; constr_sort_len;j++)
69        {
70          base_url += document.form.constr_sort[j].checked ? &apos;1&apos; : &apos;0&apos;;
71          base_url += 
72            document.form.sort_depth[j].value == &apos;&apos; ? &apos;_&apos; :
73            document.form.sort_depth[j].value;
74          if (j &lt;  constr_sort_len - 1) { base_url += &apos;,&apos; }
75        }
76      base_url += &apos;:&apos;;
77      base_url += 
78        (document.form.only_obj.checked ? &apos;1&apos; : &apos;0&apos;) + 
79        &apos;:&apos; +
80        (document.form.only_rel.checked ? &apos;1&apos; : &apos;0&apos;) + 
81        &apos;:&apos; +
82        (document.form.only_sort.checked ? &apos;1&apos; : &apos;0&apos;);
83      location = base_url;
84     }
85   "/>
86    @FORM@
87   <br />
88  </form>
89 </body>
90 </html>