/* $Id: GenerateLatexTest.java,v 1.22 2007/12/21 23:35:17 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.latex; import java.io.File; import java.io.IOException; import org.qedeq.kernel.bo.control.QedeqBoFactoryTest; import org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker; import org.qedeq.kernel.bo.logic.LogicalCheckException; import org.qedeq.kernel.bo.module.LogicalState; import org.qedeq.kernel.bo.module.ModuleDataException; import org.qedeq.kernel.bo.module.ModuleProperties; import org.qedeq.kernel.bo.module.QedeqBo; import org.qedeq.kernel.common.SourceFileException; import org.qedeq.kernel.common.SourceFileExceptionList; import org.qedeq.kernel.context.KernelContext; import org.qedeq.kernel.log.ModuleEventLog; import org.qedeq.kernel.log.QedeqLog; import org.qedeq.kernel.rel.test.text.KernelFacade; import org.qedeq.kernel.test.QedeqTestCase; import org.qedeq.kernel.utility.IoUtility; import org.qedeq.kernel.xml.mapper.ModuleDataException2XmlFileException; import org.qedeq.kernel.xml.parser.DefaultSourceFileExceptionList; import org.xml.sax.SAXParseException; /** * Test generating LaTeX files for all known samples. * * @version $Revision: 1.22 $ * @author Michael Meyling */ public final class GenerateLatexTest extends QedeqTestCase { public void setUp() throws Exception{ super.setUp(); KernelFacade.startup(); } public void tearDown() throws Exception{ super.tearDown(); KernelFacade.shutdown(); } /** * Start main process. * * @throws Exception */ public void testGeneration() throws Exception { File docDir = new File("../QedeqDoc"); File genDir = new File("../../../qedeq_gen"); // test if we are in the normal development environment, where a project with name // "../QedeqDoc" exists, otherwise we assume to run within the release directory // structure where the docs are in the directory ../doc if (!docDir.exists()) { docDir = new File("../doc"); genDir = new File("../doc"); if (!docDir.exists()) { throw new IOException("unknown source directory for qedeq modules"); } } generate(docDir, "math/qedeq_sample1.xml", genDir, false); generate(docDir, "math/qedeq_set_theory_v1.xml", genDir, false); generate(docDir, "math/qedeq_logic_v1.xml", genDir, false); generate(docDir, "project/qedeq_basic_concept.xml", genDir, false); generate(docDir, "project/qedeq_logic_language.xml", genDir, true); } public void testNegative02() throws IOException { try { generate(new File("."), "data/qedeq_sample2_error.xml", "de", new File(".")); fail("IllegalModuleDataException expected"); } catch (SourceFileExceptionList list) { DefaultSourceFileExceptionList ex = (DefaultSourceFileExceptionList) list; System.out.println(ex); assertEquals(1, ex.size()); SourceFileException e = ex.get(0); assertTrue(e.getCause() instanceof ModuleDataException); assertEquals(10002, e.getErrorCode()); assertEquals(221, e.getSourceArea().getStartPosition().getLine()); assertEquals(9, e.getSourceArea().getStartPosition().getColumn()); } } public void testNegative03() throws IOException { try { generate(new File("."), "data/qedeq_sample3_error.xml", "en", new File(".")); fail("IllegalModuleDataException expected"); } catch (SourceFileExceptionList list) { DefaultSourceFileExceptionList ex = (DefaultSourceFileExceptionList) list; System.out.println(ex); assertEquals(1, ex.size()); SourceFileException e = ex.get(0); System.out.println(e.getCause().getClass().getName()); assertTrue(e.getCause() instanceof SAXParseException); assertEquals(9001, e.getErrorCode()); assertEquals(313, e.getSourceArea().getStartPosition().getLine()); assertEquals(30, e.getSourceArea().getStartPosition().getColumn()); } } public void testNegative04() throws IOException { try { generate(new File("."), "data/qedeq_sample4_error.xml", "en", new File(".")); fail("IllegalModuleDataException expected"); } catch (SourceFileExceptionList list) { DefaultSourceFileExceptionList ex = (DefaultSourceFileExceptionList) list; assertEquals(7, ex.size()); SourceFileException e = ex.get(0); assertTrue(e.getCause() instanceof SAXParseException); assertEquals(9001, e.getErrorCode()); assertEquals(13, e.getSourceArea().getStartPosition().getLine()); assertEquals(13, e.getSourceArea().getStartPosition().getColumn()); e = ex.get(1); assertTrue(e.getCause() instanceof SAXParseException); assertEquals(9001, e.getErrorCode()); assertEquals(16, e.getSourceArea().getStartPosition().getLine()); assertEquals(16, e.getSourceArea().getStartPosition().getColumn()); e = ex.get(2); assertTrue(e.getCause() instanceof SAXParseException); assertEquals(9001, e.getErrorCode()); assertEquals(19, e.getSourceArea().getStartPosition().getLine()); assertEquals(15, e.getSourceArea().getStartPosition().getColumn()); e = ex.get(3); assertTrue(e.getCause() instanceof SAXParseException); assertEquals(9001, e.getErrorCode()); assertEquals(22, e.getSourceArea().getStartPosition().getLine()); assertEquals(15, e.getSourceArea().getStartPosition().getColumn()); e = ex.get(4); assertTrue(e.getCause() instanceof SAXParseException); assertEquals(9001, e.getErrorCode()); assertEquals(26, e.getSourceArea().getStartPosition().getLine()); assertEquals(23, e.getSourceArea().getStartPosition().getColumn()); e = ex.get(5); assertTrue(e.getCause() instanceof SAXParseException); assertEquals(9001, e.getErrorCode()); assertEquals(69, e.getSourceArea().getStartPosition().getLine()); assertEquals(47, e.getSourceArea().getStartPosition().getColumn()); e = ex.get(6); assertTrue(e.getCause() instanceof SAXParseException); assertEquals(9001, e.getErrorCode()); assertEquals(98, e.getSourceArea().getStartPosition().getLine()); assertEquals(47, e.getSourceArea().getStartPosition().getColumn()); } } public void testNegative05() throws IOException { try { generate(new File("."), "data/qedeq_sample5_error.xml", "en", new File(".")); fail("IllegalModuleDataException expected"); } catch (SourceFileExceptionList list) { DefaultSourceFileExceptionList ex = (DefaultSourceFileExceptionList) list; assertEquals(1, ex.size()); SourceFileException e = ex.get(0); System.out.println(e.getCause().getClass().getName()); assertTrue(e.getCause() instanceof LogicalCheckException); assertEquals(30550, e.getErrorCode()); assertEquals(168, e.getSourceArea().getStartPosition().getLine()); assertEquals(15, e.getSourceArea().getStartPosition().getColumn()); } } public void testNegative06() throws IOException { try { generate(new File("."), "data/qedeq_sample6_error.xml", "en", new File(".")); fail("IllegalModuleDataException expected"); } catch (SourceFileExceptionList list) { DefaultSourceFileExceptionList ex = (DefaultSourceFileExceptionList) list; assertEquals(1, ex.size()); SourceFileException e = ex.get(0); System.out.println(e.getCause().getClass().getName()); assertTrue(e.getCause() instanceof LogicalCheckException); assertEquals(30590, e.getErrorCode()); assertEquals(286, e.getSourceArea().getStartPosition().getLine()); assertEquals(21, e.getSourceArea().getStartPosition().getColumn()); } } public void testNegative07() throws IOException { try { generate(new File("."), "data/qedeq_sample7_error.xml", "en", new File(".")); fail("IllegalModuleDataException expected"); } catch (SourceFileExceptionList list) { DefaultSourceFileExceptionList ex = (DefaultSourceFileExceptionList) list; assertEquals(1, ex.size()); SourceFileException e = ex.get(0); System.out.println(e.getCause().getClass().getName()); assertTrue(e.getCause() instanceof LogicalCheckException); assertEquals(30780, e.getErrorCode()); assertEquals(296, e.getSourceArea().getStartPosition().getLine()); assertEquals(17, e.getSourceArea().getStartPosition().getColumn()); } } public void testNegative08() throws IOException { try { generate(new File("."), "data/qedeq_sample8_error.xml", "en", new File(".")); fail("IllegalModuleDataException expected"); } catch (SourceFileExceptionList list) { DefaultSourceFileExceptionList ex = (DefaultSourceFileExceptionList) list; assertEquals(1, ex.size()); SourceFileException e = ex.get(0); System.out.println(e.getCause().getClass().getName()); assertTrue(e.getCause() instanceof ModuleDataException); assertEquals(1001, e.getErrorCode()); assertEquals(306, e.getSourceArea().getStartPosition().getLine()); assertEquals(15, e.getSourceArea().getStartPosition().getColumn()); } } /** * Call the generation of one LaTeX file and copy XML source to same destination directory for * all supported languages. *

* Tests also if the parsed context can be found by * {@link org.qedeq.kernel.xml.mapper.Context2XPath#getXPath(ModuleContext)}. * * @param dir Start directory. * @param xml Relative path to XML file. Must not be null. * @param destinationDirectory Directory path for LaTeX file. Must not be null. * @param onlyEn Generate only for language "en". * @throws Exception Failure. */ private final static void generate(final File dir, final String xml, final File destinationDirectory, final boolean onlyEn) throws Exception { generate(dir, xml, "en", destinationDirectory); if (!onlyEn) { generate(dir, xml, "de", destinationDirectory); } QedeqBoFactoryTest.loadQedeqAndAssertContext(new File(dir, xml)); } /** * Call the generation of one LaTeX file and copy XML source to same destination directory. * * @param dir Start directory. * @param xml Relative path to XML file. Must not be null. * @param language Generate text in this language. Can be null. * @param destinationDirectory Directory path for LaTeX file. Must not be null. * @throws IOException File IO failed. * @throws XmlFilePositionException File data is invalid. */ private static void generate(final File dir, final String xml, final String language, final File destinationDirectory) throws IOException, SourceFileExceptionList { final File xmlFile = new File(dir, xml); final QedeqBo qedeqBo = KernelFacade.getKernelContext().loadModule(IoUtility.toUrl(xmlFile) ); final ModuleProperties prop = KernelFacade.getKernelContext().getModuleProperties( IoUtility.toUrl(xmlFile)); final File texFile = new File(dir, xml.substring(0, xml.lastIndexOf('.')) + "_" + language + ".tex"); Xml2Latex.generate(prop, texFile, language, "1"); final File texCopy = new File(destinationDirectory, new File(new File(xml).getParent(), texFile.getName()).getPath()); final File xmlCopy = new File(destinationDirectory, xml); IoUtility.copyFile(xmlFile, xmlCopy); IoUtility.copyFile(texFile, texCopy); try { prop.setLoadedRequiredModules(null); QedeqLog.getInstance().logRequest("Check logical correctness of \"" + prop.getAddress() + "\""); prop.setLogicalProgressState(LogicalState.STATE_INTERNAL_CHECKING); ModuleEventLog.getInstance().stateChanged(prop); QedeqBoFormalLogicChecker.check(prop.getUrl(), prop.getModule()); QedeqLog.getInstance().logSuccessfulReply( "Check of logical correctness successful for \"" + prop.getAddress() + "\""); prop.setLogicalProgressState(LogicalState.STATE_CHECKED); ModuleEventLog.getInstance().stateChanged(prop); } catch (ModuleDataException e) { final String msg = "Check of logical correctness failed for \"" + prop.getAddress() + "\""; prop.setLogicalFailureState( LogicalState.STATE_INTERNAL_CHECKING_FAILED, ModuleDataException2XmlFileException.createXmlFileExceptionList(e, qedeqBo.getQedeq())); ModuleEventLog.getInstance().stateChanged(prop); QedeqLog.getInstance().logFailureReply(e.getMessage(), msg); throw ModuleDataException2XmlFileException.createXmlFileExceptionList(e, qedeqBo.getQedeq()); } } }