checkers.types
Class VisitorState

java.lang.Object
  checkers.types.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

VisitorState()

Method Summary

ClassTree	getClassTree()
AnnotatedTypeMirror.AnnotatedDeclaredType	getClassType()
AnnotatedTypeMirror.AnnotatedDeclaredType	getMethodReceiver()
MethodTree	getMethodTree()
TreePath	getPath()
void	setClassTree(ClassTree ct) Updates the tree of the current class currently visited
void	setClassType(AnnotatedTypeMirror.AnnotatedDeclaredType act) Updates the type of the current class currently visited
void	setMethodReceiver(AnnotatedTypeMirror.AnnotatedDeclaredType mrt) Updates the method receiver type currently visited
void	setMethodTree(MethodTree mt) Updates the mehtod 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 current class currently visited

setClassTree

public void setClassTree(ClassTree ct)

Updates the tree of the current 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 mehtod currently visited

setPath

public void setPath(TreePath path)

Sets the current path for the visitor.

Parameters:

path -

getClassType

public AnnotatedTypeMirror.AnnotatedDeclaredType getClassType()

Returns:

the type of the enclosing class

getClassTree

public ClassTree getClassTree()

Returns:

the class tree currently visiting

getMethodReceiver

public AnnotatedTypeMirror.AnnotatedDeclaredType getMethodReceiver()

Returns:

the method receiver type of the enclosing method

getMethodTree

public MethodTree getMethodTree()

Returns:

the method tree currently visiting

getPath

public TreePath getPath()

Returns:

the current path for the visitor

toString

public String toString()

Overrides:

toString in class Object