Package: org.apache.groovy.contracts.ast.visitor

## [Java] Class DomainModelInjectionVisitor

- org.apache.groovy.contracts.ast.visitor.DomainModelInjectionVisitor

-     public class DomainModelInjectionVisitor
      extends BaseVisitor

  Visits the given ClassNode and injects the current Contract into the given AST nodes.

  See Also:
    Contract

- - 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`

- - ### Constructor Detail

    - #### public DomainModelInjectionVisitor(SourceUnit sourceUnit, ReaderSource source, ProcessingContextInformation pci)

      Creates a visitor that materializes the accumulated contract domain model back into AST nodes.

      Parameters:
        `sourceUnit` - the source unit currently being transformed
        `source` - the reader source backing the source unit
        `pci` - per-class processing context shared across the contracts pipeline

  - ### Method Detail

    - #### public void injectClassInvariant(ClassNode type, ClassInvariant classInvariant)

      Generates AST support for the supplied class invariant.

      Parameters:
        `type` - the class that should receive the invariant
        `classInvariant` - the invariant to inject

    - #### public void injectPostcondition(MethodNode method, Postcondition postcondition)

      Generates AST support for the supplied postcondition.

      Parameters:
        `method` - the method that should receive the postcondition
        `postcondition` - the postcondition to inject

    - #### public void injectPrecondition(MethodNode method, Precondition precondition)

      Generates AST support for the supplied precondition.

      Parameters:
        `method` - the method that should receive the precondition
        `precondition` - the precondition to inject

    - #### public void visitClass(ClassNode type)

      Injects all contract elements currently present in the domain model into the supplied class.

      Parameters:
        `type` - the class to update