var topurl = top.topurl;
var processorURL = top.processorURL;
var getterURL = top.getterURL;
+ var proofcheckerURL = top.proofcheckerURL;
var draw_graphURL = top.draw_graphURL;
var uri_set_queueURL = top.uri_set_queueURL;
var mode_list = mode.split(",");
var new_mode = output.options[output.selectedIndex].value;
- var dest = "?theoryuri=" + theoryuri + "&cicuri=" + cicuri + "&topurl=" + topurl + "&processorURL=" + processorURL + "&getterURL=" + getterURL + "&draw_graphURL=" + draw_graphURL + "&uri_set_queueURL=" + uri_set_queueURL + "&mode=";
+ var dest = "?theoryuri=" + theoryuri + "&cicuri=" + cicuri + "&topurl=" + topurl + "&processorURL=" + processorURL + "&getterURL=" + getterURL + "&proofcheckerURL=" + proofcheckerURL + "&draw_graphURL=" + draw_graphURL + "&uri_set_queueURL=" + uri_set_queueURL + "&mode=";
if (new_mode != mode_list[0]) {
updateMode(0, new_mode);
"&theoryuri=" + top.theoryuri +
"&processorURL=" + top.processorURL +
"&getterURL=" + top.getterURL +
+ "&proofcheckerURL=" + top.proofcheckerURL +
"&draw_graphURL=" + top.draw_graphURL +
"&uri_set_queueURL=" + top.uri_set_queueURL +
"&UNICODEvsSYMBOL=" + top.UNICODEvsSYMBOL;
function refreshcicHeader(headerURL)
{
-// Qui e sotto da modificare per usare UWOBO!!!
top.cicheader.location.search = "?keys=GP&xmluri=" + headerURL + "¶m.uri=" + top.cicuri;
return true;
}
function getCICMathMLKeys()
{
- //Important note: do not modify this function without modifying makeURL
return escape("d_c,C1,G,C2,L");
}
+function getTheoryKeys()
+{
+ return escape("T1,T2,L,E");
+}
+
+function getEmbedKeys()
+{
+ return escape("d_c,TC1,HC2,L");
+}
+
+function getCICHTMLKeys()
+{
+ return escape("d_c,C1,HC2,L");
+}
+
function makeURL(type,uri,cicflags,typesflags)
{
var mode = top.mode;
var processorURL = top.processorURL;
var getterURL = top.getterURL;
+ var proofcheckerURL = top.proofcheckerURL;
var draw_graphURL = top.draw_graphURL;
var uri_set_queueURL = top.uri_set_queueURL;
var UNICODEvsSYMBOL = top.UNICODEvsSYMBOL;
if (output == "raw") {
var ext = "";
+ var rdfprefix = "";
if (format == "types") ext = ".types"
- else if (format == "ann") ext = ".ann";
- url = getterURL + "getxml?uri=" + uri + ext + "&format=" + mode_list[5] +
- "&patch_dtd=" + mode_list[6];
+ else if (format == "ann") ext = ".ann"
+ else if (format == "fwd") rdfprefix = "helm:rdf:www.cs.unibo.it/helm/rdf/forward//"
+ else if (format == "bwd") rdfprefix = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//";
+ url = getterURL + "getxml?uri=" + rdfprefix + uri + ext + "&format=" +
+ mode_list[5] + "&patch_dtd=" + mode_list[6];
} else {
if (format == "html" && type == "cic") {
- //Important note: do not modify this function without modifying
- //getCICMathMLKeys
- keys = escape("d_c,C1,HC2,L") +
+ keys = getCICHTMLKeys() +
"¶m.processorURL=" + escape(processorURL) +
"¶m.getterURL=" + escape(getterURL) +
+ "¶m.proofcheckerURL=" + escape(proofcheckerURL) +
"¶m.draw_graphURL=" + escape(draw_graphURL) +
"¶m.uri_set_queueURL=" + escape(uri_set_queueURL) +
"¶m.UNICODEvsSYMBOL=" + escape(UNICODEvsSYMBOL) +
"¶m.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
"¶m.encoding=iso-8859-1" +
"¶m.media-type=text/html" +
- "¶m.keys=" + escape("d_c,C1,HC2,L") +
+ "¶m.keys=" + getCICHTMLKeys() +
"¶m.interfaceURL=" + escape(interfaceURL);
} else if (format == "html" && type == "theory") {
- keys = escape("T1,T2,L,E")+
+ keys = getTheoryKeys()+
"¶m.processorURL=" + escape(processorURL) +
"¶m.getterURL=" + escape(getterURL) +
+ "¶m.proofcheckerURL=" + escape(proofcheckerURL) +
"¶m.draw_graphURL=" + escape(draw_graphURL) +
"¶m.uri_set_queueURL=" + escape(uri_set_queueURL) +
"¶m.UNICODEvsSYMBOL=" + escape(UNICODEvsSYMBOL) +
- "¶m.keys=" + escape("d_c,C1,HC2,L") +
- "¶m.thkeys=" + escape("T1,T2,L,E") +
- "¶m.embedkeys=" + escape("d_c,TC1,HC2,L") +
+ "¶m.keys=" + getCICHTMLKeys() +
+ "¶m.thkeys=" + getTheoryKeys() +
+ "¶m.embedkeys=" + getEmbedKeys() +
"¶m.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
"¶m.encoding=iso-8859-1" +
"¶m.thencoding=iso-8859-1" +
"¶m.interfaceURL=" + escape(interfaceURL) +
"¶m.thinterfaceURL=" + escape(thinterfaceURL);
} else if (format == "mml_cont" && type == "cic") {
- keys = escape("d_c,C1");
+ keys = escape("d_c,C1")+
+ "&prop.doctype-public="+
+ "&prop.encoding=" +
+ "&prop.media-type=text/xml" +
+ "¶m.doctype-public=" +
+ "¶m.encoding=" +
+ "¶m.media-type=text/xml";
} else if (format == "mml_cont" && type == "theory") {
keys = escape("T1,L,E")+
"¶m.keys=" + escape("d_c,C1") +
"¶m.processorURL=" + escape(processorURL) +
"¶m.getterURL=" + escape(getterURL) +
+ "¶m.proofcheckerURL=" + escape(proofcheckerURL) +
"¶m.draw_graphURL=" + escape(draw_graphURL) +
"¶m.uri_set_queueURL=" + escape(uri_set_queueURL) +
"¶m.doctype-public=" +
"¶m.interfaceURL=" + escape(interfaceURL) +
"¶m.thinterfaceURL=" + escape(thinterfaceURL);
} else if (format == "mml_pres" && type == "cic") {
- keys = escape("d_c,C1,G,C2,L")+
+ keys = getCICMathMLKeys()+
"¶m.processorURL=" + escape(processorURL) +
"¶m.getterURL=" + escape(getterURL) +
+ "¶m.proofcheckerURL=" + escape(proofcheckerURL) +
"¶m.draw_graphURL=" + escape(draw_graphURL) +
"¶m.uri_set_queueURL=" + escape(uri_set_queueURL) +
"&prop.doctype-public="+
"¶m.doctype-public=" +
"¶m.encoding=" +
"¶m.media-type=text/xml" +
- "¶m.keys=" + escape("d_c,C1,G,C2,L") +
+ "¶m.keys=" + getCICMathMLKeys() +
"¶m.interfaceURL=" + escape(interfaceURL);
} else if (format == "mml_pres" && type == "theory") {
- keys = escape("T1,T2,L,E")+
- "¶m.keys=d_c,C1,G,C2,L" +
- "¶m.thkeys=T1,T2,L,E" +
- "¶m.embedkeys=d_c,TC1,G,C2,L" +
+ keys = getTheoryKeys()+
+ "¶m.keys=" + getCICMathMLKeys() +
+ "¶m.thkeys=" + getTheoryKeys() +
+ "¶m.embedkeys=" + escape("d_c,TC1,G,C2,L") +
"¶m.processorURL=" + escape(processorURL) +
"¶m.getterURL=" + escape(getterURL) +
+ "¶m.proofcheckerURL=" + escape(proofcheckerURL) +
"¶m.draw_graphURL=" + escape(draw_graphURL) +
"¶m.uri_set_queueURL=" + escape(uri_set_queueURL) +
"¶m.doctype-public=" +
"¶m.thinterfaceURL=" + escape(thinterfaceURL);
}
- var naturalLanguage = typesflags;
+ var naturalLanguage = typesflags.toLowerCase();
if (typesflags != "NO" || type == "theory") {
naturalLanguage = mode_list[3];
}
- var annotations = cicflags;
+ var annotations = cicflags.toLowerCase();
if (cicflags != "NO" || type == "theory") {
annotations = mode_list[4];
}