Package edu.illinois.cs.cogcomp.lbjava.IR

Class Summary

Class	Description
Argument	An "argument" is the specification of a classifier's input parameter.
ArrayCreationExpression	This class represents an expression creating an array.
ArrayInitializer	Represents those expressions that can be used to set all the values in an array.
ArrayType	Class for representing array types.
AssertStatement	Represents an assertion statement.
Assignment	Represents the assignment of a value to a storage location.
AST	The root node of LBJava's AST.
ASTNode	Abstract node class that every AST node extends.
ASTNodeIterator	Used to iterate though the children of an AST node.
AtLeastQuantifierExpression	An "at least" quantifier has the form: atleast expression of argument in (expression) constraint-expression where the first expression must evaluate to an int, the second expression must evaluate to a Collection, and the "at least" quantifier expression is sastisfied iff when taking settings of argument from the Collection, constraint-expression is satisfied at least as many times as the integer the first expression evaluates to.
AtMostQuantifierExpression	An "at most" quantifier has the form: atmost expression of argument in (expression) constraint-expression where the first expression must evaluate to an int, the second expression must evaluate to a Collection, and the "at most" quantifier expression is sastisfied iff when taking settings of argument from the Collection, constraint-expression is satisfied at most as many times as the integer the first expression evaluates to.
BinaryConstraintExpression	This class represents a constraint expression involving a binary operator.
BinaryExpression	This class represents an expression involving a binary operator.
Block	A block is just a list of statements in between curly braces.
BreakStatement	Represents a break statement.
CastExpression	Representation of an expression that casts a value to another type.
CatchClause	Represents a catch clause on a try statement.
CatchList	Currently, this is just a wrapper class for LinkedList.
ClassifierAssignment	Represents the assignment of a classifier expression to a method signature.
ClassifierCastExpression	This class represents a classifier cast expression.
ClassifierExpression	Abstract classifier expression class.
ClassifierExpressionList	Currently, this is just a wrapper class for LinkedList.
ClassifierName	This class represents identifiers that name classifiers.
ClassifierReturnType	Represents the return type of a hard-coded classifier.
ClassifierType	A classifier's type is defined by what it takes as input and what it returns as output, but it is distinguished only by what it takes as input.
CodedClassifier	Represents a hard-coded classifier definition.
CompositeGenerator	Represents a generator composed from several other classifiers.
Conditional	This class represents a conditional expression.
Conjunction	This class represents a classifier conjunction.
Constant	Represents constant values.
ConstantList	Currently, this is just a wrapper class for LinkedList.
ConstraintDeclaration	Represents the declaration of a constraint.
ConstraintEqualityExpression	This class represents the atom of the LBJava constraint expression: the (in)equality comparison.
ConstraintExpression	Resembling first order logic, a constraint expression consists of equality (or inequality) tests and logical operators and evaluates to a Boolean value.
ConstraintInvocation	A constraint may be invoked from within another constraint using the @ operator.
ConstraintStatementExpression	This class is simply a wrapper for a ConstraintExpression so that it can be used in an ExpressionStatement.
ConstraintType	A constraint's type is defined by what it takes as input.
ContinueStatement	Represents a continue statement.
Declaration	Abstract representation of declarations such as import and package.
DeclarationList	Currently, this is just a wrapper class for LinkedList.
DoStatement	Represents a while loop.
EmptyStatement	No statement here.
ExistentialQuantifierExpression	An existential quantifier has the form: exists argument in (expression) constraint-expression where expression must evaluate to a Collection, and the existential quantifier expression is sastisfied iff constraint-expression is satisfied for any setting of argument taken from the Collection.
Expression	Abstract expression class.
ExpressionList	Currently, this is just a wrapper class for LinkedList.
ExpressionStatement	An expression statement is a statement composed only of a single expression, as opposed to a statement involving control flow.
FieldAccess	This class represents a field access.
ForStatement	Represents a for loop.
IfStatement	Represents an if statement.
ImportDeclaration	Representation of an import declaration.
ImportList	Currently, this is just a wrapper class for LinkedList.
IncrementExpression	This class represents both increment and decrement expressions.
InferenceDeclaration	Represents an inference specification.
InferenceDeclaration.Clause	An intermediate class used during parsing to represent the various clauses of an inference declaration.
InferenceDeclaration.HeadFinder	A head finder is a method that finds the head object for an inference given another object.
InferenceDeclaration.NormalizerDeclaration	A normalizer declaration is a clause of an inference declaration that specifies a normalizer to be used in association with a particular learning classifier or in general.
InferenceInvocation	An inference can be invoked as a method with the name of a learning classifier involved in that inference as its lone argument.
InferenceType	An inference's type is defined by the type of the head object as well as the types of objects from which the head can be found.
InstanceCreationExpression	This class represents an expression creating a class instance.
InstanceofExpression	This class represents an instanceof expression.
LabeledStatement	Represents any statement with an identifier label.
LearningClassifierExpression	This class represents expressions that specify classifiers that learn.
LearningClassifierExpression.Clause	This class represents a clause in a LearningClassifierExpression.
List	Currently, this is just a wrapper class for LinkedList.
MethodInvocation	This class represents a method call.
Name	This class represents a scalar variable.
NameList	Currently, this is just a wrapper class for LinkedList.
NegatedConstraintExpression	Represents the negation of a constraint expression.
NormalizerType	A normalizer type is simply a place holder indicating that the name it is associated with in the symbol table is a normalizer function.
Operator	LBJava supports every Java operator.
PackageDeclaration	Representation of an package declaration.
ParameterSet	Represents a set of possible parameters, used when doing parameter-tuning.
PrimitiveType	Represents a primitive type, as in a declaration.
QuantifiedConstraintExpression	A quantified constraint expression is a compact way to specify a constraint as a function of every object in a given collection.
ReferenceType	Represents a type defined by a class.
ReturnStatement	Represents a return statement.
SenseStatement	Represents a feature sensing statement.
Statement	Abstract class from which statements are derived.
StatementExpression	Abstract class for representing expressions that can stand alone as a statement.
StatementList	Currently, this is just a wrapper class for LinkedList.
SubscriptVariable	This class represents an array access.
SwitchBlock	Represents the body of a switch statement.
SwitchGroup	Represents a list of statements labeled by one or more SwitchLabels.
SwitchGroupList	Currently, this is just a wrapper class for LinkedList.
SwitchLabel	Represents a case or default label inside a switch block.
SwitchLabelList	Currently, this is just a wrapper class for LinkedList.
SwitchStatement	Represents a switch statement.
SymbolTable	A symbol table is simply a HashMap associating names with their types.
SynchronizedStatement	Represents a synchronized statement.
ThrowStatement	Represents a throw statement.
TryStatement	Represents a try statement.
Type	Abstract class representing the type of a variable or the return type of a method.
UnaryExpression	This class represents an expression involving a unary operator.
UniversalQuantifierExpression	A universal quantifier has the form: forall argument in (expression) constraint-expression where expression must evaluate to a Collection, and the universal quantifier expression is sastisfied iff constraint-expression is satisfied for all settings of argument taken from the Collection .
VariableDeclaration	Represents a local variable declaration.
VariableInstance	Abstract class representing either a scalar or a subscript variable.
WhileStatement	Represents a while loop.