Class DomainModelInjectionVisitor
- java.lang.Object
-
- org.codehaus.groovy.ast.CodeVisitorSupport
-
- org.codehaus.groovy.ast.ClassCodeVisitorSupport
-
- org.apache.groovy.contracts.ast.visitor.BaseVisitor
-
- org.apache.groovy.contracts.ast.visitor.DomainModelInjectionVisitor
-
- All Implemented Interfaces:
GroovyClassVisitor,GroovyCodeVisitor,ErrorCollecting
public class DomainModelInjectionVisitor extends BaseVisitor
- See Also:
Contract
-
-
Field Summary
-
Fields inherited from class org.apache.groovy.contracts.ast.visitor.BaseVisitor
CLOSURE_ATTRIBUTE_NAME, GCONTRACTS_ENABLED_VAR, source, sourceUnit
-
-
Constructor Summary
Constructors Constructor Description DomainModelInjectionVisitor(SourceUnit sourceUnit, ReaderSource source, ProcessingContextInformation pci)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidinjectClassInvariant(ClassNode type, ClassInvariant classInvariant)voidinjectPostcondition(MethodNode method, Postcondition postcondition)voidinjectPrecondition(MethodNode method, Precondition precondition)voidvisitClass(ClassNode type)Visit a ClassNode.-
Methods inherited from class org.apache.groovy.contracts.ast.visitor.BaseVisitor
getSourceUnit
-
Methods inherited from class org.codehaus.groovy.ast.ClassCodeVisitorSupport
addError, visitAnnotation, visitAnnotations, visitAssertStatement, visitBlockStatement, visitBreakStatement, visitCaseStatement, visitCatchStatement, visitClassCodeContainer, visitConstructor, visitConstructorOrMethod, visitContinueStatement, visitDeclarationExpression, visitDoWhileLoop, visitExpressionStatement, visitField, visitForLoop, visitIfElse, visitImports, visitMethod, visitObjectInitializerStatements, visitPackage, visitProperty, visitReturnStatement, visitStatement, visitSwitch, visitSynchronizedStatement, visitThrowStatement, visitTryCatchFinally, visitWhileLoop
-
Methods inherited from class org.codehaus.groovy.ast.CodeVisitorSupport
afterSwitchConditionExpressionVisited, visitArgumentlistExpression, visitArrayExpression, visitAttributeExpression, visitBinaryExpression, visitBitwiseNegationExpression, visitBooleanExpression, visitBytecodeExpression, visitCastExpression, visitClassExpression, visitClosureExpression, visitClosureListExpression, visitConstantExpression, visitConstructorCallExpression, visitEmptyStatement, visitFieldExpression, visitGStringExpression, visitLambdaExpression, visitListExpression, visitMapEntryExpression, visitMapExpression, visitMethodCallExpression, visitMethodPointerExpression, visitMethodReferenceExpression, visitNotExpression, visitPostfixExpression, visitPrefixExpression, visitPropertyExpression, visitRangeExpression, visitShortTernaryExpression, visitSpreadExpression, visitSpreadMapExpression, visitStaticMethodCallExpression, visitTernaryExpression, visitTupleExpression, visitUnaryMinusExpression, visitUnaryPlusExpression, visitVariableExpression
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.codehaus.groovy.ast.GroovyCodeVisitor
visitEmptyExpression, visitListOfExpressions
-
-
-
-
Constructor Detail
-
DomainModelInjectionVisitor
public DomainModelInjectionVisitor(SourceUnit sourceUnit, ReaderSource source, ProcessingContextInformation pci)
-
-
Method Detail
-
visitClass
public void visitClass(ClassNode type)
Description copied from interface:GroovyClassVisitorVisit a ClassNode.- Specified by:
visitClassin interfaceGroovyClassVisitor- Overrides:
visitClassin classClassCodeVisitorSupport
-
injectClassInvariant
public void injectClassInvariant(ClassNode type, ClassInvariant classInvariant)
-
injectPrecondition
public void injectPrecondition(MethodNode method, Precondition precondition)
-
injectPostcondition
public void injectPostcondition(MethodNode method, Postcondition postcondition)
-
-