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