|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
Cause | Cause for a Reason. |
Reason | Reason why something is wrong. |
Class Summary | |
---|---|
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 |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |