helm/searchEngine/html/aliaslist.html

   1 <HTML>
   2 <HEAD>
   3 <SCRIPT language="Javascript">
   4 function invia()
   5         {
   6         stadd="";
   7         for (num=0;num<parent.calias;num++)
   8                 {
   9                 stadd=stadd+parent.alist[num]+" ";
  10                 //alert(stadd);
  11                 }
  12         //top.window.open(top.topurl+"/getpage?url=editorpdq.html","sw");
  13         top.window.sw.editalias(stadd);
  14         //alert(parent.mcq);
  15         parent.mcq=parent.mcq.replace("<font color=\"#ff0000\">[Alias list]</font>","");
  16         //alert(parent.mcq);
  17         //top.qw.document.close();
  18         //top.qw.document.write(parent.mcq);
  19         if (parent.mcq=="<font color=\"#ff0000\">[Alias list]</font> [Expr]")
  20                 {
  21                 parent.mcq="[Expr]";
  22                 }
  23         else
  24                 {
  25                 parent.mcq=parent.mcq.replace("<font color=\"#ff0000\">","");
  26                 parent.mcq=parent.mcq.replace("</font>","");
  27                 }
  28         parent.parse(parent.mcq);
  29         }
  30 function rimuovialias()
  31         {
  32         //alert(document.aliaslist.elenco.value);
  33         if (document.aliaslist.elenco.value!=""){
  34         for (num=Number(document.aliaslist.elenco.value);num<top.aliasglob.length;num++)
  35                 {
  36                 top.aliasglob[num]=top.aliasglob[num+1];
  37                 }
  38         top.aliasglob.length--;
  39         parent.aggiorna();}
  40         }
  41 function listalias()
  42         {
  43         for (num=0;num<top.aliasglob.length;num++)
  44                 {
  45                 document.write("<OPTION value="+num+">"+top.aliasglob[num]);
  46                 //alert (top.aliasglob[num]);
  47                 }
  48         }
  49 function addalias()
  50         {
  51         if (parent.idcheck(document.aliaslist.idi.value)==1 && parent.uricheck(document.aliaslist.uri.value)==1)
  52                 {
  53                 top.aliasglob[top.aliasglob.length]="alias "+document.aliaslist.idi.value+" "+document.aliaslist.uri.value;
  54                 parent.aggiorna();
  55                 }
  56         }
  57 function istruzioni()
  58         {
  59         top.hw.document.close();
  60         top.hw.document.write("You must now enter a list of alias. An Alias is the word 'alias' followed by an <a href='grammarpdq.html#Id' target='gw'>Id</a>, followed by an <a href='grammarpdq.html#Uri' target='gw'>Uri</a>.You may enter as many of them as you want, after each one click the button 'add alias' or press enter and it will be added. When you are done, click 'done'.");
  61         }
  62 istruzioni();
  63 </SCRIPT>
  64 </HEAD>
  65 <BODY>
  66 <form name="aliaslist" action="Javascript:addalias();" method="get">
  67 alias
  68 <input name="idi" type=text size="15">
  69 <input name="uri" type=text size="45" value="cic:/">
  70 <input type=submit value="add alias">
  71 <input type=button value="Done" onClick="top.window.open(top.topurl+'/getpage?url=blank.html','hw');top.window.open(top.topurl+'/getpage?url=editorpdq.html','sw');invia();" ><br>
  72 <select name="elenco" size=7>
  73 <script language=Javascript> listalias(); document.aliaslist.idi.focus(); </script>
  74 </select>
  75 <br>
  76 <input type=button value="delete selected" onClick="rimuovialias()";>
  77 </form>
  78 </BODY>
  79 </HTML>