Field Detail

• 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. 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<BlockStatement> enclosingBlocks

• protected final LinkedList<ClassNode> enclosingClassNodes

• protected final LinkedList<EnclosingClosure> enclosingClosures

• protected final LinkedList<ConstructorCallExpression> enclosingConstructorCalls

• protected final LinkedList<Expression> enclosingMethodCalls

• protected final LinkedList<MethodNode> enclosingMethods

• protected final LinkedList<PropertyExpression> enclosingPropertyExpressions

• protected final LinkedList<ReturnStatement> enclosingReturnStatements

• 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

Property Detail

• CompilationUnit compilationUnit

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

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

  Returns:

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

• public List<ConstructorCallExpression> getEnclosingConstructorCalls()

  Returns the current stack of enclosing constructor calls. The first element is the top of the stack, that is to say the currently visited constructor call.

  Returns:

  an immutable list of enclosing constructor calls.

• 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 method calls. The first element is the top of the stack, that is to say the currently visited method call.

  Returns:

  an immutable list of enclosing method calls.

• 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 Expression getEnclosingPropertyExpression()

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

  Returns:

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

• public List<PropertyExpression> getEnclosingPropertyExpressions()

  Returns the current stack of property expressions. The first element is the top of the stack, that is to say the currently visited property expression.

  Returns:

  an immutable list of property expressions.

• public ReturnStatement getEnclosingReturnStatement()

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

  Returns:

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

• 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 ConstructorCallExpression popEnclosingConstructorCall()

  Pops a constructor call from the enclosing constructor call stack.

  Returns:

  the popped call

• 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 Expression popEnclosingPropertyExpression()

  Pops a property expression from the property expression stack.

  Returns:

  the popped property expression

• public ReturnStatement popEnclosingReturnStatement()

  Pops a return statement from the enclosing return statements stack.

  Returns:

  the popped return statement

• 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 pushEnclosingConstructorCall(ConstructorCallExpression call)

  Pushes a constructor call into the constructor call stack.

  Parameters:

  call - the call 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 pushEnclosingPropertyExpression(PropertyExpression propertyExpression)

  Pushes a property expression into the property expression stack.

  Parameters:

  propertyExpression - the property expression to be pushed

• public void pushEnclosingReturnStatement(ReturnStatement returnStatement)

  Pushes a return statement into the return statement stack.

  Parameters:

  returnStatement - the return statement to be pushed

• public void pushErrorCollector(ErrorCollector collector)

• public ErrorCollector pushErrorCollector()

• public void pushTemporaryTypeInfo()

• public void setCompilationUnit(CompilationUnit compilationUnit)