/* $Id: Xml2Xml.java,v 1.2 2007/02/25 20:05:00 m31 Exp $ * * This file is part of the project "Hilbert II" - http://www.qedeq.org * * Copyright 2000-2007, Michael Meyling . * * "Hilbert II" 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. * * This program 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. */ package org.qedeq.kernel.rel.test.text; import java.io.File; import java.io.FileOutputStream; import java.io.IOException; import java.io.OutputStream; import javax.xml.parsers.ParserConfigurationException; import org.qedeq.kernel.base.module.Qedeq; import org.qedeq.kernel.bo.module.ModuleDataException; import org.qedeq.kernel.context.KernelContext; import org.qedeq.kernel.latex.Qedeq2Xml; import org.qedeq.kernel.log.Trace; import org.qedeq.kernel.utility.IoUtility; import org.qedeq.kernel.utility.TextOutput; import org.qedeq.kernel.xml.handler.module.QedeqHandler; import org.qedeq.kernel.xml.mapper.XmlFilePositionException; import org.qedeq.kernel.xml.parser.SaxDefaultHandler; import org.qedeq.kernel.xml.parser.SaxParser; import org.qedeq.kernel.xml.parser.SyntaxException; import org.xml.sax.SAXException; import org.xml.sax.SAXParseException; /** * Test application. * * @version $Revision: 1.2 $ * @author Michael Meyling */ public final class Xml2Xml { /** * Constructor. */ private Xml2Xml() { // nothing to do } /** * Main method. * * @param args Various parameters. See implementation of * {@link #printProgramInformation()}. */ public static void main(final String[] args) { String from = null; String to = null; if (args.length == 0) { printProgramInformation(); return; } for (int i = 0; i < args.length; i++) { if (args[i].startsWith("-")) { // option final String option = args[i].substring(1).toLowerCase(); if (option.equals("help") || option.equals("h") || option.equals("?")) { printProgramInformation(); return; } if (option.equals("to")) { if (i + 1 >= args.length) { printArgumentError("\"-to\" must be followed by a filename."); return; } to = args[i + 1]; i++; } else { // unknown option printArgumentError("Unknown option: " + option); return; } } else { // no option, must be file name if (from != null) { printArgumentError("XML file name must only be specified once."); return; } from = args[i]; } } if (from == null) { printArgumentError("XML file must be specified."); return; } System.out.println(IoUtility.getClassName(Xml2Xml.class) + ", running on: " + KernelContext.getDescriptiveKernelVersion()); try { System.out.println("Successfully generated:\n" + generate(from, to)); } catch (XmlFilePositionException e) { System.out.println(e.getDescription()); } catch (RuntimeException e) { System.out.println(e); } } /** * Writes calling convention to System.err. */ public static void printProgramInformation() { System.err.println("Name"); System.err.println("----"); System.err.println(IoUtility.getClassName(Xml2Xml.class) + " - create LaTeX document"); System.err.println(); System.err.println("Synopsis"); System.err.println("-------------------"); System.err.println("[-h] [-to ]"); System.err.println(); System.err.println("Description"); System.err.println("-----------"); System.err.println("This program creates a XML file out of *Hilbert II* XML files."); System.err.println("If no \"-to\" filename was given, the resulting XML file is at the same"); System.err.println("place as the original file but has the extension \"_.xml\"."); System.err.println(); System.err.println("Options and Parameter"); System.err.println("---------------------"); System.err.println("-h writes this text and returns"); System.err.println(" XML file that fulfils the XSD from \"http://www.qedeq.org/" + KernelContext.getKernelVersionDirectory() + "\""); System.err.println("-to write result into this file"); System.err.println(); System.err.println("Parameter Examples"); System.err.println("------------------"); System.err.println("sample/qedeq_basic_concept.xml"); System.err.println(); System.err.println("Further information"); System.err.println("-------------------"); System.err.println("For more information about *Hilbert II* look at:"); System.err.println("\thttp://www.qedeq.org/"); System.err.println(); } private static void printArgumentError(final String message) { System.err.println(">>>ERROR reason:"); System.err.println(message); System.err.println(); System.err.println(">>>Calling convention:"); printProgramInformation(); } /** * Generate LaTeX file out of XML file. * * @param from Read this XML file. * @param to Write to this file. Could be null. * @return File name of generated LaTeX file. * @throws XmlFilePositionException */ public static String generate(final String from, final String to) throws XmlFilePositionException { return generate((from != null ? new File(from) : null), (to != null ? new File(to) : null)); } /** * Generate LaTeX file out of XML file. Also initializes trace file. * * @param from Read this XML file. * @param to Write to this file. Could be null. * @return File name of generated LaTeX file. * @throws XmlFilePositionException */ public static String generate(final File from, final File to) throws XmlFilePositionException { final String method = "generate(String, String, String, String)"; Qedeq qedeq = null; try { Trace.begin(Xml2Xml.class, method); Trace.param(Xml2Xml.class, method, "from", from); Trace.param(Xml2Xml.class, method, "to", to); final File source = from; final File destination; if (to != null) { destination = to.getCanonicalFile(); } else { String xml = source.getName(); if (xml.toLowerCase().endsWith(".xml")) { xml = xml.substring(0, xml.length() - 4); } destination = new File(source.getParentFile(), xml + "_.xml").getCanonicalFile(); } SaxDefaultHandler handler = new SaxDefaultHandler(); QedeqHandler simple = new QedeqHandler(handler); handler.setBasisDocumentHandler(simple); SaxParser parser = new SaxParser(handler); try { parser.parse(source); qedeq = simple.getQedeq(); } catch (SAXException ex) { if (parser.getExceptionList().size() > 0) { final Exception exc = parser.getExceptionList().get(0); if (exc instanceof SyntaxException) { // TODO mime 20050826: give more than one Trace.trace(Xml2Xml.class, method, exc); throw new XmlFilePositionException((SyntaxException) exc); } } throw ex; } // System.out.println(simple.getQedeq().toString()); IoUtility.createNecessaryDirectories(destination); final OutputStream outputStream = new FileOutputStream(destination); final TextOutput printer = new TextOutput(destination.getName(), outputStream); try { Qedeq2Xml.print(source.getCanonicalPath(), simple.getQedeq(), printer); } catch (ModuleDataException e) { throw new XmlFilePositionException(qedeq, e); } printer.close(); return destination.getCanonicalPath(); } catch (RuntimeException e) { Trace.trace(Xml2Xml.class, method, e); throw new XmlFilePositionException(from, e); } catch (IOException e) { Trace.trace(Xml2Xml.class, method, e); throw new XmlFilePositionException(e); } catch (ParserConfigurationException e) { Trace.trace(Xml2Xml.class, method, e); throw new XmlFilePositionException(e); } catch (final SAXParseException e) { Trace.trace(Xml2Xml.class, method, e); throw new XmlFilePositionException(e); } catch (SAXException e) { Trace.trace(Xml2Xml.class, method, e); throw new XmlFilePositionException(from, e); } catch (javax.xml.parsers.FactoryConfigurationError e) { Trace.trace(Xml2Xml.class, method, e); final String msg = "SAX Parser not in classpath, " + "add for example \"xercesImpl.jar\" and \"xml-apis.jar\"."; throw new XmlFilePositionException(new IOException(msg)); } finally { Trace.end(Xml2Xml.class, method); } } }