Modifier and Type	Class and Description
public static class	TypeCheckingContext.EnclosingClosure Represents the context of an enclosing closure.

Field Summary

Modifier and Type	Field and Description
protected Set<MethodNode>	alreadyVisitedMethods
protected final IdentityHashMap<BlockStatement, Map<VariableExpression, List<ClassNode>>>	blockStatements2Types This field used for type derivation Check IfStatement matched pattern: Object var1; if (!(var1 instanceOf Runnable)){ return } // Here var1 instance of Runnable
protected final Map<VariableExpression, List<ClassNode>>	closureSharedVariablesAssignmentTypes A map used to store every type used in closure shared variable assignments.
protected CompilationUnit	compilationUnit
protected Map<Parameter, ClassNode>	controlStructureVariables
protected DelegationMetadata	delegationMetadata Whenever a method using a closure as argument (typically, "with") is detected, this list is updated with the receiver type of the with method.
protected final LinkedList<BinaryExpression>	enclosingBinaryExpressions
protected final LinkedList<BlockStatement>	enclosingBlocks
protected final LinkedList<ClassNode>	enclosingClassNodes
protected final LinkedList<TypeCheckingContext.EnclosingClosure>	enclosingClosures
protected final LinkedList<Expression>	enclosingMethodCalls
protected final LinkedList<MethodNode>	enclosingMethods
protected final LinkedList<ErrorCollector>	errorCollectors
protected Map<VariableExpression, List<ClassNode>>	ifElseForWhileAssignmentTracker This field is used to track assignments in if/else branches, for loops and while loops.
protected boolean	isInStaticContext
protected ClassNode	lastImplicitItType The type of the last encountered "it" implicit parameter.
protected Set<MethodNode>	methodsToBeVisited
protected final Set<Long>	reportedErrors
protected final LinkedHashSet<SecondPassExpression<T>>	secondPassExpressions Some expressions need to be visited twice, because type information may be insufficient at some point.
protected SourceUnit	source
protected final LinkedList<SwitchStatement>	switchStatements
protected Stack<Map<Object, List<ClassNode>>>	temporaryIfBranchTypeInformation Stores information which is only valid in the "if" branch of an if-then-else statement.
protected final StaticTypeCheckingVisitor	visitor

Constructor Summary

Access	Constructor and Description
public	TypeCheckingContext(final StaticTypeCheckingVisitor visitor)

Method Summary

Modifier and Type	Method and Description
public CompilationUnit	getCompilationUnit()
public BinaryExpression	getEnclosingBinaryExpression() Returns the binary expression which is on the top of the stack, or null if there's no such element.
public List<BinaryExpression>	getEnclosingBinaryExpressionStack() Returns the current stack of enclosing binary expressions.
public ClassNode	getEnclosingClassNode() Returns the class node which is on the top of the stack, or null if there's no such element.
public List<ClassNode>	getEnclosingClassNodes() Returns the current stack of enclosing classes.
public TypeCheckingContext.EnclosingClosure	getEnclosingClosure() Returns the closure expression which is on the top of the stack, or null if there's no such element.
public List<TypeCheckingContext.EnclosingClosure>	getEnclosingClosureStack() Returns the current stack of enclosing closure expressions.
public MethodNode	getEnclosingMethod() Returns the method node which is on the top of the stack, or null if there's no such element.
public Expression	getEnclosingMethodCall() Returns the method call which is on the top of the stack, or null if there's no such element.
public List<Expression>	getEnclosingMethodCalls() Returns the current stack of enclosing method calls.
public List<MethodNode>	getEnclosingMethods() Returns the current stack of enclosing methods.
public SwitchStatement	getEnclosingSwitchStatement() Returns the switch statement which is on the top of the stack, or null if there's no such element.
public List<SwitchStatement>	getEnclosingSwitchStatements() Returns the current stack of enclosing switch statements.
public ErrorCollector	getErrorCollector()
public List<ErrorCollector>	getErrorCollectors()
public SourceUnit	getSource()
public boolean	isTargetOfEnclosingAssignment(final Expression expression)
public BinaryExpression	popEnclosingBinaryExpression() Pops a binary expression from the binary expression stack.
public ClassNode	popEnclosingClassNode() Pops a class from the enclosing classes stack.
public TypeCheckingContext.EnclosingClosure	popEnclosingClosure() Pops a closure expression from the closure expression stack.
public MethodNode	popEnclosingMethod() Pops a method from the enclosing methods stack.
public Expression	popEnclosingMethodCall() Pops a method call from the enclosing method call stack.
public SwitchStatement	popEnclosingSwitchStatement() Pops a switch statement from the enclosing switch statements stack.
public ErrorCollector	popErrorCollector()
public void	popTemporaryTypeInfo()
public void	pushEnclosingBinaryExpression(final BinaryExpression binaryExpression) Pushes a binary expression into the binary expression stack.
public void	pushEnclosingClassNode(final ClassNode classNode) Pushes a class into the classes stack.
public void	pushEnclosingClosureExpression(final ClosureExpression closureExpression) Pushes a closure expression into the closure expression stack.
public void	pushEnclosingMethod(final MethodNode methodNode) Pushes a method into the method stack.
public void	pushEnclosingMethodCall(final Expression the call expression to be pushed, either a `MethodCallExpression` or a `StaticMethodCallExpression` call) Pushes a method call into the method call stack.
public void	pushEnclosingSwitchStatement(final SwitchStatement switchStatement) Pushes a switch statement into the switch statement stack.
public ErrorCollector	pushErrorCollector()
public void	pushErrorCollector(final ErrorCollector collector)
public void	pushTemporaryTypeInfo()
public void	setCompilationUnit(final CompilationUnit compilationUnit)

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Field Detail

alreadyVisitedMethods	back to summary
protected Set<MethodNode> alreadyVisitedMethods

blockStatements2Types	back to summary
protected final IdentityHashMap<BlockStatement, Map<VariableExpression, List<ClassNode>>> blockStatements2Types This field used for type derivation Check IfStatement matched pattern: Object var1; if (!(var1 instanceOf Runnable)){ return } // Here var1 instance of Runnable

closureSharedVariablesAssignmentTypes	back to summary
protected final Map<VariableExpression, List<ClassNode>> closureSharedVariablesAssignmentTypes A map used to store every type used in closure shared variable assignments. In a second pass, we will compute the LUB of each type and check that method calls on those variables are valid.

compilationUnit	back to summary
protected CompilationUnit compilationUnit

controlStructureVariables	back to summary
protected Map<Parameter, ClassNode> controlStructureVariables

delegationMetadata	back to summary
protected DelegationMetadata delegationMetadata Whenever a method using a closure as argument (typically, "with") is detected, this list is updated with the receiver type of the with method.

enclosingBinaryExpressions	back to summary
protected final LinkedList<BinaryExpression> enclosingBinaryExpressions

enclosingBlocks	back to summary
protected final LinkedList<BlockStatement> enclosingBlocks

enclosingClassNodes	back to summary
protected final LinkedList<ClassNode> enclosingClassNodes

enclosingClosures	back to summary
protected final LinkedList<TypeCheckingContext.EnclosingClosure> enclosingClosures

enclosingMethodCalls	back to summary
protected final LinkedList<Expression> enclosingMethodCalls

enclosingMethods	back to summary
protected final LinkedList<MethodNode> enclosingMethods

errorCollectors	back to summary
protected final LinkedList<ErrorCollector> errorCollectors

ifElseForWhileAssignmentTracker	back to summary
protected Map<VariableExpression, List<ClassNode>> ifElseForWhileAssignmentTracker This field is used to track assignments in if/else branches, for loops and while loops. For example, in the following code: `if (cond) { x = 1 } else { x = '123' }` the inferred type of x after the if/else statement should be the LUB of int and String.

isInStaticContext	back to summary
protected boolean isInStaticContext

lastImplicitItType	back to summary
protected ClassNode lastImplicitItType The type of the last encountered "it" implicit parameter.

methodsToBeVisited	back to summary
protected Set<MethodNode> methodsToBeVisited

reportedErrors	back to summary
protected final Set<Long> reportedErrors

secondPassExpressions	back to summary
protected final LinkedHashSet<SecondPassExpression<T>> secondPassExpressions Some expressions need to be visited twice, because type information may be insufficient at some point. For example, for closure shared variables, we need a first pass to collect every type which is assigned to a closure shared variable, then a second pass to ensure that every method call on such a variable is made on a LUB.

secondPassExpressions

back to summary

protected final LinkedHashSet<SecondPassExpression<T>> secondPassExpressions

Some expressions need to be visited twice, because type information may be insufficient at some point. For example, for closure shared variables, we need a first pass to collect every type which is assigned to a closure shared variable, then a second pass to ensure that every method call on such a variable is made on a LUB.

source	back to summary
protected SourceUnit source

switchStatements	back to summary
protected final LinkedList<SwitchStatement> switchStatements

temporaryIfBranchTypeInformation	back to summary
protected Stack<Map<Object, List<ClassNode>>> temporaryIfBranchTypeInformation Stores information which is only valid in the "if" branch of an if-then-else statement. This is used when the if condition expression makes use of an instanceof check

visitor	back to summary
protected final StaticTypeCheckingVisitor visitor

Constructor Detail

TypeCheckingContext	back to summary
public TypeCheckingContext(final StaticTypeCheckingVisitor visitor)

Method Detail

getCompilationUnit	back to summary
public CompilationUnit getCompilationUnit()

getEnclosingBinaryExpression	back to summary
public BinaryExpression getEnclosingBinaryExpression() Returns the binary expression which is on the top of the stack, or null if there's no such element.

getEnclosingBinaryExpressionStack	back to summary
public List<BinaryExpression> getEnclosingBinaryExpressionStack() Returns the current stack of enclosing binary expressions. The first element is the top of the stack.

getEnclosingClassNode	back to summary
public ClassNode getEnclosingClassNode() Returns the class node which is on the top of the stack, or null if there's no such element.

getEnclosingClassNodes	back to summary
public List<ClassNode> getEnclosingClassNodes() Returns the current stack of enclosing classes. The first element is the top of the stack, that is to say the currently visited class.

getEnclosingClosure	back to summary
public TypeCheckingContext.EnclosingClosure getEnclosingClosure() Returns the closure expression which is on the top of the stack, or null if there's no such element.

getEnclosingClosureStack	back to summary
public List<TypeCheckingContext.EnclosingClosure> getEnclosingClosureStack() Returns the current stack of enclosing closure expressions. The first element is the top of the stack.

getEnclosingMethod	back to summary
public MethodNode getEnclosingMethod() Returns the method node which is on the top of the stack, or null if there's no such element.

getEnclosingMethodCall	back to summary
public Expression getEnclosingMethodCall() Returns the method call which is on the top of the stack, or null if there's no such element.

getEnclosingMethodCalls	back to summary
public List<Expression> getEnclosingMethodCalls() Returns the current stack of enclosing method calls. The first element is the top of the stack, that is to say the currently visited method call.

getEnclosingMethods	back to summary
public List<MethodNode> getEnclosingMethods() Returns the current stack of enclosing methods. The first element is the top of the stack, that is to say the last visited method.

getEnclosingSwitchStatement	back to summary
public SwitchStatement getEnclosingSwitchStatement() Returns the switch statement which is on the top of the stack, or null if there's no such element.

getEnclosingSwitchStatements	back to summary
public List<SwitchStatement> getEnclosingSwitchStatements() Returns the current stack of enclosing switch statements. The first element is the top of the stack, that is to say the last visited switch statement.

getErrorCollector	back to summary
public ErrorCollector getErrorCollector()

getErrorCollectors	back to summary
public List<ErrorCollector> getErrorCollectors()

getSource	back to summary
public SourceUnit getSource()

isTargetOfEnclosingAssignment	back to summary
public boolean isTargetOfEnclosingAssignment(final Expression expression)

popEnclosingBinaryExpression	back to summary
public BinaryExpression popEnclosingBinaryExpression() Pops a binary expression from the binary expression stack.

popEnclosingClassNode	back to summary
public ClassNode popEnclosingClassNode() Pops a class from the enclosing classes stack.

popEnclosingClosure	back to summary
public TypeCheckingContext.EnclosingClosure popEnclosingClosure() Pops a closure expression from the closure expression stack.

popEnclosingMethod	back to summary
public MethodNode popEnclosingMethod() Pops a method from the enclosing methods stack.

popEnclosingMethodCall	back to summary
public Expression popEnclosingMethodCall() Pops a method call from the enclosing method call stack.

popEnclosingSwitchStatement	back to summary
public SwitchStatement popEnclosingSwitchStatement() Pops a switch statement from the enclosing switch statements stack.

popErrorCollector	back to summary
public ErrorCollector popErrorCollector()

popTemporaryTypeInfo	back to summary
public void popTemporaryTypeInfo()

pushEnclosingBinaryExpression	back to summary
public void pushEnclosingBinaryExpression(final BinaryExpression binaryExpression) Pushes a binary expression into the binary expression stack.

pushEnclosingClassNode	back to summary
public void pushEnclosingClassNode(final ClassNode classNode) Pushes a class into the classes stack.

pushEnclosingClosureExpression	back to summary
public void pushEnclosingClosureExpression(final ClosureExpression closureExpression) Pushes a closure expression into the closure expression stack.

pushEnclosingMethod	back to summary
public void pushEnclosingMethod(final MethodNode methodNode) Pushes a method into the method stack.

pushEnclosingMethodCall back to summary

public void pushEnclosingMethodCall(final Expression call)

Pushes a method call into the method call stack.

Parameters

call:Expression: the call expression to be pushed, either a MethodCallExpression or a StaticMethodCallExpression

pushEnclosingSwitchStatement	back to summary
public void pushEnclosingSwitchStatement(final SwitchStatement switchStatement) Pushes a switch statement into the switch statement stack.

pushErrorCollector	back to summary
public ErrorCollector pushErrorCollector()

pushErrorCollector	back to summary
public void pushErrorCollector(final ErrorCollector collector)

pushTemporaryTypeInfo	back to summary
public void pushTemporaryTypeInfo()

setCompilationUnit	back to summary
public void setCompilationUnit(final CompilationUnit compilationUnit)

org.codehaus.groovy.transform.stc back to summary

public Class TypeCheckingContext.EnclosingClosure

Class Inheritance

extends Object

java.lang.Object
org.codehaus.groovy.transform.stc.TypeCheckingContext.EnclosingClosure

Represents the context of an enclosing closure. An enclosing closure wraps a closure expression and the list of return types found in the closure body.

Field Summary

Modifier and Type	Field and Description
private final ClosureExpression	closureExpression
private final List<ClassNode>	returnTypes

Constructor Summary

Access	Constructor and Description
public	EnclosingClosure(final ClosureExpression closureExpression)

Method Summary

Modifier and Type	Method and Description
public void	addReturnType(final ClassNode type)
public ClosureExpression	getClosureExpression()
public List<ClassNode>	getReturnTypes()
public String	toString() Overrides java.lang.Object.toString. Returns a string representation of the object.

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll wait wait wait

Field Detail

closureExpression	back to summary
private final ClosureExpression closureExpression

returnTypes	back to summary
private final List<ClassNode> returnTypes

Constructor Detail

EnclosingClosure	back to summary
public EnclosingClosure(final ClosureExpression closureExpression)

Method Detail

addReturnType	back to summary
public void addReturnType(final ClassNode type)

getClosureExpression	back to summary
public ClosureExpression getClosureExpression()

getReturnTypes	back to summary
public List<ClassNode> getReturnTypes()

toString

back to summary

public String toString()

Overrides java.lang.Object.toString.

Doc from java.lang.Object.toString.

Returns a string representation of the object.

Returns:String

a string representation of the object.

Annotations

@Override

public Class TypeCheckingContext

Nested and Inner Type Summary

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

public Class TypeCheckingContext.EnclosingClosure

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail