public static class ContractsUtils.PreOrPostcondition extends Object
BaseTypeVisitor
or one of its subclasses. Automatically
extracted from annotations with meta-annotations
@PreconditionAnnotation
or @PostconditionAnnotation
,
such as @RequiresNonNull
and @EnsuresNonNull
.
Can also be generated, such as in
LockVisitor.generatePreconditionsBasedOnGuards
.Modifier and Type | Field and Description |
---|---|
String |
annotationString
The name of the qualifier class that describes the condition that
must hold.
|
String |
expression
The expression for which the condition must hold, such as
"foo" in @RequiresNonNull("foo") . |
Constructor and Description |
---|
PreOrPostcondition(String expression,
String annotationString) |