(dis)organized web stuff

[helm.git] / helm / on-line / javascript / prelude.js

diff --git a/helm/on-line/javascript/prelude.js b/helm/on-line/javascript/prelude.js
deleted file mode 100644 (file)
index d89ae56..0000000
--- a/helm/on-line/javascript/prelude.js
+++ /dev/null
@@ -1,178 +0,0 @@
-function getProfileId()
-{
-  return document.profile.elements[0].value;
-}
-
-function getUwoboURL()
-{
-  return document.uwoboURL.elements[0].value;
-}
-
-function getGetterURL()
-{
-  return document.getterURL.elements[0].value;
-}
-
-function getProofCheckerURL()
-{
-  return document.proofcheckerURL.elements[0].value;
-}
-
-function getSearchEngineURL()
-{
-  return document.searchengineURL.elements[0].value;
-}
-
-function getDrawGraphURL()
-{
-  return document.draw_graphURL.elements[0].value;
-}
-
-function getURISetQueueURL()
-{
-  return document.uri_set_queueURL.elements[0].value;
-}
-
-function getRdflyURL()
-{
-  return document.rdflyURL.elements[0].value;
-}
-
-function getInterfaceURL()
-{
-  return document.interfaceURL.elements[0].value;
-}
-
-function getUNICODEvsSYMBOL()
-{
-  if (document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].checked)
-   return 'symbol';
-  else
-   return 'unicode';
-}
-
-function getNaturalLanguage()
-{
-  if (document.naturalLanguage.elements[0].checked)
-   return 'yes';
-  else
-   return 'no';
-}
-
-function getMaxGraphSize()
-{
-  return document.maxGraphSize.elements[0].value;
-}
-
-function getUpdateURL()
-{
-  return '&param.processorURL=' + escape(getUwoboURL()) +
-    '&param.getterURL=' + escape(getGetterURL()) +
-    '&param.uri_set_queueURL=' + escape(getURISetQueueURL()) +
-    '&param.draw_graphURL=' + escape(getDrawGraphURL()) +
-    '&param.proofcheckerURL=' + escape(getProofCheckerURL()) +
-    '&param.searchengineURL=' + escape(getSearchEngineURL()) +
-    '&param.rdflyURL=' + escape(getRdflyURL()) +
-    '&param.interfaceURL=' + escape(getInterfaceURL()) +
-    '&param.naturalLanguage=' + escape(getNaturalLanguage()) +
-    '&param.uri_set_size=' + escape(getMaxGraphSize()) +
-    '&param.UNICODEvsSYMBOL=' + escape(getUNICODEvsSYMBOL());
-}
-
-function selectUwoboURL(ss)
-{
-  if (ss.selectedIndex == 0) {
-    document.uwoboURL.elements[0].value = "";
-  } else {
-    document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58080/";
-  }
-}
-                                                                                
-function selectGetterURL(ss)
-{
-  if (ss.selectedIndex == 0) {
-    document.getterURL.elements[0].value = "";
-  } else {
-    document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58081/";
-  }
-}
-
-function selectProofCheckerURL(ss)
-{
-  if (ss.selectedIndex == 0) {
-    document.proofcheckerURL.elements[0].value = "";
-  } else {
-    document.proofcheckerURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58084/";
-  }
-}
-
-function selectSearchEngineURL(ss)
-{
-  if (ss.selectedIndex == 0) {
-    document.searchengineURL.elements[0].value = "";
-  } else {
-    document.searchengineURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58085/";
-  }
-}
-
-function selectDrawGraphURL(ss)
-{
-  if (ss.selectedIndex == 0) {
-    document.draw_graphURL.elements[0].value = "";
-  } else {
-    document.draw_graphURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58083/";
-  }
-}
-
-function selectURISetQueueURL(ss)
-{
-  if (ss.selectedIndex == 0) {
-    document.uri_set_queueURL.elements[0].value = "";
-  } else {
-    document.uri_set_queueURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58082/";
-  }
-}
-
-function selectRdflyURL(ss)
-{
-  if (ss.selectedIndex == 0) {
-    document.rdflyURL.elements[0].value = "";
-  } else {
-    document.rdflyURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58086/";
-  }
-}
-
-function selectInterfaceURL(ss)
-{
-  if (ss.selectedIndex == 0) {
-    document.interfaceURL.elements[0].value = "";
-  } else {
-    document.interfaceURL.elements[0].value = "http://helm.cs.unibo.it/helm";
-  }
-}
-
-function selectProfile(ss, interfaceURL)
-{
-  location = getUwoboURL() +
-    'apply?keys=SPK&param.processorURL=' + escape(getUwoboURL()) +
-    '&param.profile=' + escape(ss.options[ss.selectedIndex].value) +
-    '&xmluri=' + escape(interfaceURL + 'html/configuration.html');
-}
-
-function saveProfile(origProfileId)
-{
-  var profileId = getProfileId();
-  var exists = false;
-  var i;
-  var options = document.profileList.elements[0];
-  for (i = 0; i < options.length; i++)
-    if (profileId == options[i].value) exists = true;
-  if (exists) {
-    if (confirm('Update the profile \'' + profileId + '\'?'))
-      location = getUwoboURL() + 'setparams?id=' + profileId + getUpdateURL();
-  } else {
-    if (confirm('Create a new profile \'' + profileId + '\' with the current settings?'))
-      location = getUwoboURL() + 'createprofile?id=' + profileId + '&orig=' + origProfileId + getUpdateURL();
-  }
-}
-