public class EnsuresAnnotationProcessor extends AnnotationProcessor
Internal AnnotationProcessor implementation for post-conditions.
Type Params | Return Type | Name and description |
---|---|---|
|
public void |
process(ProcessingContextInformation processingContextInformation, Contract contract, ClassNode classNode, MethodNode methodNode, BlockStatement blockStatement, BooleanExpression booleanExpression) |
Methods inherited from class | Name |
---|---|
class AnnotationProcessor |
process, process |