[Java] Class TypeCheckingContext

Field Detail

protected Set<MethodNode> alreadyVisitedMethods

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.

protected CompilationUnit compilationUnit

protected Map<Parameter, ClassNode> controlStructureVariables

protected DelegationMetadata delegationMetadata

protected final LinkedList<BinaryExpression> enclosingBinaryExpressions

protected final LinkedList<ClassNode> enclosingClassNodes

protected final LinkedList<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. 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, String)

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> 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.

protected SourceUnit source

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

protected final StaticTypeCheckingVisitor visitor

Constructor Detail

public TypeCheckingContext(StaticTypeCheckingVisitor staticTypeCheckingVisitor)

Method Detail

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.

Returns:

the binary expression on top of the stack, or null if no such element.

public List<BinaryExpression> getEnclosingBinaryExpressionStack()

Returns the current stack of enclosing binary expressions. The first element is the top of the stack.

Returns:

an immutable list of 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.

Returns:

the enclosing class on top of the stack, or null if no such element.

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.

Returns:

an immutable list of class nodes.

public TypeCheckingContext.EnclosingClosure getEnclosingClosure()

Returns the closure expression which is on the top of the stack, or null if there's no such element.

Returns:

the closure expression on top of the stack, or null if no such element.

public List<EnclosingClosure> getEnclosingClosureStack()

Returns the current stack of enclosing closure expressions. The first element is the top of the stack.

Returns:

an immutable list of 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.

Returns:

the enclosing method on top of the stack, or null if 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.

Returns:

the enclosing method call on top of the stack, or null if no such element.

public List<Expression> getEnclosingMethodCalls()

Returns the current stack of enclosing classes. The first element is the top of the stack, that is to say the currently visited class.

Returns:

an immutable list of class nodes.

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.

Returns:

an immutable list of method nodes.

public ErrorCollector getErrorCollector()

public List<ErrorCollector> getErrorCollectors()

public SourceUnit getSource()

public BinaryExpression popEnclosingBinaryExpression()

Pops a binary expression from the binary expression stack.

Returns:

the popped binary expression

public ClassNode popEnclosingClassNode()

Pops a class from the enclosing classes stack.

Returns:

the popped class

public TypeCheckingContext.EnclosingClosure popEnclosingClosure()

Pops a closure expression from the closure expression stack.

Returns:

the popped closure expression

public MethodNode popEnclosingMethod()

Pops a method from the enclosing methods stack.

Returns:

the popped method

public Expression popEnclosingMethodCall()

Pops a method call from the enclosing method call stack.

Returns:

the popped call

public ErrorCollector popErrorCollector()

public void popTemporaryTypeInfo()

public void pushEnclosingBinaryExpression(BinaryExpression binaryExpression)

Pushes a binary expression into the binary expression stack.

Parameters:

binaryExpression - the binary expression to be pushed

public void pushEnclosingClassNode(ClassNode classNode)

Pushes a class into the classes stack.

Parameters:

classNode - the class to be pushed

public void pushEnclosingClosureExpression(ClosureExpression closureExpression)

Pushes a closure expression into the closure expression stack.

Parameters:

closureExpression - the closure expression to be pushed

public void pushEnclosingMethod(MethodNode methodNode)

Pushes a method into the method stack.

Parameters:

methodNode - the method to be pushed

public void pushEnclosingMethodCall(Expression call)

Pushes a method call into the method call stack.

Parameters:

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

public void pushErrorCollector(ErrorCollector collector)

public ErrorCollector pushErrorCollector()

public void pushTemporaryTypeInfo()

public void setCompilationUnit(CompilationUnit compilationUnit)