Package | Description |
---|---|
edu.illinois.cs.cogcomp.lbjava | |
edu.illinois.cs.cogcomp.lbjava.IR |
Modifier and Type | Field and Description |
---|---|
protected ASTNode |
Pass.root
A reference to the root node of the AST over which this pass will operate.
|
Modifier and Type | Method and Description |
---|---|
void |
PrintAST.indentedPrintln(String text,
ASTNode node)
Prints the given text preceeded by the amount of indentation called for in the
indent member variable and followed by the line number and byte offset
information for the specified ASTNode and a new line. |
void |
PrintAST.nonTerminal(String text,
ASTNode node)
The default routine for printing a non-terminal AST node is to first print the name of the
AST node's class with line and byte offset information, and then recursively print its
children at indentation level one higher.
|
void |
Pass.runOnChildren(ASTNode node)
This method supports derived passes that continue to descend down the AST after operating on
a particular type of node.
|
void |
Pass.setRoot(ASTNode r)
Sets the
root member variable. |
Constructor and Description |
---|
Pass(ASTNode r)
Initializing constructor.
|
Modifier and Type | Class and Description |
---|---|
class |
Argument
An "argument" is the specification of a classifier's input parameter.
|
class |
ArrayCreationExpression
This class represents an expression creating an array.
|
class |
ArrayInitializer
Represents those expressions that can be used to set all the values in an array.
|
class |
ArrayType
Class for representing array types.
|
class |
AssertStatement
Represents an assertion statement.
|
class |
Assignment
Represents the assignment of a value to a storage location.
|
class |
AST
The root node of LBJava's AST.
|
class |
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. |
class |
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. |
class |
BinaryConstraintExpression
This class represents a constraint expression involving a binary operator.
|
class |
BinaryExpression
This class represents an expression involving a binary operator.
|
class |
Block
A block is just a list of statements in between curly braces.
|
class |
BreakStatement
Represents a break statement.
|
class |
CastExpression
Representation of an expression that casts a value to another type.
|
class |
CatchClause
Represents a catch clause on a try statement.
|
class |
CatchList
Currently, this is just a wrapper class for
LinkedList . |
class |
ClassifierAssignment
Represents the assignment of a classifier expression to a method signature.
|
class |
ClassifierCastExpression
This class represents a classifier cast expression.
|
class |
ClassifierExpression
Abstract classifier expression class.
|
class |
ClassifierExpressionList
Currently, this is just a wrapper class for
LinkedList . |
class |
ClassifierName
This class represents identifiers that name classifiers.
|
class |
ClassifierReturnType
Represents the return type of a hard-coded classifier.
|
class |
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.
|
class |
CodedClassifier
Represents a hard-coded classifier definition.
|
class |
CompositeGenerator
Represents a generator composed from several other classifiers.
|
class |
Conditional
This class represents a conditional expression.
|
class |
Conjunction
This class represents a classifier conjunction.
|
class |
Constant
Represents constant values.
|
class |
ConstantList
Currently, this is just a wrapper class for
LinkedList . |
class |
ConstraintDeclaration
Represents the declaration of a constraint.
|
class |
ConstraintEqualityExpression
This class represents the atom of the LBJava constraint expression: the (in)equality comparison.
|
class |
ConstraintExpression
Resembling first order logic, a constraint expression consists of equality (or inequality) tests
and logical operators and evaluates to a Boolean value.
|
class |
ConstraintInvocation
A constraint may be invoked from within another constraint using the
@ operator. |
class |
ConstraintStatementExpression
This class is simply a wrapper for a
ConstraintExpression so that it can be used in
an ExpressionStatement . |
class |
ConstraintType
A constraint's type is defined by what it takes as input.
|
class |
ContinueStatement
Represents a continue statement.
|
class |
Declaration
Abstract representation of declarations such as
import and package . |
class |
DeclarationList
Currently, this is just a wrapper class for
LinkedList . |
class |
DoStatement
Represents a while loop.
|
class |
EmptyStatement
No statement here.
|
class |
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 . |
class |
Expression
Abstract expression class.
|
class |
ExpressionList
Currently, this is just a wrapper class for
LinkedList . |
class |
ExpressionStatement
An expression statement is a statement composed only of a single expression, as opposed to a
statement involving control flow.
|
class |
FieldAccess
This class represents a field access.
|
class |
ForStatement
Represents a for loop.
|
class |
IfStatement
Represents an if statement.
|
class |
ImportDeclaration
Representation of an
import declaration. |
class |
ImportList
Currently, this is just a wrapper class for
LinkedList . |
class |
IncrementExpression
This class represents both increment and decrement expressions.
|
class |
InferenceDeclaration
Represents an inference specification.
|
static class |
InferenceDeclaration.HeadFinder
A head finder is a method that finds the head object for an inference given another object.
|
static class |
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.
|
class |
InferenceInvocation
An inference can be invoked as a method with the name of a learning classifier involved in that
inference as its lone argument.
|
class |
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.
|
class |
InstanceCreationExpression
This class represents an expression creating a class instance.
|
class |
InstanceofExpression
This class represents an
instanceof expression. |
class |
LabeledStatement
Represents any statement with an identifier label.
|
class |
LearningClassifierExpression
This class represents expressions that specify classifiers that learn.
|
class |
List
Currently, this is just a wrapper class for
LinkedList . |
class |
MethodInvocation
This class represents a method call.
|
class |
Name
This class represents a scalar variable.
|
class |
NameList
Currently, this is just a wrapper class for
LinkedList . |
class |
NegatedConstraintExpression
Represents the negation of a constraint expression.
|
class |
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.
|
class |
Operator
LBJava supports every Java operator.
|
class |
PackageDeclaration
Representation of an
package declaration. |
class |
ParameterSet
Represents a set of possible parameters, used when doing parameter-tuning.
|
class |
PrimitiveType
Represents a primitive type, as in a declaration.
|
class |
QuantifiedConstraintExpression
A quantified constraint expression is a compact way to specify a constraint as a function of
every object in a given collection.
|
class |
ReferenceType
Represents a type defined by a
class . |
class |
ReturnStatement
Represents a return statement.
|
class |
SenseStatement
Represents a feature sensing statement.
|
class |
Statement
Abstract class from which statements are derived.
|
class |
StatementExpression
Abstract class for representing expressions that can stand alone as a statement.
|
class |
StatementList
Currently, this is just a wrapper class for
LinkedList . |
class |
SubscriptVariable
This class represents an array access.
|
class |
SwitchBlock
Represents the body of a switch statement.
|
class |
SwitchGroup
Represents a list of statements labeled by one or more
SwitchLabel s. |
class |
SwitchGroupList
Currently, this is just a wrapper class for
LinkedList . |
class |
SwitchLabel
Represents a case or default label inside a switch block.
|
class |
SwitchLabelList
Currently, this is just a wrapper class for
LinkedList . |
class |
SwitchStatement
Represents a switch statement.
|
class |
SynchronizedStatement
Represents a synchronized statement.
|
class |
ThrowStatement
Represents a throw statement.
|
class |
TryStatement
Represents a try statement.
|
class |
Type
Abstract class representing the type of a variable or the return type of a method.
|
class |
UnaryExpression
This class represents an expression involving a unary operator.
|
class |
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 . |
class |
VariableDeclaration
Represents a local variable declaration.
|
class |
VariableInstance
Abstract class representing either a scalar or a subscript variable.
|
class |
WhileStatement
Represents a while loop.
|
Modifier and Type | Field and Description |
---|---|
ASTNode |
LearningClassifierExpression.Clause.argument
The argument of the clause.
|
ASTNode |
InferenceDeclaration.Clause.argument
The argument of the clause.
|
ASTNode[] |
ASTNodeIterator.children
The nodes iterated through by this iterator.
|
Modifier and Type | Method and Description |
---|---|
ASTNode |
List.NodeListIterator.next()
Returns the next AST node in the list.
|
ASTNode |
ASTNodeIterator.next()
Returns the next child AST node.
|
ASTNode |
List.NodeListIterator.previous()
Returns the previous element in the list.
|
Modifier and Type | Method and Description |
---|---|
void |
List.NodeListIterator.add(ASTNode n)
Inserts the specified node into the list.
|
void |
List.NodeListIterator.set(ASTNode n)
Replaces the last element returned by
next() or previous() with
the specified element. |
Constructor and Description |
---|
Clause(int t,
ASTNode a)
Initializing constructor.
|
Clause(int t,
ASTNode a)
Full constructor.
|
Clause(int t,
ASTNode a,
Expression r)
Full constructor.
|
Clause(int t,
ASTNode a,
Expression r,
Block b,
Constant k,
FoldParser.SplitPolicy s,
Constant al,
Constant p,
Constant pct,
Constant ptt,
Constant pt)
This constructor is only called by
LearningClassifierExpression.Clause.clone() . |
Copyright © 2016. All rights reserved.