[Java] Class TraitTypeCheckingExtension

  • org.codehaus.groovy.transform.stc.TraitTypeCheckingExtension

A type checking extension that will take care of handling errors which are specific to traits. In particular, it will handle the "super" method calls within a trait.

Since:
2.3.0
Inherited fields
Fields inherited from class Fields
class AbstractTypeCheckingExtension context, debug, handled
class TypeCheckingExtension typeCheckingVisitor

Constructor Summary

Constructors
Constructor and description
TraitTypeCheckingExtension (StaticTypeCheckingVisitor typeCheckingVisitor)
Builds a type checking extension relying on a Groovy script (type checking DSL).

Methods Summary

Methods
Type Params Return Type Name and description
List<MethodNode> handleMissingMethod(ClassNode receiver, String name, ArgumentListExpression argumentList, ClassNode[] argumentTypes, MethodCall call)
void setup()

Inherited Methods Summary

Inherited Methods
Methods inherited from class Name
class AbstractTypeCheckingExtension argTypeMatches, argTypeMatches, argTypesMatches, argTypesMatches, delegatesTo, delegatesTo, delegatesTo, firstArgTypesMatches, firstArgTypesMatches, getArguments, getCurrentScope, getEnclosingBinaryExpression, getEnclosingBinaryExpressionStack, getEnclosingClassNode, getEnclosingClassNodes, getEnclosingClosure, getEnclosingClosureStack, getEnclosingMethod, getEnclosingMethodCall, getEnclosingMethodCalls, getEnclosingMethods, getGeneratedMethods, isAnnotatedBy, isAnnotatedBy, isDynamic, isExtensionMethod, isGenerated, isMethodCall, log, makeDynamic, makeDynamic, makeDynamic, makeDynamic, makeDynamic, makeDynamic, newMethod, newMethod, newMethod, newScope, newScope, popEnclosingBinaryExpression, popEnclosingClassNode, popEnclosingClosure, popEnclosingMethod, popEnclosingMethodCall, popTemporaryTypeInfo, pushEnclosingBinaryExpression, pushEnclosingClassNode, pushEnclosingClosureExpression, pushEnclosingMethod, pushEnclosingMethodCall, pushTemporaryTypeInfo, safeCall, scopeExit, scopeExit, setHandled, unique, withTypeChecker
class 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
class Object wait, wait, wait, equals, toString, hashCode, getClass, notify, notifyAll

Constructor Detail

public TraitTypeCheckingExtension(StaticTypeCheckingVisitor typeCheckingVisitor)

Builds a type checking extension relying on a Groovy script (type checking DSL).

Parameters:
typeCheckingVisitor - the type checking visitor

Method Detail

@Override public List<MethodNode> handleMissingMethod(ClassNode receiver, String name, ArgumentListExpression argumentList, ClassNode[] argumentTypes, MethodCall call)

@Override public void setup()

© 2003-2020 The Apache Software Foundation
Licensed under the Apache license.
https://docs.groovy-lang.org/2.4.21/html/gapi/org/codehaus/groovy/transform/stc/TraitTypeCheckingExtension.html