helm/searchEngine/html/moogle_init.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>Whelp search</title>
   5 <style>
   6         body { font-family: sans-serif }
   7 </style>
   8
   9 <script type="text/javascript" language="JavaScript">
  10         function submit_query(q){
  11                 if ( q == 'w' ) {
  12                         alert("This is Whelp!");
  13                 } else {
  14                         e = document.createElement("input");
  15                         e.setAttribute("type","hidden");
  16                         e.setAttribute("name","param.action");
  17                         e.setAttribute("value",q);
  18
  19                         document.forms[0].appendChild(e);
  20
  21                         document.forms[0].submit();
  22                 }
  23         }
  24 </script>
  25
  26 </head>
  27
  28 <body bgcolor="#ffffff">
  29
  30 <center>
  31 <table border="0" cellspacing="0" cellpadding="0">
  32 <tr>
  33         <td>
  34                 <img src="@SEARCH_ENGINE_URL@/getpage?url=whelp.png"
  35                 alt="whelp" usemap="#map"
  36                 style="border: 0;"/>
  37         </td>
  38 </tr>
  39
  40
  41 <map name="map">
  42
  43 <!-- #$-:Image Map file created by GIMP Imagemap Plugin -->
  44 <!-- #$-:GIMP Imagemap Plugin by Maurits Rijk -->
  45 <!-- #$-:Please do not edit lines starting with "#$" -->
  46 <!-- #$VERSION:2.0 -->
  47 <!-- #$AUTHOR:Enrico Tassi -->
  48
  49 <area shape="poly" coords="17,42,26,42,34,46,40,52,42,59,42,65,38,69,32,73,26,76,16,76,10,74,5,70,1,64,1,57,2,52,6,48,12,44" alt="HINT"
  50 onclick="submit_query('hint')" />
  51
  52 <area shape="poly" coords="55,12,68,12,77,17,84,24,85,34,83,41,77,47,70,51,63,51,55,51,47,49,38,40,37,33,37,24,42,19,50,13" alt="ELIM"
  53 onclick="submit_query('elim')" />
  54 <area shape="poly" coords="90,13,102,2,115,0,130,5,139,15,139,28,127,40,117,43,105,41,94,35,89,26" alt="LOCATE"
  55 onclick="submit_query('locate')" />
  56 <area shape="poly" coords="144,26,153,17,166,13,179,12,188,16,195,24,199,34,198,44,192,54,182,59,169,61,156,58,147,52,143,44,142,36,142,35" alt="PATTERN MATCHING"
  57 onclick="submit_query('match')" />
  58 <area shape="poly" coords="49,68,63,58,82,51,100,48,116,49,134,54,153,62,164,74,174,90,178,103,177,116,173,130,164,141,154,152,142,159,127,165,110,167,94,167,78,164,64,159,53,151,44,143,36,132,31,120,30,100,34,87,40,77,45,71" alt="WOUNDERFUL"
  59 onclick="submit_query('w')" />
  60 </map>
  61
  62 </table>
  63 <br />
  64 <helm:uwobo_form>
  65   <helm:hidden_params />
  66   <input type="hidden" name="advanced" value="@ADVANCED@"/>
  67   <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
  68   <table cellspacing="0" cellpadding="0">
  69   <tr valign="middle"><td width="25%"> </td>
  70   <td align="center">
  71   <input maxLength="1024" size="55" name="param.expression" value="" />
  72   <br />
  73   <input type="submit" value="locate" name="param.action" />
  74   <input type="submit" value="hint" name="param.action" />
  75   <input type="submit" value="match" name="param.action" />
  76   <input type="submit" value="elim" name="param.action" />
  77   <input type="submit" value="instance" name="param.action" />
  78   </td>
  79   <td valign="top" width="25%">
  80    <font size="-2">
  81     <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br />
  82     <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
  83    </font>
  84   </td>
  85   </tr>
  86 <!--
  87   <tr>
  88    <td colspan="3" align="center">
  89     <font size="-1">
  90     <input id="all" type="radio" name="param.advanced" value="no" checked="true" />
  91      <label for="all">Simple search</label>
  92     <input id="standard" type="radio" name="param.advanced" value="yes" />
  93      <label for="standard">Advanced search</label>
  94     </font>
  95    </td>
  96    </tr>
  97 -->
  98   </table>
  99 </helm:uwobo_form>
 100 </center>
 101 <font size="-1">
 102 @RESULTS@
 103 </font>
 104 </body>
 105 </html>
 106