Uses of Class
edu.rice.cs.javalanglevels.Data

Packages that use Data

edu.rice.cs.javalanglevels

Uses of Data in edu.rice.cs.javalanglevels

Subclasses of Data in edu.rice.cs.javalanglevels

class	ArrayData Represents the data for an array class.
class	BlockData Class containing the data for a braced body--not for a method.
class	BodyData Abstract class corresponding to a method or block.
class	InstanceData Represents the data for an instantiation of a class.
class	MethodData Represents the data for a given method.
class	PackageData Represents the data for a piece (or pieces) of a package name.
class	PrimitiveData Represents the data for a given primitive type.
class	SymbolData Represents the data for a given class.
class	TypeData Abstract class for the data representing a given class or instance of a class.

Fields in edu.rice.cs.javalanglevels declared as Data

protected Data	SpecialTypeChecker._data The context of this type checking--i.e.
protected Data	Data._outerData The outer data--what directly encloses this data.

Fields in edu.rice.cs.javalanglevels with type parameters of type Data

protected LinkedList<Data>

Data._enclosingData All enclosing data are in this list.

Methods in edu.rice.cs.javalanglevels that return Data

protected Data	InterfaceBodyTypeChecker._getData()
protected Data	BodyTypeChecker._getData()
protected Data	TypeChecker._getData() The top level type checker does not have a data
protected Data	SpecialTypeChecker._getData()
protected Data	ClassBodyTypeChecker._getData()
Data	VariableData.getEnclosingData()
Data	ArrayData.getOuterData() Delegates to the outer data of your element type
Data	Data.getOuterData()

Methods in edu.rice.cs.javalanglevels that return types with arguments of type Data

LinkedList<Data>

Data.getEnclosingData()

Methods in edu.rice.cs.javalanglevels with parameters of type Data

protected VariableData[]	BodyBodyIntermediateVisitor._variableDeclaration2VariableData(VariableDeclaration vd, Data enclosingData) Process a local variable declaration within a method.
protected VariableData[]	InterfaceBodyFullJavaVisitor._variableDeclaration2VariableData(VariableDeclaration vd, Data enclosingData) Processes a static field declaration within an interface.
protected VariableData[]	InterfaceBodyIntermediateVisitor._variableDeclaration2VariableData(VariableDeclaration vd, Data enclosingData) Processes a static field declaration within an interface.
protected VariableData[]	LanguageLevelVisitor._variableDeclaration2VariableData(VariableDeclaration vd, Data enclosing) This method assumes that the modifiers for this particular VariableDeclaration have already been checked.
void	Data.addEnclosingData(Data enclosingData) Add to the front because we want the outer data to be the last thing in the list.
protected SymbolData	LanguageLevelVisitor.addInnerSymbolData(SourceInfo si, String qualifiedTypeName, Data enclosing)
void	IntermediateLevelTest.assertEquals(String s, Data answer, Data testValue)
protected SymbolData	LanguageLevelVisitor.defineInnerSymbolData(TypeDefBase typeDefBase, String relName, String qualifiedTypeName, Data enclosing) Takes in a TypeDefBase (which is either an InnerClassDef or an InnerInterfaceDef) and creates a SymbolData for it, either by converting a continuation to it or by creating a new symbol (if no continuationis present).
static VariableData	TypeChecker.getFieldOrVariable(String text, Data data, SymbolData thisSD, JExpression piece) Return the field or variable with the name text inside of data.
static VariableData	TypeChecker.getFieldOrVariable(String text, Data data, SymbolData thisSD, JExpression piece, LinkedList<VariableData> vars)
static VariableData	TypeChecker.getFieldOrVariable(String text, Data data, SymbolData thisSD, JExpression piece, LinkedList<VariableData> vars, boolean shouldRecur)
static VariableData	TypeChecker.getFieldOrVariable(String text, Data data, SymbolData thisSD, JExpression piece, LinkedList<VariableData> vars, boolean shouldRecur, boolean addError) This method checks if the identifier called text is a field or variable visible from the context of the param "data" and is accessible from the context of thisSD.
protected String[]	FullJavaVisitor.getFormalParameterMav(Data d) This overriding is a hack.
protected String[]	LanguageLevelVisitor.getFormalParameterMav(Data d) This method is factored out of formalParameters2VariableData so it can be overridden in FullJavaVisitor.
SymbolData	TypeChecker.getSymbolData(boolean giveAmbigException, String className, Data enclosingData, JExpression jexpr, boolean giveException) Returns the SymbolData corresponding to the name className.
SymbolData	TypeChecker.getSymbolData(String className, Data enclosingData, JExpression jexpr) Returns the SymbolData corresponding to the name className.
SymbolData	TypeChecker.getSymbolData(String className, Data enclosingData, JExpression jexpr, boolean giveException) Call the next version of GetSymbolData, but pass it giveException as the flag for whether or not to give ambigException.
protected void	IntermediateVisitor.handleInnerClassDef(InnerClassDef that, Data enclosing, String relName, String name) Check to make sure the inner class def is well-formed, resolve it, and store the resulting symbol in the outer class's list of inner classes.
protected void	FullJavaVisitor.handleInnerClassDef(InnerClassDef that, Data data, String relName, String name) Process the inner class def and then resolve it and store it in the outer class's list of inner classes.
protected void	IntermediateVisitor.handleInnerInterfaceDef(InnerInterfaceDef that, Data enclosing, String relName, String name) Confirms that the inner interface is well-formed, resolves it, and stores it in the outer class's list of inner classes.
protected void	FullJavaVisitor.handleInnerInterfaceDef(InnerInterfaceDef that, Data data, String relName, String name) Process the inner interface, and resolve it and store it in the outer class's list of inner classes.
protected boolean	LanguageLevelVisitor.isConstructor(Data d)
boolean	Data.isOuterData(Data d)
protected VariableData[]	IntermediateVisitor.llVariableDeclaration2VariableData(VariableDeclaration vd, Data enclosingData) Pass this call directly onto the language level visitor.
void	VariableData.setEnclosingData(Data d) Sets the enclosing data to the specified value.
void	ArrayData.setOuterData(Data outerData) A Noop, because arrays shouldn't have outer data
void	Data.setOuterData(Data outerData) Sets the outer data to the specified value--throw an exception if the data already has an outer data.

Method parameters in edu.rice.cs.javalanglevels with type arguments of type Data

void	Data.setEnclosingData(LinkedList<Data> d)

Constructors in edu.rice.cs.javalanglevels with parameters of type Data

BlockData(Data outerData)
Create a new BlockData corresponding to the outer data outerData.

BodyData(Data outerData)

Data(Data outerData)
The default constructor for a Data.

ExpressionTypeChecker(Data data, File file, String packageName, LinkedList<String> importedFiles, LinkedList<String> importedPackages, LinkedList<VariableData> vars, LinkedList<Pair<SymbolData,JExpression>> thrown)
Simply pass the necessary information on to superclass constructor.

SpecialTypeChecker(Data data, File file, String packageName, LinkedList<String> importedFiles, LinkedList<String> importedPackages, LinkedList<VariableData> vars, LinkedList<Pair<SymbolData,JExpression>> thrown)
Constructor for SpecialTypeChecker.

SymbolData(String name, ModifiersAndVisibility modifiersAndVisibility, TypeParameter[] typeParameters, ArrayList<SymbolData> interfaces, Data outerData)
This constructor is only called by Interfaces.

SymbolData(String name, ModifiersAndVisibility modifiersAndVisibility, TypeParameter[] typeParameters, SymbolData superClass, ArrayList<SymbolData> interfaces, Data outerData)
Constructor for SymbolData

SymbolData(String name, ModifiersAndVisibility modifiersAndVisibility, TypeParameter[] typeParameters, SymbolData superClass, ArrayList<SymbolData> interfaces, Data outerData, String pkg)
Constructor for SymbolData

TypeData(Data d)

VariableData(String name, ModifiersAndVisibility modifiersAndVisibility, SymbolData type, boolean hasBeenAssigned, Data enclosingData)
Constructor for VariableData.