]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/javascript/utils.js
URI may now have #
[helm.git] / helm / on-line / javascript / utils.js
1 function chopSlash(url)
2 {
3   return url.slice(0,url.lastIndexOf('/'));
4 }
5
6 function setParam(url,name,value)
7 {
8   var urla = url.split("?");
9   var search = urla[1];
10   var args = search.split("&");
11
12   for (var i = 0 ; i < args.length ; i++) {
13      var couple = args[i].split("=");
14      if (couple[0] == name) args[i] = name + "=" + value;
15   }
16
17
18   return (urla[0] + "?" + args.join("&"));
19 }
20
21 function extractParam(url,name)
22 {
23   var search = url.split("?")[1];
24   search = search.split("#")[0];
25   var args = search.split("&");
26   var value = "???";
27
28   for (var i = 0 ; i < args.length ; i++) {
29      var couple = args[i].split("=");
30      if (couple[0] == name) value = couple[1];
31   }
32
33   if (value == "???") value = getDefaultParam(name);
34
35   return value;
36 }
37
38 function getParam(name)
39 {
40   var search = location.search;
41   search = search.slice(1);
42   var args = search.split("&");
43   var value = "???";
44
45   for (var i = 0 ; i < args.length ; i++) {
46      var couple = args[i].split("=");
47      if (couple[0] == name) value = couple[1];
48   }
49
50   if (value == "???") value = getDefaultParam(name);
51
52   return value;
53 }
54
55 function outputOption(doc, value, content, selected)
56 {
57   doc.write("<option value=\"" + value + "\" ");
58   if (value == selected) doc.write("selected ");
59   doc.write(">" + content + "</option>");
60 }
61
62 function outputCheckbox(doc, onclick, content, checked)
63 {
64   doc.write("<input type=\"checkbox\" onClick=\"" + onclick + "\" ");
65   if (checked) doc.write("checked");
66   doc.write(">" + content + "</input>");
67 }
68