X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fprelude.js;fp=helm%2Fon-line%2Fjavascript%2Fprelude.js;h=dff8c31fa0ae580a235d8de6ad20940ffb2594ee;hb=d70d5de1ec9ccc86c9df45036245af34c37575ea;hp=0000000000000000000000000000000000000000;hpb=99d60351f793983bb7633334ea59e95feb36c72c;p=helm.git

diff --git a/helm/on-line/javascript/prelude.js b/helm/on-line/javascript/prelude.js
new file mode 100644
index 000000000..dff8c31fa
--- /dev/null
+++ b/helm/on-line/javascript/prelude.js
@@ -0,0 +1,91 @@
+
+function getInitialProcessorURL()
+{
+  var search = top.location.search;
+  search = search.slice(1);
+  var args = search.split("&");
+  var processorURL = "-1";
+  for (var i = 0 ; i < args.length ; i++) {
+     var couple = args[i].split("=");
+     if (couple[0] == "processorURL") processorURL = couple[1];
+  }
+  if (processorURL == "-1") processorURL = getDefaultParam("processorURL");
+  return processorURL;
+}
+
+function getInitialGetterURL()
+{
+  var search = top.location.search;
+  search = search.slice(1);
+  var args = search.split("&");
+  var getterURL = "-1";
+  for (var i = 0 ; i < args.length ; i++) {
+     var couple = args[i].split("=");
+     if (couple[0] == "getterURL") getterURL = couple[1];
+  }
+  if (getterURL == "-1") getterURL = getDefaultParam("getterURL");
+  return getterURL;
+}
+
+function getUwoboURL()
+{
+  return document.uwoboURL.elements[0].value;
+}
+
+function getGetterURL()
+{
+  return document.getterURL.elements[0].value;
+}
+
+function refreshLinks()
+{
+  var search = top.location.search;
+  search = search.slice(1);
+  var args = search.split("&");
+  var cicuri = "-1", theoryuri = "-1", mode = "-1";
+  for (var i = 0 ; i < args.length ; i++) {
+     var couple = args[i].split("=");
+     switch (couple[0]) {
+        case "cicuri"       : cicuri       =couple[1]; break;
+        case "theoryuri"    : theoryicuri  =couple[1]; break;
+        case "mode"         : mode         =couple[1]; break;
+     }
+  }
+  if (cicuri == "-1") cicuri = getDefaultParam("cicuri");
+  if (theoryuri == "-1") theoryuri = getDefaultParam("theoryuri");
+  if (mode == "-1") mode = getDefaultParam("mode");
+
+  document.links[2].search = "?getterURL=" + getGetterURL();
+  
+  document.links[3].search = 
+    "?processorURL=" + getUwoboURL() +
+    "&getterURL=" + getGetterURL();
+
+  document.links[4].href = "../html/library/index.html?cicuri=" + cicuri
+     + "&theoryuri=" + theoryuri
+     + "&mode=" + mode
+     + "&processorURL=" + getUwoboURL()
+     + "&getterURL=" + getGetterURL();
+}
+
+function selectUwoboURL(ss)
+{
+  if (ss.selectedIndex == 0) {
+    document.uwoboURL.elements[0].value = "";
+  } else {
+    document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8080/helm/servlet/uwobo/";
+  }
+
+  refreshLink();
+}
+
+function selectGetterURL(ss)
+{
+  if (ss.selectedIndex == 0) {
+    document.getterURL.elements[0].value = "";
+  } else {
+    document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/";
+  }
+
+  refreshLink();
+}