Package edu.rice.cs.javalanglevels

Interface Summary

Command

Utility interface, used as supertype of anonymous command classes.

Class Summary

AdvancedLevelTest
ArrayData	Represents the data for an array class.
ArrayData.ArrayDataTest	Test the methods in the enclosing class.
Augmentor
Augmentor.AugmentorTest	Test class for the Augmentor class.
Augmentor.MethodBodyAugmentor
BlockData	Class containing the data for a braced body--not for a method.
BodyBodyFullJavaVisitor	Language Level Visitor that represents the FullJava Language Level.
BodyBodyFullJavaVisitor.BodyBodyFullJavaVisitorTest	Test most of the methods declared above right here.
BodyBodyIntermediateVisitor	Language Level Visitor for the Intermediate Language Level.
BodyBodyIntermediateVisitor.BodyBodyIntermediateVisitorTest	Test most of the methods declared above right here:
BodyData	Abstract class corresponding to a method or block.
BodyData.BodyDataTest	Test class for BodyData.
BodyTypeChecker	TypeChecks the context of a body, such as a method body.
BodyTypeChecker.BodyTypeCheckerTest	Test the methods in the above class.
CharConverter	A class full of static methods for escaping/unescaping characters.
ClassBodyFullJavaVisitor	Class body walking LanguageLevelVisitor for the FullJava Language Level.
ClassBodyFullJavaVisitor.ClassBodyFullJavaVisitorTest	Test the methods that are declared above.
ClassBodyIntermediateVisitor
ClassBodyIntermediateVisitor.ClassBodyIntermediateVisitorTest	Test the methods in the above (enclosing) class.
ClassBodyTypeChecker	Do the TypeChecking appropriate to the context of a class body.
ClassBodyTypeChecker.ClassBodyTypeCheckerTest	Test the methods that are defined above.
ConstructorBodyTypeChecker	Do the TypeChecking appropriate to the context of a constructor body.
ConstructorBodyTypeChecker.ConstructorBodyTypeCheckerTest	Tests the methods in the above class.
Data	Abstract class epresenting the data for a given braced body: a class, interface, method, or just a body.
Data.DataTest	Test the methods in the above class.
ElementaryLevelTest	This is a high-level test to make sure that taking an Elementary Level file from source file to augmented file has the correct behavior, does not throw errors when it should not, throws errors when it should, and results in the correct augmented code.
ExpressionTypeChecker	This is a TypeChecker for all Expressions used in the students files.
ExpressionTypeChecker.ExpressionTypeCheckerTest	Test class for the methods defined in the above (enclosing) class.
FullJavaVisitor	Top-level Language Level Visitor that processes the Full Java Language Level.
FullJavaVisitor.FullJavaVisitorTest	Test the methods defined in the enclosing class.
InstanceData	Represents the data for an instantiation of a class.
InterfaceBodyFullJavaVisitor	Language Level Visitor class that implements the FullJava Language Level.
InterfaceBodyFullJavaVisitor.InterfaceBodyFullJavaVisitorTest	Test the methods in the above class.
InterfaceBodyIntermediateVisitor	Language Level Visitor that represents the Intermediate Language Level.
InterfaceBodyIntermediateVisitor.InterfaceBodyIntermediateVisitorTest	Test the methods declared in the above class.
InterfaceBodyTypeChecker	Do the TypeChecking appropriate to the context of a class body.
InterfaceBodyTypeChecker.InterfaceBodyTypeCheckerTest	Test the methods declared in the above class.
IntermediateLevelTest	This is a high-level test to make sure that taking an Intermediate Level file from source file to augmented file has the correct behavior, does not throw errors when it should not, throws errors when it should, and results in the correct augmented code.
IntermediateVisitor	Top-level Language Level Visitor that represents the Intermediate Language Level.
IntermediateVisitor.IntermediateVisitorTest	Test the methods declared in the above class.
JExpressionIFPrunableDepthFirstVisitor	An abstract implementation of a visitor over JExpressionIF that does not return a value.
JExprParserTest	Test the JExprParser by trying to parse all files in the testFiles directory that end in .test, writing the output to a file of the same name ending in .actual, and comparing that file to the file of the same name in the testFiles directory that ends with .expected
LanguageLevelConverter	An instance of this class converts a language level file to a .java file of the same name by first visiting the file to error-check it, and then by augmenting the file.
LanguageLevelVisitor	Top-level Language Level Visitor that implements the constraint checking and symbol table building that is common to first pass processing for the Functional and FullJava levels.
LanguageLevelVisitor.LanguageLevelVisitorTest	Test the methods defined in the above class.
LValueTypeChecker	Do what is necessary to type check the lhs of an assignment expression, i.e., make sure that what is on the lhs is something that can be assigned to, and if so, return its type.
LValueTypeChecker.LValueTypeCheckerTest	Test the methods defined in the above class
LValueWithValueTypeChecker	Used to type check the LHS of an assignment expression such as += or -=, where the left hand side needs to not be final and already have a value.
LValueWithValueTypeChecker.LValueWithValueTypeCheckerTest	Test the methods defined in the above class
MethodData	Represents the data for a given method.
MethodData.MethodDataTest	Tests the methods declared above
Options
PackageData	Represents the data for a piece (or pieces) of a package name.
Pair<T,U>	Utility class, allows us to store two things as a single object.
PrimitiveData	Represents the data for a given primitive type.
SourceInfo	A simple tuple class to represent source location for pieces of the AST.
SpecialTypeChecker	SpecialTypeChecker is a base class for specialized type checkers such as BodyTypeChecker, ClassBodyTypeChecker, ExpressionTypeChecker, etc.
SpecialTypeChecker.BobTest	Test the methods defined in the enclosing class.
SymbolData	Represents the data for a given class.
SymbolData.SymbolDataTest	Test the methods defined in the above class
Symboltable	This class extends Hashtable so that we can have extra functionality in the put function.
Triple<T,U,V>	Utility class, allows us to store three things as a single object.
TryCatchBodyTypeChecker	Does TypeChecking for the context of a Try-Catch body.
TryCatchBodyTypeChecker.TryCatchBodyTypeCheckerTest	Test the methods declared in the above class.
TypeChecker	Does Type Checking that is not dependent on the enclosing body.
TypeChecker.TypeCheckerTest	Test the methods defined in the above class.
TypeData	Abstract class for the data representing a given class or instance of a class.
VariableData	Represents the data for a given variable (including fields).
VariableData.VariableDataTest	Test the methods defined in the above class.

Exception Summary

Augmentor.Exception
JExprParseException	Used to represent custom parse exceptions in the JExpression parser.