Package org.codehaus.groovy.transform.stc
package org.codehaus.groovy.transform.stc
Static type checking transformation. Detects type errors at compile time.
-
ClassDescriptionCustom type checking extensions may extend this method in order to benefit from a lot of support methods.The default type checking handler is used by the standard type checker and doesn't handle any of the type checking errors by default.A type checking extension that will take care of handling errors which are specific to enums.This class is used to make extension methods lookup faster.Represents method nodes which are used by the static type checker to virtually add methods coming from
DGM-likemethods.Base class for type checking extensions written in Groovy.Event handler registration: setup Registers closure that runs after the type checker finishes initialization finish Registers closure that runs after the type checker completes type checking beforeVisitClass Registers closure that runs before type checking a class afterVisitClass Registers closure that runs after having finished the visit of a type checked class beforeVisitMethod Registers closure that runs before type checking a method body afterVisitMethod Registers closure that runs after type checking a method body beforeMethodCall Registers closure that runs before the type checker starts type checking a method call afterMethodCall Registers closure that runs once the type checker has finished type checking a method call methodNotFound Registers closure that runs when it fails to find an appropriate method for a method call ambiguousMethods Registers closure that runs when the type checker cannot choose between several candidate methods onMethodSelection Registers closure that runs when it finds a method appropriate for a method call unresolvedVariable Registers closure that runs when the type checker finds an unresolved variable unresolvedProperty Registers closure that runs when the type checker cannot find a property on the receiver unresolvedAttribute Registers closure that runs when the type checker cannot find an attribute on the receiver incompatibleAssignment Registers closure that runs when the type checker thinks that the right-hand side of an assignment is incompatible with the left-hand side incompatibleReturnType Registers closure that runs when the type checker thinks that a return value is incompatibe with the return type Expression categorization: isAnnotationConstantExpression Determines if argument is anAnnotationConstantExpressionisArgumentListExpression Determines if argument is anArgumentListExpressionisArrayExpression Determines if argument is anArrayExpressionisAttributeExpression Determines if argument is anAttributeExpressionisBinaryExpression Determines if argument is aBinaryExpressionisBitwiseNegationExpression Determines if argument is aBitwiseNegationExpressionisBooleanExpression Determines if argument is aBooleanExpressionisCastExpression Determines if argument is aCastExpressionisClassExpression Determines if argument is aClassExpressionisClosureExpression Determines if argument is aClosureExpressionisConstantExpression Determines if argument is aConstantExpressionisConstructorCallExpression Determines if argument is aConstructorCallExpressionisDeclarationExpression Determines if argument is aDeclarationExpressionisElvisOperatorExpression Determines if argument is anElvisOperatorExpressionisEmptyExpression Determines if argument is anEmptyExpressionisFieldExpression Determines if argument is aFieldExpressionisGStringExpression Determines if argument is aGStringExpressionisLambdaExpression Determines if argument is aLambdaExpressionisListExpression Determines if argument is aListExpressionisMapExpression Determines if argument is aMapExpressionisMapEntryExpression Determines if argument is aMapEntryExpressionisMethodCallExpression Determines if argument is aMethodCallExpressionisMethodPointerExpression Determines if argument is aMethodPointerExpressionisMethodReferenceExpression Determines if argument is aMethodReferenceExpressionisNamedArgumentListExpression Determines if argument is aNamedArgumentListExpressionisNotExpression Determines if argument is aNotExpressionisPostfixExpression Determines if argument is aPostfixExpressionisPrefixExpression Determines if argument is aPrefixExpressionisPropertyExpression Determines if argument is aPropertyExpressionisRangeExpression Determines if argument is aRangeExpressionisSpreadExpression Determines if argument is aSpreadExpressionisSpreadMapExpression Determines if argument is aSpreadMapExpressionisStaticMethodCallExpression Determines if argument is aStaticMethodCallExpressionisTernaryExpression Determines if argument is aTernaryExpressionisTupleExpression Determines if argument is aTupleExpressionisUnaryMinusExpression Determines if argument is aUnaryMinusExpressionisUnaryPlusExpression Determines if argument is aUnaryPlusExpressionisVariableExpression Determines if argument is aVariableExpressionGeneral utility: Delegates toAbstractTypeCheckingExtensionImports static members ofClassHelperImports static members ofStaticTypeCheckingSupportReceiver<T>A visitor which collects the list of variable expressions which are closure shared.A signature codec is responsible for encoding and decoding of inferred returned types as stored in bytecode.First implementation of an inferred type signature codec.Support methods forStaticTypeCheckingVisitor.A DGM-like class which adds support for method calls which are handled by the Groovy compiler.The main class code visitor responsible for static type checking.This enumeration is used by the AST transformations which rely on static type checking, either to store or to retrieve information from AST node metadata.An extension that handles field, super and static method calls within a trait.Represents the context of an enclosing closure.This interface defines a high-level API for handling type checking errors.