Inherited fields 

Fields inherited from class	Fields
class BaseVisitor	GCONTRACTS_ENABLED_VAR, sourceUnit

Constructor Summary

Constructors 

Constructor and description
DomainModelInjectionVisitor(SourceUnit sourceUnit, ReaderSource source, ProcessingContextInformation pci) Creates a visitor that materializes the accumulated contract domain model back into AST nodes.

Methods Summary

Methods 

Type Params	Return Type	Name and description
	public void	injectClassInvariant(ClassNode type, ClassInvariant classInvariant) Generates AST support for the supplied class invariant.
	public void	injectPostcondition(MethodNode method, Postcondition postcondition) Generates AST support for the supplied postcondition.
	public void	injectPrecondition(MethodNode method, Precondition precondition) Generates AST support for the supplied precondition.
	public void	visitClass(ClassNode type) Injects all contract elements currently present in the domain model into the supplied class.

Inherited Methods Summary

Inherited Methods 

Methods inherited from class	Name
class BaseVisitor	asConditionExecution, getOriginalCondition, getReplacedCondition, getSourceUnit, replaceCondition
class ClassCodeVisitorSupport	addError, getSourceUnit, visitAnnotation, visitAnnotations, visitAnnotations, visitAssertStatement, visitBlockStatement, visitBreakStatement, visitCaseStatement, visitCatchStatement, visitClass, visitClassCodeContainer, visitClosureExpression, visitConstructor, visitConstructorOrMethod, visitContinueStatement, visitDeclarationExpression, visitDoWhileLoop, visitExpressionStatement, visitField, visitForLoop, visitIfElse, visitImports, visitMethod, visitObjectInitializerStatements, visitPackage, visitProperty, visitReturnStatement, visitStatement, visitStatementAnnotations, visitSwitch, visitSynchronizedStatement, visitThrowStatement, visitTryCatchFinally, visitWhileLoop
class CodeVisitorSupport	afterSwitchCaseStatementsVisited, afterSwitchConditionExpressionVisited, visitArgumentlistExpression, visitArrayExpression, visitAssertStatement, visitAttributeExpression, visitBinaryExpression, visitBitwiseNegationExpression, visitBlockStatement, visitBooleanExpression, visitBreakStatement, visitBytecodeExpression, visitCaseStatement, visitCastExpression, visitCatchStatement, visitClassExpression, visitClosureExpression, visitClosureListExpression, visitConstantExpression, visitConstructorCallExpression, visitContinueStatement, visitDeclarationExpression, visitDoWhileLoop, visitEmptyStatement, visitExpressionStatement, visitFieldExpression, visitForLoop, visitGStringExpression, visitIfElse, visitLambdaExpression, visitListExpression, visitMapEntryExpression, visitMapExpression, visitMethodCallExpression, visitMethodPointerExpression, visitMethodReferenceExpression, visitNotExpression, visitPostfixExpression, visitPrefixExpression, visitPropertyExpression, visitRangeExpression, visitReturnStatement, visitShortTernaryExpression, visitSpreadExpression, visitSpreadMapExpression, visitStaticMethodCallExpression, visitSwitch, visitSynchronizedStatement, visitTernaryExpression, visitThrowStatement, visitTryCatchFinally, visitTupleExpression, visitUnaryMinusExpression, visitUnaryPlusExpression, visitVariableExpression, visitWhileLoop