public class RequiresAnnotationProcessor
extends AnnotationProcessorInternal AnnotationProcessor implementation for pre-conditions.
| Type Params | Return Type | Name and description |
|---|---|---|
|
public void |
process(ProcessingContextInformation processingContextInformation, Contract contract, ClassNode classNode, MethodNode methodNode, BlockStatement blockStatement, BooleanExpression booleanExpression)Adds the supplied precondition to the contract model for the given method or constructor. |
| Methods inherited from class | Name |
|---|---|
class AnnotationProcessor |
process, process |
Adds the supplied precondition to the contract model for the given method or constructor.
processingContextInformation - the current processing contextcontract - the mutable contract modelclassNode - the declaring classmethodNode - the annotated method or constructorblockStatement - the original precondition blockbooleanExpression - the normalized precondition expression