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 |