|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
PredicateDefinitionHandler | Line # 33 | 32 | 17 | 76,7% |
0.76666665
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
(41) | |||
Result | |||
0.76666665
|
org.qedeq.kernel.bo.module.VisitorContextTest.testContext org.qedeq.kernel.bo.module.VisitorContextTest.testContext | 1 PASS | |
0.76666665
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq5 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq5 | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq6 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq6 | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.ExtendedGenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.ExtendedGenerateLatexTest.testGeneration | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq4 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq4 | 1 PASS | |
0.76666665
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 | 1 PASS | |
0.68333334
|
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse2 org.qedeq.kernel.xml.parser.QedeqParserTest.testParse2 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_08 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_08 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_06 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_06 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_05 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_05 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq3 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq3 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_07 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_07 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq2 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq2 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_04 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_04 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2 org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative01 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative01 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_03 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_03 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_01 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_01 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative02 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative02 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative00 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative00 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_09 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_09 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_02 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_02 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1 org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative04 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative04 | 1 PASS | |
0.083333336
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative03 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative03 | 1 PASS | |
1 | /* $Id: PredicateDefinitionHandler.java,v 1.1 2008/07/26 08:00:51 m31 Exp $ | |
2 | * | |
3 | * This file is part of the project "Hilbert II" - http://www.qedeq.org | |
4 | * | |
5 | * Copyright 2000-2008, Michael Meyling <mime@qedeq.org>. | |
6 | * | |
7 | * "Hilbert II" is free software; you can redistribute | |
8 | * it and/or modify it under the terms of the GNU General Public | |
9 | * License as published by the Free Software Foundation; either | |
10 | * version 2 of the License, or (at your option) any later version. | |
11 | * | |
12 | * This program is distributed in the hope that it will be useful, | |
13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | * GNU General Public License for more details. | |
16 | */ | |
17 | ||
18 | package org.qedeq.kernel.xml.handler.module; | |
19 | ||
20 | import org.qedeq.kernel.base.module.PredicateDefinition; | |
21 | import org.qedeq.kernel.dto.module.PredicateDefinitionVo; | |
22 | import org.qedeq.kernel.xml.common.XmlSyntaxException; | |
23 | import org.qedeq.kernel.xml.parser.AbstractSimpleHandler; | |
24 | import org.qedeq.kernel.xml.parser.SimpleAttributes; | |
25 | ||
26 | ||
27 | /** | |
28 | * Parse a predicate definition. | |
29 | * | |
30 | * @version $Revision: 1.1 $ | |
31 | * @author Michael Meyling | |
32 | */ | |
33 | public class PredicateDefinitionHandler extends AbstractSimpleHandler { | |
34 | ||
35 | /** Handler for a variable list. */ | |
36 | private final VariableListHandler variableListHandler; | |
37 | ||
38 | /** Handler for formulas or terms. */ | |
39 | private final FormulaHandler formulaHandler; | |
40 | ||
41 | /** Handler for rule description. */ | |
42 | private final LatexListHandler descriptionHandler; | |
43 | ||
44 | /** Definition value object. */ | |
45 | private PredicateDefinitionVo definition; | |
46 | ||
47 | /** LaTeX pattern for the definition. */ | |
48 | private String latexPattern; | |
49 | ||
50 | ||
51 | /** | |
52 | * Deals with definitions. | |
53 | * | |
54 | * @param handler Parent handler. | |
55 | */ | |
56 | 140 | public PredicateDefinitionHandler(final AbstractSimpleHandler handler) { |
57 | 140 | super(handler, "DEFINITION_PREDICATE"); |
58 | 140 | variableListHandler = new VariableListHandler(this); |
59 | 140 | formulaHandler = new FormulaHandler(this); |
60 | 140 | descriptionHandler = new LatexListHandler(this, "DESCRIPTION"); |
61 | } | |
62 | ||
63 | 214 | public final void init() { |
64 | 214 | definition = null; |
65 | 214 | latexPattern = null; |
66 | } | |
67 | ||
68 | /** | |
69 | * Get definition. | |
70 | * | |
71 | * @return Definition. | |
72 | */ | |
73 | 214 | public final PredicateDefinition getDefinition() { |
74 | 214 | return definition; |
75 | } | |
76 | ||
77 | 783 | public final void startElement(final String name, final SimpleAttributes attributes) |
78 | throws XmlSyntaxException { | |
79 | 783 | if (getStartTag().equals(name)) { |
80 | 214 | definition = new PredicateDefinitionVo(); |
81 | 214 | definition.setArgumentNumber(attributes.getString("arguments")); |
82 | 214 | definition.setName(attributes.getString("name")); |
83 | 569 | } else if ("LATEXPATTERN".equals(name)) { |
84 | // nothing to do yet | |
85 | 355 | } else if (variableListHandler.getStartTag().equals(name)) { |
86 | 196 | changeHandler(variableListHandler, name, attributes); |
87 | 159 | } else if (formulaHandler.getStartTag().equals(name)) { |
88 | 159 | changeHandler(formulaHandler, name, attributes); |
89 | 0 | } else if (descriptionHandler.getStartTag().equals(name)) { |
90 | 0 | changeHandler(descriptionHandler, name, attributes); |
91 | } else { | |
92 | 0 | throw XmlSyntaxException.createUnexpectedTagException(name); |
93 | } | |
94 | } | |
95 | ||
96 | 783 | public final void endElement(final String name) throws XmlSyntaxException { |
97 | 783 | if (getStartTag().equals(name)) { |
98 | // nothing to do | |
99 | 569 | } else if ("LATEXPATTERN".equals(name)) { |
100 | 214 | definition.setLatexPattern(latexPattern); |
101 | 355 | } else if (variableListHandler.getStartTag().equals(name)) { |
102 | 196 | definition.setVariableList(variableListHandler.getVariables()); |
103 | 159 | } else if (formulaHandler.getStartTag().equals(name)) { |
104 | 159 | definition.setFormula(formulaHandler.getFormula()); |
105 | 0 | } else if (descriptionHandler.getStartTag().equals(name)) { |
106 | 0 | definition.setDescription(descriptionHandler.getLatexList()); |
107 | } else { | |
108 | 0 | throw XmlSyntaxException.createUnexpectedTagException(name); |
109 | } | |
110 | } | |
111 | ||
112 | 214 | public final void characters(final String name, final String data) { |
113 | 214 | if ("LATEXPATTERN".equals(name)) { |
114 | 214 | latexPattern = data; |
115 | } else { | |
116 | 0 | throw new RuntimeException("Unexpected character data in tag: " + name); |
117 | } | |
118 | } | |
119 | ||
120 | ||
121 | } |
|