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