1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
package org.qedeq.kernel.xml.handler.module; |
17 |
|
|
18 |
|
import org.qedeq.kernel.se.base.module.Node; |
19 |
|
import org.qedeq.kernel.se.dto.module.NodeVo; |
20 |
|
import org.qedeq.kernel.xml.common.XmlSyntaxException; |
21 |
|
import org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler; |
22 |
|
import org.qedeq.kernel.xml.handler.common.SimpleAttributes; |
23 |
|
|
24 |
|
|
25 |
|
|
26 |
|
|
27 |
|
|
28 |
|
@author |
29 |
|
|
|
|
| 96.6% |
Uncovered Elements: 4 (118) |
Complexity: 29 |
Complexity Density: 0.45 |
|
30 |
|
public class NodeHandler extends AbstractSimpleHandler { |
31 |
|
|
32 |
|
|
33 |
|
|
34 |
|
private final LatexListHandler nameHandler; |
35 |
|
|
36 |
|
|
37 |
|
private final LatexListHandler titleHandler; |
38 |
|
|
39 |
|
|
40 |
|
private final LatexListHandler precedingHandler; |
41 |
|
|
42 |
|
|
43 |
|
private final LatexListHandler succeedingHandler; |
44 |
|
|
45 |
|
|
46 |
|
private final AxiomHandler axiomHandler; |
47 |
|
|
48 |
|
|
49 |
|
private final InitialPredicateDefinitionHandler initialPredicateDefinitionHandler; |
50 |
|
|
51 |
|
|
52 |
|
private final PredicateDefinitionHandler predicateDefinitionHandler; |
53 |
|
|
54 |
|
|
55 |
|
private final FunctionDefinitionHandler functionDefinitionHandler; |
56 |
|
|
57 |
|
|
58 |
|
private final InitialFunctionDefinitionHandler initialFunctionDefinitionHandler; |
59 |
|
|
60 |
|
|
61 |
|
private final PropositionHandler propositionHandler; |
62 |
|
|
63 |
|
|
64 |
|
private final RuleHandler ruleHandler; |
65 |
|
|
66 |
|
|
67 |
|
private NodeVo node; |
68 |
|
|
69 |
|
|
70 |
|
|
71 |
|
|
72 |
|
|
73 |
|
@param |
74 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (12) |
Complexity: 1 |
Complexity Density: 0.08 |
|
75 |
147
|
public NodeHandler(final AbstractSimpleHandler handler) {... |
76 |
147
|
super(handler, "NODE"); |
77 |
147
|
nameHandler = new LatexListHandler(this, "NAME"); |
78 |
147
|
titleHandler = new LatexListHandler(this, "TITLE"); |
79 |
147
|
precedingHandler = new LatexListHandler(this, "PRECEDING"); |
80 |
147
|
succeedingHandler = new LatexListHandler(this, "SUCCEEDING"); |
81 |
147
|
axiomHandler = new AxiomHandler(this); |
82 |
147
|
initialPredicateDefinitionHandler = new InitialPredicateDefinitionHandler(this); |
83 |
147
|
predicateDefinitionHandler = new PredicateDefinitionHandler(this); |
84 |
147
|
functionDefinitionHandler = new FunctionDefinitionHandler(this); |
85 |
147
|
initialFunctionDefinitionHandler = new InitialFunctionDefinitionHandler(this); |
86 |
147
|
propositionHandler = new PropositionHandler(this); |
87 |
147
|
ruleHandler = new RuleHandler(this); |
88 |
|
} |
89 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
90 |
563
|
public final void init() {... |
91 |
563
|
node = null; |
92 |
|
} |
93 |
|
|
94 |
|
|
95 |
|
|
96 |
|
|
97 |
|
@return |
98 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
99 |
563
|
public final Node getNode() {... |
100 |
563
|
return node; |
101 |
|
} |
102 |
|
|
|
|
| 96.1% |
Uncovered Elements: 2 (51) |
Complexity: 13 |
Complexity Density: 0.48 |
|
103 |
2350
|
public final void startElement(final String name, final SimpleAttributes attributes)... |
104 |
|
throws XmlSyntaxException { |
105 |
2350
|
if (getStartTag().equals(name)) { |
106 |
563
|
node = new NodeVo(); |
107 |
563
|
node.setId(attributes.getString("id")); |
108 |
563
|
node.setLevel(attributes.getString("level")); |
109 |
1787
|
} else if (nameHandler.getStartTag().equals(name)) { |
110 |
361
|
changeHandler(nameHandler, name, attributes); |
111 |
1426
|
} else if (titleHandler.getStartTag().equals(name)) { |
112 |
353
|
changeHandler(titleHandler, name, attributes); |
113 |
1073
|
} else if (precedingHandler.getStartTag().equals(name)) { |
114 |
370
|
changeHandler(precedingHandler, name, attributes); |
115 |
703
|
} else if (succeedingHandler.getStartTag().equals(name)) { |
116 |
140
|
changeHandler(succeedingHandler, name, attributes); |
117 |
563
|
} else if (axiomHandler.getStartTag().equals(name)) { |
118 |
145
|
changeHandler(axiomHandler, name, attributes); |
119 |
418
|
} else if (initialPredicateDefinitionHandler.getStartTag().equals(name)) { |
120 |
57
|
changeHandler(initialPredicateDefinitionHandler, name, attributes); |
121 |
361
|
} else if (predicateDefinitionHandler.getStartTag().equals(name)) { |
122 |
50
|
changeHandler(predicateDefinitionHandler, name, attributes); |
123 |
311
|
} else if (functionDefinitionHandler.getStartTag().equals(name)) { |
124 |
37
|
changeHandler(functionDefinitionHandler, name, attributes); |
125 |
274
|
} else if (initialFunctionDefinitionHandler.getStartTag().equals(name)) { |
126 |
1
|
changeHandler(initialFunctionDefinitionHandler, name, attributes); |
127 |
273
|
} else if (propositionHandler.getStartTag().equals(name)) { |
128 |
205
|
changeHandler(propositionHandler, name, attributes); |
129 |
68
|
} else if (ruleHandler.getStartTag().equals(name)) { |
130 |
68
|
changeHandler(ruleHandler, name, attributes); |
131 |
|
} else { |
132 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
133 |
|
} |
134 |
|
} |
135 |
|
|
|
|
| 95.8% |
Uncovered Elements: 2 (48) |
Complexity: 13 |
Complexity Density: 0.54 |
|
136 |
2350
|
public void endElement(final String name) throws XmlSyntaxException {... |
137 |
2350
|
if (getStartTag().equals(name)) { |
138 |
|
|
139 |
1787
|
} else if (nameHandler.getStartTag().equals(name)) { |
140 |
361
|
node.setName(nameHandler.getLatexList()); |
141 |
1426
|
} else if (titleHandler.getStartTag().equals(name)) { |
142 |
353
|
node.setTitle(titleHandler.getLatexList()); |
143 |
1073
|
} else if (precedingHandler.getStartTag().equals(name)) { |
144 |
370
|
node.setPrecedingText(precedingHandler.getLatexList()); |
145 |
703
|
} else if (succeedingHandler.getStartTag().equals(name)) { |
146 |
140
|
node.setSucceedingText(succeedingHandler.getLatexList()); |
147 |
563
|
} else if (axiomHandler.getStartTag().equals(name)) { |
148 |
145
|
node.setNodeType(axiomHandler.getAxiom()); |
149 |
418
|
} else if (initialPredicateDefinitionHandler.getStartTag().equals(name)) { |
150 |
57
|
node.setNodeType(initialPredicateDefinitionHandler.getInitialDefinition()); |
151 |
361
|
} else if (predicateDefinitionHandler.getStartTag().equals(name)) { |
152 |
50
|
node.setNodeType(predicateDefinitionHandler.getDefinition()); |
153 |
311
|
} else if (functionDefinitionHandler.getStartTag().equals(name)) { |
154 |
37
|
node.setNodeType(functionDefinitionHandler.getDefinition()); |
155 |
274
|
} else if (initialFunctionDefinitionHandler.getStartTag().equals(name)) { |
156 |
1
|
node.setNodeType(initialFunctionDefinitionHandler.getDefinition()); |
157 |
273
|
} else if (propositionHandler.getStartTag().equals(name)) { |
158 |
205
|
node.setNodeType(propositionHandler.getProposition()); |
159 |
68
|
} else if (ruleHandler.getStartTag().equals(name)) { |
160 |
68
|
node.setNodeType(ruleHandler.getRule()); |
161 |
|
} else { |
162 |
0
|
throw XmlSyntaxException.createUnexpectedTagException(name); |
163 |
|
} |
164 |
|
} |
165 |
|
|
166 |
|
} |