]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/javascript/control.js
Due to a syntax error, theories in MathML Presentation were broken.
[helm.git] / helm / on-line / javascript / control.js
1 function updateMode(i, s)
2 {
3   var mode = top.mode;
4   var mode_list = mode.split(",");
5   var res = "";
6   var j;
7
8   for (j = 0; j < mode_list.length; j++) {
9     if (j == i) res += s;
10     else res += mode_list[j];
11     if (j < mode_list.length - 1) res += ",";
12   }
13   
14   top.mode = res;
15 }
16
17 function updateOutput(output,format)
18 {
19   var theoryuri = top.theoryuri;
20   var cicuri = top.cicuri;
21   var mode = top.mode;
22   var topurl = top.topurl;
23   var processorURL = top.processorURL;
24   var getterURL = top.getterURL;
25   var draw_graphURL = top.draw_graphURL;
26   var uri_set_queueURL = top.uri_set_queueURL;
27   var mode_list = mode.split(",");
28   var new_mode = output.options[output.selectedIndex].value;
29   var dest = "?theoryuri=" + theoryuri + "&cicuri=" + cicuri + "&topurl=" + topurl + "&processorURL=" + processorURL + "&getterURL=" + getterURL + "&draw_graphURL=" + draw_graphURL + "&uri_set_queueURL=" + uri_set_queueURL + "&mode=";
30   
31   if (new_mode != mode_list[0]) {
32     updateMode(0, new_mode);
33     if (new_mode == "raw") updateMode(2, format.options[format.selectedIndex].value);
34     else updateMode(1, format.options[format.selectedIndex].value);
35
36     var href =
37      top.processorURL + 'apply' +
38      '?keys=RT' +
39      '&param.topurl=' + topurl +
40      '&xmluri=' +
41      escape(top.topurl + '/html/library/control.html' + dest + top.mode);
42     
43     location.href = href;
44   }
45 }
46
47 function updateFormat(format)
48 {
49   var mode = top.mode;
50   var mode_list = mode.split(",");
51
52   if (mode_list[0] == "raw") {
53     updateMode(1, format.options[format.selectedIndex].value);
54   } else {
55     updateMode(2, format.options[format.selectedIndex].value);
56   }
57
58   refreshReload();
59 }
60
61 function updateNatural(checkbox)
62 {
63   if (checkbox.checked) updateMode(3, "yes");
64   else updateMode(3, "no");
65   refreshReload();
66 }
67
68 function updateAnnotations(checkbox)
69 {
70   if (checkbox.checked) updateMode(4, "yes");
71   else updateMode(4, "no");
72   refreshReload();
73 }
74
75 function updateCompressed(checkbox)
76 {
77   if (checkbox.checked) updateMode(5, "gz");
78   else updateMode(5, "normal");
79   refreshReload();
80 }
81
82 function updateDTDPatched(checkbox)
83 {
84   if (checkbox.checked) updateMode(6, "yes");
85   else updateMode(6, "no");
86   refreshReload();
87 }
88
89 function refreshReload()
90 {
91    var search = 
92       "?mode=" + top.mode +
93       "&cicuri=" + top.cicuri +
94       "&theoryuri=" + top.theoryuri +
95       "&processorURL=" + top.processorURL +
96       "&getterURL=" + top.getterURL +
97       "&draw_graphURL=" + top.draw_graphURL +
98       "&uri_set_queueURL=" + top.uri_set_queueURL +
99       "&UNICODEvsSYMBOL=" + top.UNICODEvsSYMBOL;
100
101    var href =
102     top.processorURL + 'apply' +
103     '?keys=RT' +
104     '&param.topurl=' + top.topurl +
105     '&xmluri=' +
106     escape(top.topurl + '/html/library/index.html' + search);
107     
108    top.frames[0].document.links[0].href = href;
109    top.frames[0].document.links[1].href =
110     top.topurl + '/html/index.html' + search;
111
112    return true;
113 }
114
115 function refreshcicHeader(headerURL)
116 {
117    top.cicheader.location.search = "?keys=GP&xmluri=" + headerURL + "&param.uri=" + top.cicuri;
118    return true;
119 }
120
121 function refreshtheoryHeader(headerURL)
122 {
123    top.theoryheader.location.search = "?keys=GP&xmluri=" + headerURL + "&param.uri=" + top.theoryuri;
124    return true;
125 }
126
127 function getCICMathMLKeys()
128 {
129   return escape("d_c,C1,G,C2,L");
130 }
131
132 function getTheoryKeys()
133 {
134   return escape("T1,T2,L,E");
135 }
136
137 function getEmbedKeys()
138 {
139   return escape("d_c,TC1,HC2,L");
140 }
141
142 function getCICHTMLKeys()
143 {
144   return escape("d_c,C1,HC2,L");
145 }
146
147 function makeURL(type,uri,cicflags,typesflags)
148 {
149   var mode = top.mode;
150   var processorURL = top.processorURL;
151   var getterURL = top.getterURL;
152   var draw_graphURL = top.draw_graphURL;
153   var uri_set_queueURL = top.uri_set_queueURL;
154   var UNICODEvsSYMBOL = top.UNICODEvsSYMBOL;
155   var mode_list = mode.split(",");
156   
157   var keys = "";
158   var url = "";
159
160   var interfaceURL = top.topurl + "/html/cic/index.html";
161   var thinterfaceURL = top.topurl + "/html/theory/index.html";
162
163   var output = mode_list[0];
164   var format;
165   if (output == "raw") format = mode_list[1];
166   else format = mode_list[2];
167   
168   if (output == "raw") {
169     var ext = "";
170     var rdfprefix = "";
171     if (format == "types") ext = ".types"
172     else if (format == "ann") ext = ".ann"
173     else if (format == "fwd") rdfprefix = "helm:rdf:www.cs.unibo.it/helm/rdf/forward//"
174     else if (format == "bwd") rdfprefix = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//";
175     url = getterURL + "getxml?uri=" + rdfprefix + uri + ext + "&format=" +
176           mode_list[5] + "&patch_dtd=" + mode_list[6];
177   } else {
178     if (format == "html" && type == "cic") {
179       keys = getCICHTMLKeys() +
180        "&param.processorURL=" + escape(processorURL) +
181        "&param.getterURL=" + escape(getterURL) +
182        "&param.draw_graphURL=" + escape(draw_graphURL) +
183        "&param.uri_set_queueURL=" + escape(uri_set_queueURL) +
184        "&param.UNICODEvsSYMBOL=" + escape(UNICODEvsSYMBOL) +
185        "&prop.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
186        "&prop.encoding=iso-8859-1" +
187        "&prop.media-type=text/html" +
188        "&param.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
189        "&param.encoding=iso-8859-1" +
190        "&param.media-type=text/html" +
191        "&param.keys=" + getCICHTMLKeys() +
192        "&param.interfaceURL=" + escape(interfaceURL);
193     } else if (format == "html" && type == "theory") {
194       keys = getTheoryKeys()+
195        "&param.processorURL=" + escape(processorURL) +
196        "&param.getterURL=" + escape(getterURL) +
197        "&param.draw_graphURL=" + escape(draw_graphURL) +
198        "&param.uri_set_queueURL=" + escape(uri_set_queueURL) +
199        "&param.UNICODEvsSYMBOL=" + escape(UNICODEvsSYMBOL) +
200        "&param.keys=" + getCICHTMLKeys() +
201        "&param.thkeys=" + getTheoryKeys() +
202        "&param.embedkeys=" + getEmbedKeys() +
203        "&param.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
204        "&param.encoding=iso-8859-1" +
205        "&param.thencoding=iso-8859-1" +
206        "&param.media-type=text/html" +
207        "&param.thmedia-type=text/html" +
208        "&param.interfaceURL=" + escape(interfaceURL) +
209        "&param.thinterfaceURL=" + escape(thinterfaceURL);
210     } else if (format == "mml_cont" && type == "cic") {
211       keys = escape("d_c,C1")+
212        "&prop.doctype-public="+
213        "&prop.encoding=" +
214        "&prop.media-type=text/xml" +
215        "&param.doctype-public=" +
216        "&param.encoding=" +
217        "&param.media-type=text/xml";
218     } else if (format == "mml_cont" && type == "theory") {
219       keys = escape("T1,L,E")+
220        "&param.keys=" + escape("d_c,C1") +
221        "&param.thkeys=T1,L,E" +
222        "&param.embedkeys=" + escape("d_c,TC1") +
223
224        "&param.processorURL=" + escape(processorURL) +
225        "&param.getterURL=" + escape(getterURL) +
226        "&param.draw_graphURL=" + escape(draw_graphURL) +
227        "&param.uri_set_queueURL=" + escape(uri_set_queueURL) +
228        "&param.doctype-public=" +
229        "&param.encoding=" +
230        "&param.thencoding=iso-8859-1" +
231        "&param.media-type=text/xml" +
232        "&param.thmedia-type=text/html" +
233        "&param.interfaceURL=" + escape(interfaceURL) +
234        "&param.thinterfaceURL=" + escape(thinterfaceURL);
235     } else if (format == "mml_pres" && type == "cic") {
236       keys = getCICMathMLKeys()+
237        "&param.processorURL=" + escape(processorURL) +
238        "&param.getterURL=" + escape(getterURL) +
239        "&param.draw_graphURL=" + escape(draw_graphURL) +
240        "&param.uri_set_queueURL=" + escape(uri_set_queueURL) +
241        "&prop.doctype-public="+
242        "&prop.encoding=" +
243        "&prop.media-type=text/xml" +
244        "&param.doctype-public=" +
245        "&param.encoding=" +
246        "&param.media-type=text/xml" +
247        "&param.keys=" + getCICMathMLKeys() +
248        "&param.interfaceURL=" + escape(interfaceURL);
249     } else if (format == "mml_pres" && type == "theory") {
250       keys = getTheoryKeys()+
251        "&param.keys=" + getCICMathMLKeys() +
252        "&param.thkeys=" + getTheoryKeys() +
253        "&param.embedkeys=" + escape("d_c,TC1,G,C2,L") +
254        "&param.processorURL=" + escape(processorURL) +
255        "&param.getterURL=" + escape(getterURL) +
256        "&param.draw_graphURL=" + escape(draw_graphURL) +
257        "&param.uri_set_queueURL=" + escape(uri_set_queueURL) +
258        "&param.doctype-public=" +
259        "&param.encoding=" +
260        "&param.thencoding=iso-8859-1" +
261        "&param.media-type=text/xml" +
262        "&param.thmedia-type=text/html" +
263        "&param.interfaceURL=" + escape(interfaceURL) +
264        "&param.thinterfaceURL=" + escape(thinterfaceURL);
265     }
266
267     var naturalLanguage = typesflags.toLowerCase();
268     if (typesflags != "NO" || type == "theory") {
269        naturalLanguage = mode_list[3];
270     }
271     var annotations = cicflags.toLowerCase();
272     if (cicflags != "NO" || type == "theory") {
273        annotations = mode_list[4];
274     }
275     url = processorURL + "apply?xmluri=" + escape(getterURL + "getxml?uri=" + uri) + "&keys=" + keys + "&param.CICURI=" + uri + "&param.naturalLanguage=" + naturalLanguage + "&param.annotations=" + annotations + "&param.topurl=" + top.topurl;
276   }
277
278   if (output == "raw")
279    return url;
280   else if (type == "cic")
281    return interfaceURL + "?url=" + escape(url);
282   else if (type == "theory")
283    return thinterfaceURL + "?url=" + escape(url)
284 }
285