X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fcontrol.js;h=79ed47fd7ef1c626592192a7c9852bc3c2175e1c;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=4f758d1501522b48f3b1da184052606e0a7cd828;hpb=a193d8a38b0598bfafc3309dc4f5346987b33e58;p=helm.git diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js index 4f758d150..79ed47fd7 100644 --- a/helm/on-line/javascript/control.js +++ b/helm/on-line/javascript/control.js @@ -22,9 +22,12 @@ function updateOutput(output,format) 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 + "&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); @@ -92,6 +95,9 @@ function refreshReload() "&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; var href = @@ -110,7 +116,6 @@ function refreshReload() 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; } @@ -123,15 +128,37 @@ function refreshtheoryHeader(headerURL) 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 getCICProofTreeXHTMLMathMLKeys() +{ + return escape("HAT,G,HAO,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; var mode_list = mode.split(","); @@ -148,33 +175,62 @@ function makeURL(type,uri,cicflags,typesflags) 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")+"¶m.processorURL=" + escape(processorURL) + + var uri_len = uri.length; + if (format == "html" && type == "cic" && uri.substring(uri.length - 10, uri.length) == "proof_tree") { + keys = getCICProofTreeXHTMLMathMLKeys() + + "¶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) + + "&prop.doctype-public="+escape("-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN")+ + "&prop.doctype-system="+escape("http://www.w3.org/TR/MathML2/dtd/xhtml-math11-f.dtd")+ + "&prop.encoding=iso-8859-1" + + "&prop.media-type=text/xml" + + "&prop.method=xml" + + "¶m.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+ + "¶m.encoding=iso-8859-1" + + "¶m.media-type=text/html" + + "¶m.keys=" + getCICHTMLKeys() + + "¶m.interfaceURL=" + escape(interfaceURL) + + "¶m.framewidth=150"; + } else if (format == "html" && type == "cic") { + 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) + "&prop.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+ "&prop.encoding=iso-8859-1" + "&prop.media-type=text/html" + + "&prop.method=html" + "¶m.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+ "¶m.encoding=iso-8859-1" + "¶m.media-type=text/html" + - "¶m.keys=" + escape("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" + @@ -183,15 +239,28 @@ function makeURL(type,uri,cicflags,typesflags) "¶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")+ + "¶m.processorURL=" + escape(processorURL) + + "¶m.getterURL=" + escape(getterURL) + + "&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.processorURL=" + escape(processorURL) + + "¶m.getterURL=" + escape(getterURL) + "¶m.keys=" + escape("d_c,C1") + "¶m.thkeys=T1,L,E" + "¶m.embedkeys=" + escape("d_c,TC1") + "¶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.encoding=" + "¶m.thencoding=iso-8859-1" + @@ -200,24 +269,30 @@ function makeURL(type,uri,cicflags,typesflags) "¶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="+ - "&prop.encoding=" + + //"&prop.encoding=" + "&prop.media-type=text/xml" + "¶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.encoding=" + "¶m.thencoding=iso-8859-1" + @@ -227,11 +302,11 @@ function makeURL(type,uri,cicflags,typesflags) "¶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]; }