1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
package org.qedeq.kernel.bo.logic.proof.checker; |
17 |
|
|
18 |
|
import org.qedeq.base.io.Version; |
19 |
|
import org.qedeq.kernel.bo.logic.common.LogicalCheckExceptionList; |
20 |
|
import org.qedeq.kernel.bo.logic.common.ReferenceResolver; |
21 |
|
import org.qedeq.kernel.bo.logic.proof.common.ProofChecker; |
22 |
|
import org.qedeq.kernel.bo.logic.proof.common.RuleChecker; |
23 |
|
import org.qedeq.kernel.se.base.list.Element; |
24 |
|
import org.qedeq.kernel.se.base.module.FormalProofLineList; |
25 |
|
import org.qedeq.kernel.se.base.module.Rule; |
26 |
|
import org.qedeq.kernel.se.common.ModuleContext; |
27 |
|
|
28 |
|
|
29 |
|
|
30 |
|
|
31 |
|
|
32 |
|
@author |
33 |
|
|
|
|
| 70% |
Uncovered Elements: 3 (10) |
Complexity: 3 |
Complexity Density: 0.43 |
|
34 |
|
public class ProofChecker0Impl implements ProofChecker { |
35 |
|
|
36 |
|
|
37 |
|
private final Version ruleVersion; |
38 |
|
|
39 |
|
|
40 |
|
|
41 |
|
|
42 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
43 |
3
|
public ProofChecker0Impl() {... |
44 |
3
|
this.ruleVersion = new Version("0.00.00"); |
45 |
|
} |
46 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (4) |
Complexity: 1 |
Complexity Density: 0.25 |
|
47 |
3
|
public LogicalCheckExceptionList checkProof(final Element formula,... |
48 |
|
final FormalProofLineList proof, |
49 |
|
final RuleChecker checker, |
50 |
|
final ModuleContext moduleContext, |
51 |
|
final ReferenceResolver resolver) { |
52 |
3
|
final ProofCheckException ex = new ProofCheckException( |
53 |
|
BasicProofErrors.NO_FORMAL_PROOFS_SUPORTED_CODE, |
54 |
|
BasicProofErrors.NO_FORMAL_PROOFS_SUPORTED_TEXT + ruleVersion, |
55 |
|
null, moduleContext, null); |
56 |
3
|
final LogicalCheckExceptionList exceptions = new LogicalCheckExceptionList(); |
57 |
3
|
exceptions.add(ex); |
58 |
3
|
return exceptions; |
59 |
|
} |
60 |
|
|
|
|
| 0% |
Uncovered Elements: 2 (2) |
Complexity: 1 |
Complexity Density: 0.5 |
|
61 |
0
|
public LogicalCheckExceptionList checkRule(final Rule rule,... |
62 |
|
final ModuleContext context, final RuleChecker checker, |
63 |
|
final ReferenceResolver resolver) { |
64 |
|
|
65 |
0
|
final LogicalCheckExceptionList exceptions = new LogicalCheckExceptionList(); |
66 |
0
|
return exceptions; |
67 |
|
} |
68 |
|
|
69 |
|
} |