TraitTypeCheckingExtension (groovy 2.5.14 API)

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

- 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()

Summary:
Constructor
Method

| Detail:
Constructor
Method

[Java] Class TraitTypeCheckingExtension

Constructor Summary

Methods Summary

Inherited Methods Summary

Constructor Detail

public TraitTypeCheckingExtension(StaticTypeCheckingVisitor typeCheckingVisitor)

Method Detail

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

@Override public void setup()