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>