1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
package org.qedeq.kernel.bo.service.basis; |
17 |
|
|
18 |
|
import org.qedeq.base.trace.Trace; |
19 |
|
import org.qedeq.kernel.bo.module.InternalServiceJob; |
20 |
|
import org.qedeq.kernel.bo.module.KernelQedeqBo; |
21 |
|
import org.qedeq.kernel.bo.module.ModuleLabels; |
22 |
|
import org.qedeq.kernel.se.base.module.Axiom; |
23 |
|
import org.qedeq.kernel.se.base.module.ChangedRule; |
24 |
|
import org.qedeq.kernel.se.base.module.ChangedRuleList; |
25 |
|
import org.qedeq.kernel.se.base.module.FunctionDefinition; |
26 |
|
import org.qedeq.kernel.se.base.module.Import; |
27 |
|
import org.qedeq.kernel.se.base.module.Node; |
28 |
|
import org.qedeq.kernel.se.base.module.PredicateDefinition; |
29 |
|
import org.qedeq.kernel.se.base.module.Proposition; |
30 |
|
import org.qedeq.kernel.se.base.module.Rule; |
31 |
|
import org.qedeq.kernel.se.common.ModuleDataException; |
32 |
|
import org.qedeq.kernel.se.common.Service; |
33 |
|
import org.qedeq.kernel.se.common.SourceFileExceptionList; |
34 |
|
import org.qedeq.kernel.se.dto.module.NodeVo; |
35 |
|
|
36 |
|
|
37 |
|
|
38 |
|
@link |
39 |
|
|
40 |
|
@author |
41 |
|
|
|
|
| 90.7% |
Uncovered Elements: 4 (43) |
Complexity: 16 |
Complexity Density: 0.57 |
|
42 |
|
public final class ModuleLabelsCreator extends ControlVisitor { |
43 |
|
|
44 |
|
|
45 |
|
private static final Class CLASS = ModuleLabelsCreator.class; |
46 |
|
|
47 |
|
|
48 |
|
private ModuleLabels labels; |
49 |
|
|
50 |
|
|
51 |
|
private String nodeId = ""; |
52 |
|
|
53 |
|
|
54 |
|
|
55 |
|
|
56 |
|
@param |
57 |
|
@param |
58 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
59 |
648
|
public ModuleLabelsCreator(final Service service, final KernelQedeqBo prop) {... |
60 |
648
|
super(service, prop); |
61 |
|
} |
62 |
|
|
63 |
|
|
64 |
|
|
65 |
|
|
66 |
|
@param |
67 |
|
|
|
|
| 50% |
Uncovered Elements: 2 (4) |
Complexity: 2 |
Complexity Density: 0.5 |
|
68 |
514
|
public void visitEnter(final Import imp) {... |
69 |
514
|
try { |
70 |
514
|
this.labels.addLabel(getCurrentContext(), |
71 |
|
imp.getLabel()); |
72 |
|
} catch (ModuleDataException me) { |
73 |
0
|
addError(me); |
74 |
0
|
Trace.trace(CLASS, this, "visitEnter(Import)", me); |
75 |
|
} |
76 |
|
} |
77 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
78 |
3647
|
public void visitEnter(final Axiom axiom) {... |
79 |
3647
|
setBlocked(true); |
80 |
|
} |
81 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
82 |
9939
|
public void visitEnter(final Proposition proposition) {... |
83 |
9939
|
setBlocked(true); |
84 |
|
} |
85 |
|
|
86 |
|
|
87 |
|
|
88 |
|
|
89 |
|
@param |
90 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (2) |
Complexity: 1 |
Complexity Density: 0.5 |
|
91 |
2634
|
public void visitEnter(final FunctionDefinition funcDef) {... |
92 |
2634
|
setBlocked(true); |
93 |
|
|
94 |
2634
|
labels.addFunction(funcDef, getCurrentContext()); |
95 |
|
} |
96 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (2) |
Complexity: 1 |
Complexity Density: 0.5 |
|
97 |
1316
|
public void visitEnter(final PredicateDefinition predDef) {... |
98 |
1316
|
setBlocked(true); |
99 |
|
|
100 |
1316
|
labels.addPredicate(predDef, getCurrentContext()); |
101 |
|
} |
102 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (11) |
Complexity: 4 |
Complexity Density: 0.57 |
|
103 |
1909
|
public void visitEnter(final Rule rule) {... |
104 |
1909
|
setBlocked(true); |
105 |
|
|
106 |
1909
|
labels.addRule(nodeId, rule, getCurrentContext()); |
107 |
1909
|
if (rule.getChangedRuleList() != null) { |
108 |
11
|
final ChangedRuleList list = rule.getChangedRuleList(); |
109 |
99
|
for (int i = 0; i < list.size() && list.get(i) != null; i++) { |
110 |
88
|
final ChangedRule r = list.get(i); |
111 |
88
|
labels.addChangedRule(nodeId, rule, r, getCurrentContext()); |
112 |
|
} |
113 |
|
} |
114 |
|
} |
115 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
116 |
19834
|
public void visitEnter(final Node node) {... |
117 |
19834
|
nodeId = node.getId(); |
118 |
|
} |
119 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (6) |
Complexity: 2 |
Complexity Density: 0.33 |
|
120 |
19834
|
public void visitLeave(final Node node) {... |
121 |
19834
|
nodeId = ""; |
122 |
19834
|
try { |
123 |
19834
|
labels.addNode(getCurrentContext(), (NodeVo) node, getKernelQedeqBo(), |
124 |
|
getCurrentNumbers()); |
125 |
|
} catch (ModuleDataException me) { |
126 |
4
|
addError(me); |
127 |
4
|
Trace.trace(CLASS, this, "visitEnter(Node)", me); |
128 |
|
} |
129 |
19834
|
setBlocked(false); |
130 |
|
} |
131 |
|
|
132 |
|
|
133 |
|
|
134 |
|
|
135 |
|
@param |
136 |
|
@param |
137 |
|
@throws |
138 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (2) |
Complexity: 1 |
Complexity Density: 0.5 |
|
139 |
648
|
public void createLabels(final InternalServiceJob process, final ModuleLabels labels)... |
140 |
|
throws SourceFileExceptionList { |
141 |
648
|
this.labels = labels; |
142 |
648
|
traverse(process); |
143 |
|
} |
144 |
|
|
145 |
|
|
146 |
|
|
147 |
|
|
148 |
|
@return |
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
149 |
0
|
public ModuleLabels getLabels() {... |
150 |
0
|
return labels; |
151 |
|
} |
152 |
|
|
153 |
|
} |
154 |
|
|