helm/on-line/javascript/prelude.js

   1 function getProfileId()
   2 {
   3   return document.profile.elements[0].value;
   4 }
   5
   6 function getUwoboURL()
   7 {
   8   return document.uwoboURL.elements[0].value;
   9 }
  10
  11 function getGetterURL()
  12 {
  13   return document.getterURL.elements[0].value;
  14 }
  15
  16 function getProofCheckerURL()
  17 {
  18   return document.proofcheckerURL.elements[0].value;
  19 }
  20
  21 function getSearchEngineURL()
  22 {
  23   return document.searchengineURL.elements[0].value;
  24 }
  25
  26 function getDrawGraphURL()
  27 {
  28   return document.draw_graphURL.elements[0].value;
  29 }
  30
  31 function getURISetQueueURL()
  32 {
  33   return document.uri_set_queueURL.elements[0].value;
  34 }
  35
  36 function getRdflyURL()
  37 {
  38   return document.rdflyURL.elements[0].value;
  39 }
  40
  41 function getInterfaceURL()
  42 {
  43   return document.interfaceURL.elements[0].value;
  44 }
  45
  46 function getUNICODEvsSYMBOL()
  47 {
  48   if (document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].checked)
  49    return 'symbol';
  50   else
  51    return 'unicode';
  52 }
  53
  54 function getNaturalLanguage()
  55 {
  56   if (document.naturalLanguage.elements[0].checked)
  57    return 'yes';
  58   else
  59    return 'no';
  60 }
  61
  62 function getMaxGraphSize()
  63 {
  64   return document.maxGraphSize.elements[0].value;
  65 }
  66
  67 function getUpdateURL()
  68 {
  69   return '&param.processorURL=' + escape(getUwoboURL()) +
  70     '&param.getterURL=' + escape(getGetterURL()) +
  71     '&param.uri_set_queueURL=' + escape(getURISetQueueURL()) +
  72     '&param.draw_graphURL=' + escape(getDrawGraphURL()) +
  73     '&param.proofcheckerURL=' + escape(getProofCheckerURL()) +
  74     '&param.searchengineURL=' + escape(getSearchEngineURL()) +
  75     '&param.rdflyURL=' + escape(getRdflyURL()) +
  76     '&param.interfaceURL=' + escape(getInterfaceURL()) +
  77     '&param.naturalLanguage=' + escape(getNaturalLanguage()) +
  78     '&param.uri_set_size=' + escape(getMaxGraphSize()) +
  79     '&param.UNICODEvsSYMBOL=' + escape(getUNICODEvsSYMBOL());
  80 }
  81
  82 function selectUwoboURL(ss)
  83 {
  84   if (ss.selectedIndex == 0) {
  85     document.uwoboURL.elements[0].value = "";
  86   } else {
  87     document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58080/";
  88   }
  89 }
  90
  91 function selectGetterURL(ss)
  92 {
  93   if (ss.selectedIndex == 0) {
  94     document.getterURL.elements[0].value = "";
  95   } else {
  96     document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58081/";
  97   }
  98 }
  99
 100 function selectProofCheckerURL(ss)
 101 {
 102   if (ss.selectedIndex == 0) {
 103     document.proofcheckerURL.elements[0].value = "";
 104   } else {
 105     document.proofcheckerURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58084/";
 106   }
 107 }
 108
 109 function selectSearchEngineURL(ss)
 110 {
 111   if (ss.selectedIndex == 0) {
 112     document.searchengineURL.elements[0].value = "";
 113   } else {
 114     document.searchengineURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58085/";
 115   }
 116 }
 117
 118 function selectDrawGraphURL(ss)
 119 {
 120   if (ss.selectedIndex == 0) {
 121     document.draw_graphURL.elements[0].value = "";
 122   } else {
 123     document.draw_graphURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58083/";
 124   }
 125 }
 126
 127 function selectURISetQueueURL(ss)
 128 {
 129   if (ss.selectedIndex == 0) {
 130     document.uri_set_queueURL.elements[0].value = "";
 131   } else {
 132     document.uri_set_queueURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58082/";
 133   }
 134 }
 135
 136 function selectRdflyURL(ss)
 137 {
 138   if (ss.selectedIndex == 0) {
 139     document.rdflyURL.elements[0].value = "";
 140   } else {
 141     document.rdflyURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58086/";
 142   }
 143 }
 144
 145 function selectInterfaceURL(ss)
 146 {
 147   if (ss.selectedIndex == 0) {
 148     document.interfaceURL.elements[0].value = "";
 149   } else {
 150     document.interfaceURL.elements[0].value = "http://helm.cs.unibo.it/helm";
 151   }
 152 }
 153
 154 function selectProfile(ss, interfaceURL)
 155 {
 156   location = getUwoboURL() +
 157     'apply?keys=SPK&param.processorURL=' + escape(getUwoboURL()) +
 158     '&param.profile=' + escape(ss.options[ss.selectedIndex].value) +
 159     '&xmluri=' + escape(interfaceURL + 'html/configuration.html');
 160 }
 161
 162 function saveProfile(origProfileId)
 163 {
 164   var profileId = getProfileId();
 165   var exists = false;
 166   var i;
 167   var options = document.profileList.elements[0];
 168   for (i = 0; i < options.length; i++)
 169     if (profileId == options[i].value) exists = true;
 170   if (exists) {
 171     if (confirm('Update the profile \'' + profileId + '\'?'))
 172       location = getUwoboURL() + 'setparams?id=' + profileId + getUpdateURL();
 173   } else {
 174     if (confirm('Create a new profile \'' + profileId + '\' with the current settings?'))
 175       location = getUwoboURL() + 'createprofile?id=' + profileId + '&orig=' + origProfileId + getUpdateURL();
 176   }
 177 }
 178