public interface WordVerification
All methods will either return true in case the assertion holds or throw an exception if
it does not. Users are not supposed to catch the exception and make decisions based on it. This
is a debugging tool. Only use it for assertions and verification.
WordTypes in CoreProviders. Word values
must be transformed to other types at the very beginning of the pipeline (i.e., during graph
building). WordVerification is used to detect when this invariant is violated and to
issue proper error messages.| Modifier and Type | Method and Description |
|---|---|
boolean |
guaranteeNotWord(JavaType type)
Verifies that a given type is not a word type.
|
boolean |
guaranteeWord(JavaType type)
Verifies that a given type is a word type.
|
boolean guaranteeWord(JavaType type)
trueError - if the assertion does not holdboolean guaranteeNotWord(JavaType type)
trueError - if the assertion does not hold