| AlwaysTrue |
Pattern, rule or similar that is always satisfied.
|
| Equivalence |
Object type that indicates a equivalence between two objects.
|
| Gap |
|
| Incompatibility |
Object type that indicates an incompatibility between two objects.
|
| MessageType |
|
| MissingNumberPattern |
|
| MissingRange |
|
| Opposites |
Object type that indicates an opposity between two objects.
|
| Overlap |
Object type that indicates an overlap between two objects.
|
| PartialRedundancy |
Partial redundancy between left and right.
|
| ReasonType |
|
| Redundancy |
Object type that indicates a redundancy between two objects.
|
| Severity |
|
| Subsumption |
Object type that indicates a subsumption between two objects.
|
| VerifierMessage |
|
| VerifierMessageBase |
|
| VerifierRangeCheckMessage |
|