org.checkerframework.framework.type

Class VisitorState

java.lang.Object

org.checkerframework.framework.type.VisitorState

public class VisitorState
extends Object

Represents the state of a visitor. Stores the relevant information to find the type of 'this' in the visitor.

Constructor Summary

Constructors

Constructor and Description
VisitorState()

Method Summary

Modifier and Type	Method and Description
Pair<Tree,AnnotatedTypeMirror>	getAssignmentContext() Returns the assignment context.
ClassTree	getClassTree() Returns the class tree currently visiting.
AnnotatedTypeMirror.AnnotatedDeclaredType	getClassType() Returns the type of the enclosing class.
AnnotatedTypeMirror.AnnotatedDeclaredType	getMethodReceiver() Returns the method receiver type of the enclosing method.
MethodTree	getMethodTree() Returns the method tree currently visiting.
TreePath	getPath() Returns the current path for the visitor.
void	setAssignmentContext(Pair<Tree,AnnotatedTypeMirror> assignmentContext) Updates the assignment context.
void	setClassTree(ClassTree ct) Updates the tree of the class currently visited.
void	setClassType(AnnotatedTypeMirror.AnnotatedDeclaredType act) Updates the type of the class currently visited.
void	setMethodReceiver(AnnotatedTypeMirror.AnnotatedDeclaredType mrt) Updates the method receiver type currently visited.
void	setMethodTree(MethodTree mt) Updates the method currently visited.
void	setPath(TreePath path) Sets the current path for the visitor.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

VisitorState

public VisitorState()

Method Detail

setClassType

public void setClassType(AnnotatedTypeMirror.AnnotatedDeclaredType act)

Updates the type of the class currently visited.

setClassTree

public void setClassTree(ClassTree ct)

Updates the tree of the class currently visited.

setMethodReceiver

public void setMethodReceiver(AnnotatedTypeMirror.AnnotatedDeclaredType mrt)

Updates the method receiver type currently visited.

setMethodTree

public void setMethodTree(MethodTree mt)

Updates the method currently visited.

setAssignmentContext

public void setAssignmentContext(Pair<Tree,AnnotatedTypeMirror> assignmentContext)

Updates the assignment context.

Parameters:

assignmentContext - the new assignment context to use

setPath

public void setPath(TreePath path)

Sets the current path for the visitor.

getClassType

public AnnotatedTypeMirror.AnnotatedDeclaredType getClassType()

Returns the type of the enclosing class.

Returns:

the type of the enclosing class

getClassTree

public ClassTree getClassTree()

Returns the class tree currently visiting.

Returns:

the class tree currently visiting

getMethodReceiver

public AnnotatedTypeMirror.AnnotatedDeclaredType getMethodReceiver()

Returns the method receiver type of the enclosing method.

Returns:

the method receiver type of the enclosing method

getMethodTree

public MethodTree getMethodTree()

Returns the method tree currently visiting.

Returns:

the method tree currently visiting

getAssignmentContext

public Pair<Tree,AnnotatedTypeMirror> getAssignmentContext()

Returns the assignment context.

Returns:

the assignment context

getPath

public TreePath getPath()

Returns the current path for the visitor.

Returns:

the current path for the visitor

toString

@SideEffectFree
public String toString()

Overrides:

toString in class Object