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 Details

    • context

      protected final TypeCheckingContext context

    • debug

      protected boolean debug

    • handled

      protected boolean handled

  • Constructor Details

  • Method Details

    • setHandled

      public void setHandled(boolean handled)

    • newScope

      public AbstractTypeCheckingExtension.TypeCheckingScope newScope()

    • newScope

      public AbstractTypeCheckingExtension.TypeCheckingScope newScope(Closure code)

    • scopeExit

      public AbstractTypeCheckingExtension.TypeCheckingScope scopeExit()

    • getCurrentScope

      public AbstractTypeCheckingExtension.TypeCheckingScope getCurrentScope()

    • scopeExit

      public 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(@DelegatesTo(value=StaticTypeCheckingVisitor.class,strategy=1) @ClosureParams(value=SimpleType.class,options="org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor") 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()