Package org.codehaus.groovy.transform.stc

## Class AbstractTypeCheckingExtension

- java.lang.Object
- - org.codehaus.groovy.transform.stc.TypeCheckingExtension
  - - org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension

- Direct Known Subclasses:
    `GroovyTypeCheckingExtensionSupport`, `TraitTypeCheckingExtension`

      public class AbstractTypeCheckingExtension
      extends TypeCheckingExtension

  Custom type checking extensions may extend this method in order to benefit from a lot of support methods.

  The methods found in this class are made directly available in type checking scripts through the `GroovyTypeCheckingExtensionSupport` class.

  Since:
    2.3.0

- - ### Field Summary

    Fields
    Modifier and Type | Field | Description
    --- | --- | ---
    `protected TypeCheckingContext` | `context` |
    `protected boolean` | `debug` |
    `protected boolean` | `handled` |

    - ### Fields inherited from class org.codehaus.groovy.transform.stc.TypeCheckingExtension

      `typeCheckingVisitor`

  - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `AbstractTypeCheckingExtension​(StaticTypeCheckingVisitor typeCheckingVisitor)` |

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `boolean` | `argTypeMatches​(ClassNode[] argTypes, int index, Class clazz)` |
    `boolean` | `argTypeMatches​(MethodCall call, int index, Class clazz)` |
    `boolean` | `argTypesMatches​(ClassNode[] argTypes, Class... classes)` |
    `boolean` | `argTypesMatches​(MethodCall call, Class... classes)` |
    `void` | `delegatesTo​(ClassNode type)` |
    `void` | `delegatesTo​(ClassNode type, int strategy)` |
    `void` | `delegatesTo​(ClassNode type, int strategy, org.codehaus.groovy.transform.stc.DelegationMetadata parent)` |
    `boolean` | `firstArgTypesMatches​(ClassNode[] argTypes, Class... classes)` |
    `boolean` | `firstArgTypesMatches​(MethodCall call, Class... classes)` |
    `ArgumentListExpression` | `getArguments​(MethodCall call)` |
    `org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope` | `getCurrentScope()` |
    `BinaryExpression` | `getEnclosingBinaryExpression()` |
    `List<BinaryExpression>` | `getEnclosingBinaryExpressionStack()` |
    `ClassNode` | `getEnclosingClassNode()` |
    `List<ClassNode>` | `getEnclosingClassNodes()` |
    `TypeCheckingContext.EnclosingClosure` | `getEnclosingClosure()` |
    `List<TypeCheckingContext.EnclosingClosure>` | `getEnclosingClosureStack()` |
    `MethodNode` | `getEnclosingMethod()` |
    `Expression` | `getEnclosingMethodCall()` |
    `List<Expression>` | `getEnclosingMethodCalls()` |
    `List<MethodNode>` | `getEnclosingMethods()` |
    `Set<MethodNode>` | `getGeneratedMethods()` |
    `boolean` | `isAnnotatedBy​(ASTNode node, Class annotation)` |
    `boolean` | `isAnnotatedBy​(ASTNode node, ClassNode annotation)` |
    `boolean` | `isDynamic​(VariableExpression var)` |
    `boolean` | `isExtensionMethod​(MethodNode node)` |
    `boolean` | `isGenerated​(MethodNode node)` |
    `boolean` | `isMethodCall​(Object o)` |
    `void` | `log​(String message)` |
    `MethodNode` | `makeDynamic​(MethodCall call)` | Used to instruct the type checker that the call is a dynamic method call.
    `MethodNode` | `makeDynamic​(MethodCall call, ClassNode returnType)` | Used to instruct the type checker that the call is a dynamic method call.
    `void` | `makeDynamic​(PropertyExpression pexp)` | Instructs the type checker that a property access is dynamic, returning an instance of an Object.
    `void` | `makeDynamic​(PropertyExpression pexp, ClassNode returnType)` | Instructs the type checker that a property access is dynamic.
    `void` | `makeDynamic​(VariableExpression vexp)` | Instructs the type checker that an unresolved variable is a dynamic variable of type Object.
    `void` | `makeDynamic​(VariableExpression vexp, ClassNode returnType)` | Instructs the type checker that an unresolved variable is a dynamic variable.
    `MethodNode` | `newMethod​(String name, Class returnType)` |
    `MethodNode` | `newMethod​(String name, Callable<ClassNode> returnType)` |
    `MethodNode` | `newMethod​(String name, ClassNode returnType)` |
    `org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope` | `newScope()` |
    `org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope` | `newScope​(Closure code)` |
    `BinaryExpression` | `popEnclosingBinaryExpression()` |
    `ClassNode` | `popEnclosingClassNode()` |
    `TypeCheckingContext.EnclosingClosure` | `popEnclosingClosure()` |
    `MethodNode` | `popEnclosingMethod()` |
    `Expression` | `popEnclosingMethodCall()` |
    `void` | `popTemporaryTypeInfo()` |
    `void` | `pushEnclosingBinaryExpression​(BinaryExpression binaryExpression)` |
    `void` | `pushEnclosingClassNode​(ClassNode classNode)` |
    `void` | `pushEnclosingClosureExpression​(ClosureExpression closureExpression)` |
    `void` | `pushEnclosingMethod​(MethodNode methodNode)` |
    `void` | `pushEnclosingMethodCall​(Expression call)` |
    `void` | `pushTemporaryTypeInfo()` |
    `protected Object` | `safeCall​(Closure closure, Object... args)` |
    `org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope` | `scopeExit()` |
    `org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope` | `scopeExit​(Closure code)` |
    `void` | `setHandled​(boolean handled)` |
    `List<MethodNode>` | `unique​(MethodNode node)` |
    `<R> R` | `withTypeChecker​(Closure<R> code)` |

    - ### Methods inherited from class org.codehaus.groovy.transform.stc.TypeCheckingExtension

      `addStaticTypeError, afterMethodCall, afterVisitClass, afterVisitMethod, beforeMethodCall, beforeVisitClass, beforeVisitMethod, buildListType, buildMapType, classNodeFor, classNodeFor, existsProperty, existsProperty, extractStaticReceiver, finish, getArgumentTypes, getTargetMethod, getType, handleAmbiguousMethods, handleIncompatibleAssignment, handleIncompatibleReturnType, handleMissingMethod, handleUnresolvedAttribute, handleUnresolvedProperty, handleUnresolvedVariableExpression, isStaticMethodCallOnClass, lookupClassNodeFor, onMethodSelection, parameterizedType, setup, storeType`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Field Detail

    - #### context

          protected final TypeCheckingContext context

    - #### handled

          protected boolean handled

    - #### debug

          protected boolean debug

  - ### Constructor Detail

    - #### AbstractTypeCheckingExtension

          public AbstractTypeCheckingExtension​(StaticTypeCheckingVisitor typeCheckingVisitor)

  - ### Method Detail

    - #### setHandled

          public void setHandled​(boolean handled)

    - #### newScope

          public org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope newScope()

    - #### newScope

          public org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope newScope​(Closure code)

    - #### scopeExit

          public org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope scopeExit()

    - #### getCurrentScope

          public org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope getCurrentScope()

    - #### scopeExit

          public org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope scopeExit​(Closure code)

    - #### isGenerated

          public boolean isGenerated​(MethodNode node)

    - #### unique

          public List<MethodNode> unique​(MethodNode node)

    - #### newMethod

          public MethodNode newMethod​(String name,
                                      Class returnType)

    - #### newMethod

          public MethodNode newMethod​(String name,
                                      ClassNode returnType)

    - #### newMethod

          public MethodNode newMethod​(String name,
                                      Callable<ClassNode> returnType)

    - #### delegatesTo

          public void delegatesTo​(ClassNode type)

    - #### delegatesTo

          public void delegatesTo​(ClassNode type,
                                  int strategy)

    - #### delegatesTo

          public void delegatesTo​(ClassNode type,
                                  int strategy,
                                  org.codehaus.groovy.transform.stc.DelegationMetadata parent)

    - #### isAnnotatedBy

          public boolean isAnnotatedBy​(ASTNode node,
                                       Class annotation)

    - #### isAnnotatedBy

          public boolean isAnnotatedBy​(ASTNode node,
                                       ClassNode annotation)

    - #### isDynamic

          public boolean isDynamic​(VariableExpression var)

    - #### isExtensionMethod

          public boolean isExtensionMethod​(MethodNode node)

    - #### getArguments

          public ArgumentListExpression getArguments​(MethodCall call)

    - #### safeCall

          protected Object safeCall​(Closure closure,
                                    Object... args)

    - #### isMethodCall

          public boolean isMethodCall​(Object o)

    - #### argTypesMatches

          public boolean argTypesMatches​(ClassNode[] argTypes,
                                         Class... classes)

    - #### argTypesMatches

          public boolean argTypesMatches​(MethodCall call,
                                         Class... classes)

    - #### firstArgTypesMatches

          public boolean firstArgTypesMatches​(ClassNode[] argTypes,
                                              Class... classes)

    - #### firstArgTypesMatches

          public boolean firstArgTypesMatches​(MethodCall call,
                                              Class... classes)

    - #### argTypeMatches

          public boolean argTypeMatches​(ClassNode[] argTypes,
                                        int index,
                                        Class clazz)

    - #### argTypeMatches

          public boolean argTypeMatches​(MethodCall call,
                                        int index,
                                        Class clazz)

    - #### withTypeChecker

          public <R> R withTypeChecker​(Closure<R> code)

    - #### makeDynamic

          public MethodNode makeDynamic​(MethodCall call)

      Used to instruct the type checker that the call is a dynamic method call. Calling this method automatically sets the handled flag to true. The expected return type of the dynamic method call is Object.
      Parameters:
        `call` - the method call which is a dynamic method call
      Returns:
        a virtual method node with the same name as the expected call

    - #### makeDynamic

          public MethodNode makeDynamic​(MethodCall call,
                                        ClassNode returnType)

      Used to instruct the type checker that the call is a dynamic method call. Calling this method automatically sets the handled flag to true.
      Parameters:
        `call` - the method call which is a dynamic method call
        `returnType` - the expected return type of the dynamic call
      Returns:
        a virtual method node with the same name as the expected call

    - #### makeDynamic

          public void makeDynamic​(PropertyExpression pexp)

      Instructs the type checker that a property access is dynamic, returning an instance of an Object. Calling this method automatically sets the handled flag to true.
      Parameters:
        `pexp` - the property or attribute expression

    - #### makeDynamic

          public void makeDynamic​(PropertyExpression pexp,
                                  ClassNode returnType)

      Instructs the type checker that a property access is dynamic. Calling this method automatically sets the handled flag to true.
      Parameters:
        `pexp` - the property or attribute expression
        `returnType` - the type of the property

    - #### makeDynamic

          public void makeDynamic​(VariableExpression vexp)

      Instructs the type checker that an unresolved variable is a dynamic variable of type Object. Calling this method automatically sets the handled flag to true.
      Parameters:
        `vexp` - the dynamic variable

    - #### makeDynamic

          public void makeDynamic​(VariableExpression vexp,
                                  ClassNode returnType)

      Instructs the type checker that an unresolved variable is a dynamic variable.
      Parameters:
        `returnType` - the type of the dynamic variable Calling this method automatically sets the handled flag to true.
        `vexp` - the dynamic variable

    - #### log

          public void log​(String message)

    - #### getEnclosingBinaryExpression

          public BinaryExpression getEnclosingBinaryExpression()

    - #### pushEnclosingBinaryExpression

          public void pushEnclosingBinaryExpression​(BinaryExpression binaryExpression)

    - #### pushEnclosingClosureExpression

          public void pushEnclosingClosureExpression​(ClosureExpression closureExpression)

    - #### getEnclosingMethodCall

          public Expression getEnclosingMethodCall()

    - #### popEnclosingMethodCall

          public Expression popEnclosingMethodCall()

    - #### popEnclosingMethod

          public MethodNode popEnclosingMethod()

    - #### getEnclosingClassNode

          public ClassNode getEnclosingClassNode()

    - #### getEnclosingMethods

          public List<MethodNode> getEnclosingMethods()

    - #### getEnclosingMethod

          public MethodNode getEnclosingMethod()

    - #### popTemporaryTypeInfo

          public void popTemporaryTypeInfo()

    - #### pushEnclosingClassNode

          public void pushEnclosingClassNode​(ClassNode classNode)

    - #### popEnclosingBinaryExpression

          public BinaryExpression popEnclosingBinaryExpression()

    - #### getEnclosingClassNodes

          public List<ClassNode> getEnclosingClassNodes()

    - #### getEnclosingClosureStack

          public List<TypeCheckingContext.EnclosingClosure> getEnclosingClosureStack()

    - #### popEnclosingClassNode

          public ClassNode popEnclosingClassNode()

    - #### pushEnclosingMethod

          public void pushEnclosingMethod​(MethodNode methodNode)

    - #### getGeneratedMethods

          public Set<MethodNode> getGeneratedMethods()

    - #### getEnclosingBinaryExpressionStack

          public List<BinaryExpression> getEnclosingBinaryExpressionStack()

    - #### getEnclosingClosure

          public TypeCheckingContext.EnclosingClosure getEnclosingClosure()

    - #### getEnclosingMethodCalls

          public List<Expression> getEnclosingMethodCalls()

    - #### pushEnclosingMethodCall

          public void pushEnclosingMethodCall​(Expression call)

    - #### popEnclosingClosure

          public TypeCheckingContext.EnclosingClosure popEnclosingClosure()

    - #### pushTemporaryTypeInfo

          public void pushTemporaryTypeInfo()