", accel_group); + + gtk_item_factory_create_items(item_factory, nmenu_items, menu_items, NULL); + + gtk_window_add_accel_group(GTK_WINDOW(window), accel_group); + + menu_item = gtk_item_factory_get_widget(item_factory, "/Options/Anti Aliasing"); + anti_aliasing_item = GTK_MENU_ITEM(menu_item); + + menu_item = gtk_item_factory_get_widget(item_factory, "/Options/Transparency"); + transparency_item = GTK_MENU_ITEM(menu_item); + + /* !!!BEWARE!!! the default font size must be kept aligned with the definition + * in math-engine-configuration.xml + */ + menu_item = gtk_item_factory_get_widget(item_factory, "/Options/Default Font Size/12pt"); + font_size_item = GTK_MENU_ITEM(menu_item); + + return gtk_item_factory_get_widget(item_factory, "

"); +} diff --git a/helm/DEVEL/mathml_editor/test/guiGTK.h b/helm/DEVEL/mathml_editor/test/guiGTK.h new file mode 100644 index 000000000..71475541c --- /dev/null +++ b/helm/DEVEL/mathml_editor/test/guiGTK.h @@ -0,0 +1,57 @@ +/* + * Copyright (C) 2000, Luca Padovani . + * + * This file is part of GtkMathView, a Gtk widget for MathML. + * + * GtkMathView is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * GtkMathView is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with GtkMathView; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * For details, see the GtkMathView World-Wide-Web page, + * http://cs.unibo.it/~lpadovan/mml-widget, or send a mail to + * + */ + +#ifndef guiGTK_h +#define guiGTK_h + +#include + +#include "gtkmathview.h" + +#ifdef __cplusplus +extern "C" { +#endif + + /* initGUI: some initialization stuff, creates the main window, sets it with a title */ + void GUI_init(int *, char ***, char *, guint, guint, gpointer); + void GUI_uninit(void); + + int GUI_load_document(GdomeDocument*); + int GUI_load_uri(const char*); + void GUI_unload_document(void); + void GUI_dump_entities(void); + + /* main: this is the main event loop, to be called when the program is ready to run */ + void GUI_run(void); + + void GUI_freeze(void); + void GUI_thaw(void); + + void GUI_set_font_manager(FontManagerId); + +#ifdef __cplusplus +} +#endif + +#endif /* guiGTK_h */ diff --git a/helm/DEVEL/mathml_editor/test/main.cc b/helm/DEVEL/mathml_editor/test/main.cc new file mode 100644 index 000000000..3122d529b --- /dev/null +++ b/helm/DEVEL/mathml_editor/test/main.cc @@ -0,0 +1,158 @@ + +#include "TNode.hh" +#include "TToken.hh" +#include "TDocument.hh" +#include "TPushParser.hh" +#include "TPushLexer.hh" +#include "TDictionary.hh" +#include "TListener.hh" +#include + +TDictionary dictionary; +DOM::Document result; + +bool +subst(const DOM::Element& e1, const DOM::GdomeString& id, const DOM::Element& e2) +{ + assert(e1); + assert(e2); + if (e1.getAttribute("xref") == id) + { + DOM::Node parent = e1.get_parentNode(); + assert(parent); + parent.replaceChild(e2, e1); + return true; + } + else + { + DOM::Node p = e1.get_firstChild(); + while (p) + { + while (p && p.get_nodeType() != DOM::Node::ELEMENT_NODE) p = p.get_nextSibling(); + if (p) + if (subst(p, id, e2)) return true; + else p = p.get_nextSibling(); + } + return false; + } +} + +#if 0 +bool +subst(const DOM::Node& parent, const DOM::GdomeString& id, const DOM::Element& newElem) +{ + assert(parent); + assert(newElem); + + DOM::Node p = parent.get_firstChild(); + while (p) + { + while (p && p.get_nodeType() != DOM::Node::ELEMENT_NODE) p = p.get_nextSibling(); + if (p) + { + DOM::Element el = p; + assert(el); + if (el.getAttribute("xref") == id) + { + parent.replaceChild(el, newElem); + return true; + } + else if (subst(el, id, newElem)) + return true; + else + p = p.get_nextSibling(); + } + } + + return false; +} +#endif + +class MyListener : public TListener +{ +public: + MyListener(const DOM::XSLTStylesheet& s) : style(s) { }; + + void callback(TDocument& doc) + { + TNode dirty = doc.dirtyNode(); + if (dirty) + { + cout << "recreating subtree with id " << std::string(dirty["id"]) << endl; + std::vector< std::pair > dirtyId; + if (result) + dirtyId.push_back(std::make_pair(DOM::GdomeString("id"), + DOM::GdomeString("'" + std::string(dirty["id"]) + "'"))); + DOM::Document res = style.apply(doc.document(), dirtyId); + assert(res); + style.save(res, stdout); + if (result) + { + DOM::Element root = res.get_documentElement(); + assert(root); + assert(root.hasAttribute("xref")); + + if (result.get_documentElement().getAttribute("xref") == root.getAttribute("xref")) + { + // the following remove should not be necessary + // according to the spec replaceChild should work just fine + result.removeChild(result.get_documentElement()); + result.appendChild(result.importNode(root, true)); + } + else + try + { + cout << "before" << endl; + bool ok = subst(result.get_documentElement(), root.getAttribute("xref"), result.importNode(root, true)); + assert(ok); + cout << "after" << endl; + } + catch (DOM::DOMException e) + { + cerr << "exception " << e.code << " " << e.msg << endl; + assert(0); + } + } + else + result = res; + + doc.clearDirty(); + } + } + +private: + const DOM::XSLTStylesheet& style; +}; + +main(int argc, char* argv[]) +{ + if (argc != 2) + { + cerr << "specify a string, please" << endl; + return -1; + } + + cout << "loading the dictionary..." << endl; + dictionary.load("dictionary.xml"); + + cout << "loading the stylesheet..." << endl; + DOM::DOMImplementation di; + DOM::Document docStyle = di.createDocumentFromURI("./xsl/tml-mmlp.xsl"); + DOM::XSLTStylesheet style(docStyle); + + MyListener listener(style); + TPushParser parser(dictionary, listener); + TPushLexer lexer(parser); + + std::string s = argv[1]; + for (unsigned long i = 0; i < s.length(); i++) + lexer.push(s[i]); + lexer.push('\n'); + + cout << "finished" << endl; + di.saveDocumentToFile(result, "result.xml", GDOME_SAVE_LIBXML_INDENT); + + cout << "done" << endl; + + parser.document().serialize("output.xml"); +} diff --git a/helm/DEVEL/mathml_editor/xsl/d-xsl.xsl b/helm/DEVEL/mathml_editor/xsl/d-xsl.xsl new file mode 100644 index 000000000..2ef6083b1 --- /dev/null +++ b/helm/DEVEL/mathml_editor/xsl/d-xsl.xsl @@ -0,0 +1,131 @@ + + + + + + + + + + + + + +

+ + + + + + + + +

+ + + + + + + + + +

+ + + + + + + + +

+ + + + + + + + + + + + + + + + + + + /// CONTROL SEQUENCES /// + + + + + + + +

+ + +

+ + + + + + + + diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl new file mode 100644 index 000000000..8b237387f --- /dev/null +++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl @@ -0,0 +1,949 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + block + + block + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 〈 +

+ 〉 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ + + + + + + + + + + + + λ + + : + + . + + + + + + + + + + + + + ̸ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ̂ + + + + + + + + + + + + + ̂ + + + + + + + + + + + + + ̌ + + + + + + + + + + + + + ̃ + + + + + + + + + + + + + ̃ + > + + + + + + + + + + + + ́ + + + + + + + + + + + + + ̀ + > + + + + + + + + + + + + ̇ + + + + + + + + + + + + + ̈ + + + + + + + + + + + + + ̆ + + + + + + + + + + + + + ̄ + + + + + + + + + + + + + ⃗ + + + + + + + + + + + + + ̅ + > + + + + + + + + + + + + ̲ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ( + + + + + ) + + + + + + + + + + + + { + + + + + } + + + + + + + + + + + + [ + + + + + ] + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ( + + mod + + + ) + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ( + + + + ) + + + + + + + + + + + + + + + + + + + + + + + ( + + + + + + ) + + + + + + + + + + + + + + + + + ???? + > + + + + + + + + + + + + ???? + + + + + + + + + + + + { + + + + + + + diff --git a/helm/DEVEL/mathml_editor/xsl/tml-tex.xsl b/helm/DEVEL/mathml_editor/xsl/tml-tex.xsl new file mode 100644 index 000000000..f3ba8d5ce --- /dev/null +++ b/helm/DEVEL/mathml_editor/xsl/tml-tex.xsl @@ -0,0 +1,109 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + $$$$ + $$ + + + + + + \

+ {\it } + + + + + + \

+ {\rm } + + + + + + \

+ + + + + + + __ + + + _ + + + + + + + + ^^ + + + ^ + + + + + {} + + + + + + + \cr + + + + & + + + + + + \ +

+ + + + \ +

+ + + + + diff --git a/helm/uwobo/.cvsignore b/helm/uwobo/.cvsignore new file mode 100644 index 000000000..2fd79ea45 --- /dev/null +++ b/helm/uwobo/.cvsignore @@ -0,0 +1,5 @@ +build +docs +resources +backup +dist diff --git a/helm/uwobo/.cvswrappers b/helm/uwobo/.cvswrappers new file mode 100644 index 000000000..0140b5545 --- /dev/null +++ b/helm/uwobo/.cvswrappers @@ -0,0 +1 @@ +*.jar -k 'b' -m 'COPY' diff --git a/helm/uwobo/ant/ant.jar b/helm/uwobo/ant/ant.jar new file mode 100644 index 000000000..9a14d89f0 Binary files /dev/null and b/helm/uwobo/ant/ant.jar differ diff --git a/helm/uwobo/ant/jaxp.jar b/helm/uwobo/ant/jaxp.jar new file mode 100644 index 000000000..9cfa2319e Binary files /dev/null and b/helm/uwobo/ant/jaxp.jar differ diff --git a/helm/uwobo/ant/parser.jar b/helm/uwobo/ant/parser.jar new file mode 100644 index 000000000..eb858322b Binary files /dev/null and b/helm/uwobo/ant/parser.jar differ diff --git a/helm/uwobo/antRun b/helm/uwobo/antRun new file mode 100755 index 000000000..5894f4483 --- /dev/null +++ b/helm/uwobo/antRun @@ -0,0 +1,8 @@ +#! /bin/sh + +if [ "$JAVA_HOME" != "" ] ; then + $JAVA_HOME/bin/java -cp ant/ant.jar:ant/jaxp.jar:ant/parser.jar:$JAVA_HOME/lib/tools.jar -Dant.home=. $ANT_OPTS org.apache.tools.ant.Main $@ +else + echo "Warning: JAVA_HOME environment variable is not set." +fi + diff --git a/helm/uwobo/antRun.bat b/helm/uwobo/antRun.bat new file mode 100644 index 000000000..e83ce36bd --- /dev/null +++ b/helm/uwobo/antRun.bat @@ -0,0 +1,17 @@ +@echo off +set ANT_CMD_LINE_ARGS= + +:setupArgs +if %1a==a goto checkJavaHome +set ANT_CMD_LINE_ARGS=%ANT_CMD_LINE_ARGS% %1 +shift +goto setupArgs + +:checkJavaHome +if not "%JAVA_HOME%" == "" goto runAnt +echo Warning: JAVA_HOME environment variable is not set. + +:runAnt +java -cp ant\ant.jar;ant\jaxp.jar;ant\parser.jar;%JAVA_HOME%\lib\tools.jar -Dant.home=.\ org.apache.tools.ant.Main %ANT_CMD_LINE_ARGS% + +set ANT_CMD_LINE_ARGS= diff --git a/helm/uwobo/build.xml b/helm/uwobo/build.xml new file mode 100644 index 000000000..c021b0b46 --- /dev/null +++ b/helm/uwobo/build.xml @@ -0,0 +1,176 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/uwobo/src/it/unibo/cs/helm/uwobo/Key.java b/helm/uwobo/src/it/unibo/cs/helm/uwobo/Key.java new file mode 100644 index 000000000..22df4a44f --- /dev/null +++ b/helm/uwobo/src/it/unibo/cs/helm/uwobo/Key.java @@ -0,0 +1,9 @@ +package it.unibo.cs.helm.uwobo; + +import java.util.*; + +public class Key { + public String name; + public HashMap params; +}; + diff --git a/helm/uwobo/src/it/unibo/cs/helm/uwobo/Server.java b/helm/uwobo/src/it/unibo/cs/helm/uwobo/Server.java new file mode 100644 index 000000000..da11a070c --- /dev/null +++ b/helm/uwobo/src/it/unibo/cs/helm/uwobo/Server.java @@ -0,0 +1,301 @@ +package it.unibo.cs.helm.uwobo; + +import java.io.*; +import java.net.URL; +import java.util.*; +import javax.xml.transform.*; +import javax.xml.transform.sax.*; +import javax.xml.transform.stream.*; +import org.apache.xalan.serialize.*; +import org.apache.xalan.xslt.*; +import org.apache.xalan.templates.*; +import org.apache.xalan.transformer.*; +import org.apache.xerces.parsers.*; +import org.xml.sax.*; +import org.xml.sax.ext.*; +import org.xml.sax.helpers.*; + +/** +// This file is part of UWOBO, a small and simple XSLT server. +// +// UWOBO is free software; you can redistribute it and/or +// modify it under the terms of the GNU General Public License +// as published by the Free Software Foundation; either version 2 +// of the License, or (at your option) any later version. +// +// UWOBO is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with UWOBO; if not, write to the Free Software +// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. +// +// For details, send a mail to +* @author Luca Padovani, Riccardo Solmi +*/ + +public class Server { + private static class Style { + public String fileName; + public long lastModified; + public Templates stylesheet; + }; + + public static final String SERVERNAME = "uwobo-XSLT-server"; + public static final String PACKAGE; + public static final String VERSION; + public static final String DATE; + public static final String TIME; + + static { + Properties props = new Properties(); + try { + InputStream in = Server.class.getResourceAsStream("properties.txt"); + props.load(in); + in.close(); + } catch (IOException ioe) { + System.err.println("Could not load the version information."); + } + + PACKAGE = props.getProperty("PACKAGE"); + VERSION = props.getProperty("VERSION"); + DATE = props.getProperty("DATE"); + TIME = props.getProperty("TIME"); + } + + private final HashMap hashMap = new HashMap(); + private static int logCounter = 0; + + private final Templates compileStylesheet(String xsl_file) throws TransformerConfigurationException, SAXException, IOException { + StreamSource streamsource = + new StreamSource(new URL(xsl_file).openStream()); + streamsource.setSystemId(xsl_file); + return ((SAXTransformerFactory)TransformerFactory.newInstance()) + .newTemplates(streamsource); + } + + private String getContentType(Templates templates) { + final Properties oprops = templates.getOutputProperties(); + final String encoding = oprops.getProperty(OutputKeys.ENCODING); + final String media = oprops.getProperty(OutputKeys.MEDIA_TYPE); + + if (media != null) { + if (encoding != null) + return media + "; charset=" + encoding; + return media; + } else { + final String method = oprops.getProperty(OutputKeys.METHOD); + if (method.equals("html")) + return "text/html"; + else if (method.equals("text")) + return "text/plain"; + else + return "text/xml"; + } + } + + private final ContentHandler applyStylesheet(Templates stylesheet, HashMap params, ContentHandler saxOutput) + throws TransformerConfigurationException, SAXException + { + TransformerHandler th = ((SAXTransformerFactory)TransformerFactory.newInstance()).newTransformerHandler(stylesheet); + + th.setResult(new SAXResult(saxOutput)); + + if (params != null) { + final Transformer transformer = th.getTransformer(); + Iterator i = params.keySet().iterator(); + while (i.hasNext()) { + final String name = (String) i.next(); + final String value = (String) params.get(name); + transformer.setParameter(name, value); + } + } + + return th; + } + + private final void parseFile(String datasheet, ContentHandler saxOutput) throws SAXException, IOException, Exception { + final XMLReader reader = XMLReaderFactory.createXMLReader("org.apache.xerces.parsers.SAXParser"); + reader.setFeature("http://xml.org/sax/features/namespaces", true); + reader.setFeature("http://xml.org/sax/features/namespace-prefixes", true); + reader.setContentHandler(saxOutput); + if (saxOutput instanceof LexicalHandler) + reader.setProperty("http://xml.org/sax/properties/lexical-handler", (LexicalHandler)saxOutput); + reader.parse(datasheet); + } + + private final ContentHandler saveFile(OutputStream outputStream, Properties props) throws IOException { + final Serializer ser = SerializerFactory.getSerializer(props); + ser.setOutputStream(outputStream); + return ser.asContentHandler(); + } + + public static void log(String msg) { + System.err.println(SERVERNAME + "[" + logCounter++ + "]: " + msg); + } + + public void add(String filename, String key) throws TransformerConfigurationException, SAXException, IOException { + if (hashMap.containsKey(key)) { + log("there is already a stylesheet with keyword \"" + key + "\" (aborted)"); + return; + } + + Style style = new Style(); + style.fileName = filename; + style.lastModified = new File(filename).lastModified(); + log("processing stylesheet \"" + filename + "\"... "); + style.stylesheet = compileStylesheet(filename); + log("done!"); + + hashMap.put(key, style); + } + + public void removeAll() throws TransformerConfigurationException, SAXException, IOException { + String key; + Style style; + Iterator i = hashMap.keySet().iterator(); + while (i.hasNext()) { + key = (String)i.next(); + style = (Style)hashMap.get(key); + log("removing \"" + key + " (" + style.fileName + ")"); + } + hashMap.clear(); + } + + public void remove(String key) { + Style style = (Style)hashMap.get(key); + if (style != null) { + log("removing \"" + key + " (" + style.fileName + ")"); + hashMap.remove(key); + } else { + log("error, stylesheet \"" + key + "\" not loaded"); + } + } + + public String getContentType(String key) { + Style style = (Style)hashMap.get(key); + if (style != null) { + return getContentType(style.stylesheet); + } else { + log("error, stylesheet \"" + key + "\" not loaded"); + return null; + } + } + + public List list() { + log("listing stylesheets..."); + ArrayList l = new ArrayList(); + Iterator i = hashMap.keySet().iterator(); + while (i.hasNext()) { + String key = (String)i.next(); + Style style = (Style)hashMap.get(key); + l.add(" " + key + " (" + style.fileName + "; " + getContentType(style.stylesheet) + ")"); + System.out.println(" " + key + " (" + style.fileName + ")"); + } + log("done!"); + return l; + } + + private ContentHandler applyRec(final Key[] keys, int idx, final ContentHandler saxOutput) + throws TransformerConfigurationException, SAXException, IOException + { + if (idx < 0) + return saxOutput; + else { + final Style style = (Style) hashMap.get(keys[idx].name); + if (style == null) { + log("cannot apply unknwon stylesheet \"" + keys[idx].name + "\" (aborted)"); + return null; + } + return applyStylesheet(style.stylesheet, keys[idx].params, applyRec(keys, idx - 1, saxOutput)); + } + } + + public void apply(String inFile, OutputStream outputStream, Key[] keys, Properties userProperties) + throws FileNotFoundException, IOException, TransformerConfigurationException, SAXException, Exception + { +/* File outFile = new File(outFilename); + if (outFile.exists()) + System.out.println("Using cached version\n"); + else { +*/ + final Key[] rkeys = new Key[keys.length]; + for (int i = 0; i < keys.length; i++) + rkeys[i] = keys[keys.length - i - 1]; + + Properties outputProperties; + Properties defaultProperties; + String method; + + if (keys.length > 0) { + Style style = (Style) hashMap.get(rkeys[0].name); + if (style == null) { + log("error, stylesheet \"" + rkeys[0].name + "\" not loaded"); + return; + } + outputProperties = style.stylesheet.getOutputProperties(); + method = userProperties.getProperty("method"); + if (method == null) method = outputProperties.getProperty("method"); + if (method == null) method = "xml"; + defaultProperties = org.apache.xalan.templates.OutputProperties.getDefaultMethodProperties(method); + } else { + method = userProperties.getProperty("method"); + if (method == null) method = "xml"; + outputProperties = org.apache.xalan.templates.OutputProperties.getDefaultMethodProperties(method); + defaultProperties = outputProperties; + } + + for (Enumeration e = userProperties.propertyNames(); e.hasMoreElements(); ) { + String prop = (String) e.nextElement(); + String value = userProperties.getProperty(prop); + if (value.equals("")) { + String defaultValue = defaultProperties.getProperty(prop); + if (defaultValue != null) + outputProperties.setProperty(prop, defaultProperties.getProperty(prop)); + else + outputProperties.remove(prop); + } else { + outputProperties.setProperty(prop, value); + } + } + + parseFile(inFile, applyRec(rkeys, rkeys.length - 1, saveFile(outputStream, outputProperties))); +// } + } + + public void reloadAll() throws TransformerConfigurationException, SAXException, IOException { + Iterator i = hashMap.keySet().iterator(); + while (i.hasNext()) + reload((String)i.next()); + } + + public void reload(String key) throws TransformerConfigurationException, SAXException, IOException { + Style style = (Style)hashMap.get(key); + + log("reloading \"" + key + "\"... "); + style.stylesheet = compileStylesheet(style.fileName); + style.lastModified = new File(style.fileName).lastModified(); + log("done!"); + } + + public void updateAll() throws TransformerConfigurationException, SAXException, IOException { + Iterator i = hashMap.keySet().iterator(); + while (i.hasNext()) + update((String)i.next()); + } + + public void update(String key) throws TransformerConfigurationException, SAXException, IOException { + Style style = (Style)hashMap.get(key); + + log("updating \"" + key + "\"... "); + File styleFile = new File(style.fileName); + if (styleFile.lastModified() > style.lastModified) { + style.stylesheet = compileStylesheet(style.fileName); + style.lastModified = styleFile.lastModified(); + log("done!"); + } else + log("\"" + key + "\" is up to date"); + } +} diff --git a/helm/uwobo/src/it/unibo/cs/helm/uwobo/Servlet.java b/helm/uwobo/src/it/unibo/cs/helm/uwobo/Servlet.java new file mode 100644 index 000000000..0e28877fd --- /dev/null +++ b/helm/uwobo/src/it/unibo/cs/helm/uwobo/Servlet.java @@ -0,0 +1,247 @@ +package it.unibo.cs.helm.uwobo; + +import java.io.*; +import java.util.*; +import javax.servlet.*; +import javax.servlet.http.*; +import javax.xml.transform.*; +import org.xml.sax.*; + +/* +* +* usage: +* http://aristotele/helm/servlet/uwobo/help +* http://aristotele/helm/servlet/uwobo/add?xsluri=&key= +* http://aristotele/helm/servlet/uwobo/remove[?key=] +* http://aristotele/helm/servlet/uwobo/list +* http://aristotele/helm/servlet/uwobo/reload[?key=] +* http://aristotele/helm/servlet/uwobo/update[?key=] +* http://aristotele/helm/servlet/uwobo/apply?xmluri=&keys=[¶m.=]* +* +* example: +* http://aristotele/helm/servlet/uwobo/add?xsluri=file:///D:/Archivio/Progetti/helm/resources/xsl/foo1.xsl&key=foo1 +* http://aristotele/helm/servlet/uwobo/add?xsluri=file:///D:/Archivio/Progetti/helm/resources/xsl/foo2.xsl&key=foo2 +* http://aristotele/helm/servlet/uwobo/apply?xmluri=file:///D:/Archivio/Progetti/helm/resources/xsl/foo.xml&key=foo1&key=foo2 +* +* installation notes (Tomcat): +* replace parser.jar and jaxp.jar from /lib with xerces.jar +* +* add in conf/server.xml +* +* +* +* add in uriworkermap.properties +* /helm/*=ajp12 +* +* bugs: +* directory base stylesheet inclusi +* +* @author Riccardo Solmi +*/ +public class Servlet extends HttpServlet { + public static final String[] usage = { + "http://hostname/helm/servlet/uwobo/help", + "http://hostname/helm/servlet/uwobo/add?xsluri=stylesheet&key=name", + "http://hostname/helm/servlet/uwobo/remove[?key=name]", + "http://hostname/helm/servlet/uwobo/list", + "http://hostname/helm/servlet/uwobo/reload[?key=name]", + "http://hostname/helm/servlet/uwobo/update[?key=name]", + "http://hostname/helm/servlet/uwobo/apply?xmluri=xmldata&keys=key_1,...,key_n[¶m.name=value]*" + }; + public static final String help; + + static { + StringBuffer sb = new StringBuffer(); + sb.append("

").append(usage[i]).append(""); + sb.append("

"); + help = sb.toString(); + } + + private Server server; + + public void init(ServletConfig config) throws ServletException + { + super.init(config); + + System.out.println("UWOBO init"); + server = new Server(); + } + + public static String[] split(final String s, final String delim) + { + StringTokenizer st = new StringTokenizer(s, delim); + String[] res = new String[st.countTokens()]; + for (int i = 0; i < res.length; i++) res[i] = st.nextToken(); + return res; + } + + public void doGet(HttpServletRequest request, HttpServletResponse response) + throws ServletException, IOException + { + System.out.println("UWOBO "+request.getPathInfo()); + ServletOutputStream out; + + try { + final String cmd = request.getPathInfo(); + if (cmd == null) { + sendError(response, HttpServletResponse.SC_NOT_FOUND, "unknown command", help); + return; + } + if (cmd.equals("/add")) { + final String filename = request.getParameter("xsluri"); + if (filename == null) { + sendError(response, HttpServletResponse.SC_BAD_REQUEST, "bad parameters", usage[1]); + return; + } + final String key = request.getParameter("key"); + server.add(filename, key); + } else if (cmd.equals("/apply")) { + final String infile = request.getParameter("xmluri"); + final String keys = request.getParameter("keys"); + + if (infile == null || keys == null) { + sendError(response, HttpServletResponse.SC_BAD_REQUEST, "bad parameters", usage[6]); + return; + } + + final String[] keyName = split(keys, ","); + final Key[] keySeq = new Key[keyName.length]; + for (int i = 0; i < keySeq.length; i++) { + keySeq[i] = new Key(); + keySeq[i].name = keyName[i]; + keySeq[i].params = new HashMap(); + } + + final Properties props = new Properties(); + final Enumeration e = request.getParameterNames(); + while (e.hasMoreElements()) { + String param = (String) e.nextElement(); + if (param.startsWith("param.")) { + final String name = param.substring(6); + final String value = request.getParameter(param); + final String[] keyParam = split(name, "."); + if (keyParam.length == 1) { + // this is a global parameter + Server.log("global parameter: " + keyParam[0] + " = " + value); + for (int i = 0; i < keySeq.length; i++) + // we add the global parameter only if there is no + // local parameter with the same name + if (!keySeq[i].params.containsKey(keyParam[0])) + keySeq[i].params.put(keyParam[0], value); + } else if (keyParam.length == 2) { + // this is a local parameter + Server.log("local parameter: " + keyParam[0] + "." + keyParam[1] + " = " + value); + for (int i = 0; i < keySeq.length; i++) { + if (keySeq[i].name.equals(keyParam[0])) + keySeq[i].params.put(keyParam[1], value); + } + } else { + sendError(response, HttpServletResponse.SC_BAD_REQUEST, "bad parameters", usage[6]); + return; + } + } else if (param.startsWith("prop.")) { + final String name = param.substring(5); + final String value = request.getParameter(param); + Server.log("property: " + name + " = " + value); + props.setProperty(name, value); + } + } + + String contentType = props.getProperty(OutputKeys.MEDIA_TYPE); + if (contentType == null && keySeq.length > 0) + contentType = server.getContentType(keySeq[keySeq.length - 1].name); + else if (contentType == null) + contentType = "text/xml"; + response.setContentType(contentType); + Server.log("content type: " + contentType); + + out = response.getOutputStream(); + server.apply(infile, out, keySeq, props); + out.close(); + return; + } else if (cmd.equals("/remove")) { + final String key = request.getParameter("key"); + if (key == null) + server.removeAll(); + else + server.remove(key); + } else if (cmd.equals("/list")) { + Iterator i = server.list().iterator(); + + response.setContentType("text/html"); + out = response.getOutputStream(); + out.println("

Uwobo servlet

stylesheet list:

"+i.next()+"

"); + out.close(); + return; + } else if (cmd.equals("/reload")) { + final String key = request.getParameter("key"); + if (key == null) + server.reloadAll(); + else + server.reload(key); + } else if (cmd.equals("/update")) { + final String key = request.getParameter("key"); + if (key == null) + server.updateAll(); + else + server.update(key); + } else if (cmd.equals("/help")) { + response.setContentType("text/html"); + out = response.getOutputStream(); + out.println("

"+server.PACKAGE+" servlet - version "+server.VERSION+"

"); + out.println("compiled "+server.DATE+" at "+server.TIME.substring(0,2)+":"+server.TIME.substring(2)+""); + out.println("

usage:

"+help+""); + out.close(); + return; + } else { + sendError(response, HttpServletResponse.SC_NOT_FOUND, "unknown command", help); + return; + } + } catch (TransformerConfigurationException tce) { + sendError(response, HttpServletResponse.SC_BAD_REQUEST, "stylesheet error", tce); + return; + } catch (SAXException se) { + sendError(response, HttpServletResponse.SC_BAD_REQUEST, "SAX Exception", se); + return; + } catch (Exception e) { + sendError(response, HttpServletResponse.SC_BAD_REQUEST, "exception", e); + return; + } + + response.setContentType("text/html"); + response.setHeader("Cache-Control", "no-cache"); + response.setHeader("Pragma", "no-cache"); + response.setHeader("Expires", "0"); + out = response.getOutputStream(); + out.println("

Uwobo servlet

done

"); + out.close(); + } + + private void sendError(HttpServletResponse response, int code, String msg, Exception e) throws IOException { + String err; + if (e != null) + err = "

"+e.getMessage()+"

"; + else + err = ""; + response.setContentType("text/html"); + response.sendError(code, "

Uwobo servlet

"+msg+"

"+err+""); + } + + private void sendError(HttpServletResponse response, int code, String msg, String usage) throws IOException { + response.setContentType("text/html"); + response.sendError(code, "

Uwobo servlet

"+msg+"

usage: "+usage+""); + } + + public String getServletInfo() { + return "The UWOBO servlet"; + } +} diff --git a/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt b/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt new file mode 100644 index 000000000..eb2861132 --- /dev/null +++ b/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt @@ -0,0 +1,4 @@ +PACKAGE=@PACKAGE@ +VERSION=@VERSION@ +DATE=@DATE@ +TIME=@TIME@ diff --git a/helm/uwobo/web.xml b/helm/uwobo/web.xml new file mode 100644 index 000000000..badb809d2 --- /dev/null +++ b/helm/uwobo/web.xml @@ -0,0 +1,22 @@ + + + + + Uwobo Application + + This is an xslt web application + + + + uwobo + it.unibo.cs.helm.uwobo.Servlet + + + + uwobo + /helm/* + + +