1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
package org.qedeq.kernel.se.state; |
17 |
|
|
18 |
|
import org.qedeq.kernel.se.common.State; |
19 |
|
|
20 |
|
|
21 |
|
|
22 |
|
|
23 |
|
|
24 |
|
@author |
25 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (2) |
Complexity: 1 |
Complexity Density: 1 |
|
26 |
|
public final class FormallyProvedState extends AbstractState implements State { |
27 |
|
|
28 |
|
|
29 |
|
public static final FormallyProvedState STATE_UNCHECKED |
30 |
|
= new FormallyProvedState(WellFormedStateDescriptions.STATE_STRING_UNCHECKED, |
31 |
|
false, FormallyProvedStateDescriptions.STATE_CODE_UNCHECKED); |
32 |
|
|
33 |
|
|
34 |
|
public static final FormallyProvedState STATE_EXTERNAL_CHECKING |
35 |
|
= new FormallyProvedState(WellFormedStateDescriptions.STATE_STRING_EXTERNAL_CHECKING, |
36 |
|
false, FormallyProvedStateDescriptions.STATE_CODE_EXTERNAL_CHECKING); |
37 |
|
|
38 |
|
|
39 |
|
public static final FormallyProvedState STATE_EXTERNAL_CHECKING_FAILED |
40 |
|
= new FormallyProvedState( |
41 |
|
FormallyProvedStateDescriptions.STATE_STRING_EXTERNAL_CHECKING_FAILED, |
42 |
|
true, FormallyProvedStateDescriptions.STATE_CODE_EXTERNAL_CHECKING_FAILED); |
43 |
|
|
44 |
|
|
45 |
|
public static final FormallyProvedState STATE_INTERNAL_CHECKING |
46 |
|
= new FormallyProvedState(FormallyProvedStateDescriptions.STATE_STRING_INTERNAL_CHECKING, |
47 |
|
false, FormallyProvedStateDescriptions.STATE_CODE_INTERNAL_CHECKING); |
48 |
|
|
49 |
|
|
50 |
|
public static final FormallyProvedState STATE_INTERNAL_CHECKING_FAILED |
51 |
|
= new FormallyProvedState( |
52 |
|
FormallyProvedStateDescriptions.STATE_STRING_INTERNAL_CHECKING_FAILED, |
53 |
|
true, FormallyProvedStateDescriptions.STATE_CODE_INTERNAL_CHECKING_FAILED); |
54 |
|
|
55 |
|
|
56 |
|
|
57 |
|
public static final FormallyProvedState STATE_CHECKED |
58 |
|
= new FormallyProvedState(FormallyProvedStateDescriptions.STATE_STRING_COMPLETELY_CHECKED, |
59 |
|
false, FormallyProvedStateDescriptions.STATE_CODE_COMPLETELY_CHECKED); |
60 |
|
|
61 |
|
|
62 |
|
|
63 |
|
|
64 |
|
@param |
65 |
|
@param |
66 |
|
@param |
67 |
|
@throws |
68 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
69 |
12
|
private FormallyProvedState(final String text, final boolean failure, final int code) {... |
70 |
12
|
super(text, failure, code); |
71 |
|
} |
72 |
|
|
73 |
|
} |