|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
NodeHandler | Line # 33 | 55 | 25 | 96% |
0.96
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
(41) | |||
Result | |||
0.96
|
org.qedeq.kernel.bo.module.VisitorContextTest.testContext org.qedeq.kernel.bo.module.VisitorContextTest.testContext | 1 PASS | |
0.96
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration | 1 PASS | |
0.96
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq5 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq5 | 1 PASS | |
0.96
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration | 1 PASS | |
0.96
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration | 1 PASS | |
0.96
|
org.qedeq.kernel.bo.latex.ExtendedGenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.ExtendedGenerateLatexTest.testGeneration | 1 PASS | |
0.92
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq6 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq6 | 1 PASS | |
0.92
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq4 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq4 | 1 PASS | |
0.84
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 | 1 PASS | |
0.84
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 | 1 PASS | |
0.84
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 | 1 PASS | |
0.84
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 | 1 PASS | |
0.84
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 | 1 PASS | |
0.84
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 | 1 PASS | |
0.84
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 | 1 PASS | |
0.84
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 | 1 PASS | |
0.84
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 | 1 PASS | |
0.84
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 | 1 PASS | |
0.69
|
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse2 org.qedeq.kernel.xml.parser.QedeqParserTest.testParse2 | 1 PASS | |
0.6
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2 org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2 | 1 PASS | |
0.6
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1 org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1 | 1 PASS | |
0.56
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative02 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative02 | 1 PASS | |
0.56
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative04 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative04 | 1 PASS | |
0.56
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative03 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative03 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_08 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_08 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_06 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_06 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_05 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_05 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq3 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq3 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_07 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_07 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq2 org.qedeq.kernel.bo.control.QedeqBoFactoryTest.testCreateStringQedeq2 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_04 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_04 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative01 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative01 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_03 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_03 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_01 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_01 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative00 org.qedeq.kernel.bo.logic.wf.CheckLogicTest.testNegative00 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_09 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_09 | 1 PASS | |
0.11
|
org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_02 org.qedeq.kernel.bo.control.LoadRequiredModulesTest.testLoadRequiredModules_02 | 1 PASS | |
1 | /* $Id: NodeHandler.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.Node; | |
21 | import org.qedeq.kernel.dto.module.NodeVo; | |
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 | * Handles node data. | |
29 | * | |
30 | * @version $Revision: 1.1 $ | |
31 | * @author Michael Meyling | |
32 | */ | |
33 | public class NodeHandler extends AbstractSimpleHandler { | |
34 | ||
35 | /** Handler for node name. The node name is a visible, language specific node reference, | |
36 | * e.g. "Axiom of Choice" or "is set". */ | |
37 | private final LatexListHandler nameHandler; | |
38 | ||
39 | /** Handler for title. This is simply the title of this subsection. */ | |
40 | private final LatexListHandler titleHandler; | |
41 | ||
42 | /** Handler for the formula preceding text. */ | |
43 | private final LatexListHandler precedingHandler; | |
44 | ||
45 | /** Handler for the formula succeeding text. */ | |
46 | private final LatexListHandler succeedingHandler; | |
47 | ||
48 | /** Handler for an axiom. */ | |
49 | private final AxiomHandler axiomHandler; | |
50 | ||
51 | /** Handler for a predicate definition. */ | |
52 | private final PredicateDefinitionHandler predicateDefinitionHandler; | |
53 | ||
54 | /** Handler for a function definition. */ | |
55 | private final FunctionDefinitionHandler functionDefinitionHandler; | |
56 | ||
57 | /** Handler for a proposition. */ | |
58 | private final PropositionHandler propositionHandler; | |
59 | ||
60 | /** Handler for a rule. */ | |
61 | private final RuleHandler ruleHandler; | |
62 | ||
63 | /** Node value object. */ | |
64 | private NodeVo node; | |
65 | ||
66 | ||
67 | /** | |
68 | * Constructor. | |
69 | * | |
70 | * @param handler Parent handler. | |
71 | */ | |
72 | 140 | public NodeHandler(final AbstractSimpleHandler handler) { |
73 | 140 | super(handler, "NODE"); |
74 | 140 | nameHandler = new LatexListHandler(this, "NAME"); |
75 | 140 | titleHandler = new LatexListHandler(this, "TITLE"); |
76 | 140 | precedingHandler = new LatexListHandler(this, "PRECEDING"); |
77 | 140 | succeedingHandler = new LatexListHandler(this, "SUCCEEDING"); |
78 | 140 | axiomHandler = new AxiomHandler(this); |
79 | 140 | predicateDefinitionHandler = new PredicateDefinitionHandler(this); |
80 | 140 | functionDefinitionHandler = new FunctionDefinitionHandler(this); |
81 | 140 | propositionHandler = new PropositionHandler(this); |
82 | 140 | ruleHandler = new RuleHandler(this); |
83 | } | |
84 | ||
85 | 1184 | public final void init() { |
86 | 1184 | node = null; |
87 | } | |
88 | ||
89 | /** | |
90 | * Get node. | |
91 | * | |
92 | * @return Node. | |
93 | */ | |
94 | 1184 | public final Node getNode() { |
95 | 1184 | return node; |
96 | } | |
97 | ||
98 | 5009 | public final void startElement(final String name, final SimpleAttributes attributes) |
99 | throws XmlSyntaxException { | |
100 | 5009 | if (getStartTag().equals(name)) { |
101 | 1184 | node = new NodeVo(); |
102 | 1184 | node.setId(attributes.getString("id")); |
103 | 1184 | node.setLevel(attributes.getString("level")); |
104 | 3825 | } else if (nameHandler.getStartTag().equals(name)) { |
105 | 690 | changeHandler(nameHandler, name, attributes); |
106 | 3135 | } else if (titleHandler.getStartTag().equals(name)) { |
107 | 686 | changeHandler(titleHandler, name, attributes); |
108 | 2449 | } else if (precedingHandler.getStartTag().equals(name)) { |
109 | 1021 | changeHandler(precedingHandler, name, attributes); |
110 | 1428 | } else if (succeedingHandler.getStartTag().equals(name)) { |
111 | 244 | changeHandler(succeedingHandler, name, attributes); |
112 | 1184 | } else if (axiomHandler.getStartTag().equals(name)) { |
113 | 213 | changeHandler(axiomHandler, name, attributes); |
114 | 971 | } else if (predicateDefinitionHandler.getStartTag().equals(name)) { |
115 | 214 | changeHandler(predicateDefinitionHandler, name, attributes); |
116 | 757 | } else if (functionDefinitionHandler.getStartTag().equals(name)) { |
117 | 128 | changeHandler(functionDefinitionHandler, name, attributes); |
118 | 629 | } else if (propositionHandler.getStartTag().equals(name)) { |
119 | 513 | changeHandler(propositionHandler, name, attributes); |
120 | 116 | } else if (ruleHandler.getStartTag().equals(name)) { |
121 | 116 | changeHandler(ruleHandler, name, attributes); |
122 | } else { | |
123 | 0 | throw XmlSyntaxException.createUnexpectedTagException(name); |
124 | } | |
125 | } | |
126 | ||
127 | 5009 | public void endElement(final String name) throws XmlSyntaxException { |
128 | 5009 | if (getStartTag().equals(name)) { |
129 | // thats why we handle it | |
130 | 3825 | } else if (nameHandler.getStartTag().equals(name)) { |
131 | 690 | node.setName(nameHandler.getLatexList()); |
132 | 3135 | } else if (titleHandler.getStartTag().equals(name)) { |
133 | 686 | node.setTitle(titleHandler.getLatexList()); |
134 | 2449 | } else if (precedingHandler.getStartTag().equals(name)) { |
135 | 1021 | node.setPrecedingText(precedingHandler.getLatexList()); |
136 | 1428 | } else if (succeedingHandler.getStartTag().equals(name)) { |
137 | 244 | node.setSucceedingText(succeedingHandler.getLatexList()); |
138 | 1184 | } else if (axiomHandler.getStartTag().equals(name)) { |
139 | 213 | node.setNodeType(axiomHandler.getAxiom()); |
140 | 971 | } else if (predicateDefinitionHandler.getStartTag().equals(name)) { |
141 | 214 | node.setNodeType(predicateDefinitionHandler.getDefinition()); |
142 | 757 | } else if (functionDefinitionHandler.getStartTag().equals(name)) { |
143 | 128 | node.setNodeType(functionDefinitionHandler.getDefinition()); |
144 | 629 | } else if (propositionHandler.getStartTag().equals(name)) { |
145 | 513 | node.setNodeType(propositionHandler.getProposition()); |
146 | 116 | } else if (ruleHandler.getStartTag().equals(name)) { |
147 | 116 | node.setNodeType(ruleHandler.getRule()); |
148 | } else { | |
149 | 0 | throw XmlSyntaxException.createUnexpectedTagException(name); |
150 | } | |
151 | } | |
152 | ||
153 | } |
|