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