edu.illinois.cs.cogcomp.lbjava.IR

Class ConstraintEqualityExpression

java.lang.Object

edu.illinois.cs.cogcomp.lbjava.IR.ASTNode

edu.illinois.cs.cogcomp.lbjava.IR.ConstraintExpression

edu.illinois.cs.cogcomp.lbjava.IR.ConstraintEqualityExpression

public class ConstraintEqualityExpression
extends ConstraintExpression

This class represents the atom of the LBJava constraint expression: the (in)equality comparison. The application of a learning classifier to an example object is here compared to either another learning classifier application or to an arbitrary Java expression evaluating to a String.

Author:

Nick Rizzolo

Field Summary

Fields

Modifier and Type	Field and Description
Expression	left (¬ø) The expression on the left hand side of the operator.
boolean	leftIsDiscreteLearner Filled in by SemanticAnalysis, this flag is set if left represents the invocation of a discrete learner.
boolean	leftIsQuantified Filled in by SemanticAnalysis, this flag is set if left contains any quantified variables.
Operator	operation (¬ø) Represents either an equality or an inequality comparison.
Expression	right (¬ø) The expression on the right hand side of the operator.
boolean	rightIsDiscreteLearner Filled in by SemanticAnalysis, this flag is set if right represents the invocation of a discrete learner.
boolean	rightIsQuantified Filled in by SemanticAnalysis, this flag is set if right contains any quantified variables.

Fields inherited from class edu.illinois.cs.cogcomp.lbjava.IR.ConstraintExpression

parenthesized

Fields inherited from class edu.illinois.cs.cogcomp.lbjava.IR.ASTNode

byteOffset, line, nodeID, symbolTable

Constructor Summary

Constructors

Constructor and Description
ConstraintEqualityExpression(Operator o, Expression l, Expression r) Full constructor.

Method Summary

Modifier and Type	Method and Description
Object	clone() Creates a new object with the same primitive data, and recursively creates new member data objects as well.
boolean	containsQuantifiedVariable() Determines if there are any quantified variables in this expression.
HashSet	getVariableTypes() Returns a set of Arguments storing the name and type of each variable that is a subexpression of this expression.
ASTNodeIterator	iterator() Returns an iterator used to successively access the children of this node.
void	runPass(Pass pass) Ensures that the correct run() method is called for this type of node.
void	write(StringBuffer buffer) Writes a string representation of this ASTNode to the specified buffer.

Methods inherited from class edu.illinois.cs.cogcomp.lbjava.IR.ASTNode

toString

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

operation

public Operator operation

(¬ø) Represents either an equality or an inequality comparison.

left

public Expression left

(¬ø) The expression on the left hand side of the operator.

leftIsDiscreteLearner

public boolean leftIsDiscreteLearner

Filled in by SemanticAnalysis, this flag is set if left represents the invocation of a discrete learner.

leftIsQuantified

public boolean leftIsQuantified

Filled in by SemanticAnalysis, this flag is set if left contains any quantified variables.

right

public Expression right

(¬ø) The expression on the right hand side of the operator.

rightIsDiscreteLearner

public boolean rightIsDiscreteLearner

Filled in by SemanticAnalysis, this flag is set if right represents the invocation of a discrete learner.

rightIsQuantified

public boolean rightIsQuantified

Filled in by SemanticAnalysis, this flag is set if right contains any quantified variables.

Constructor Detail

ConstraintEqualityExpression

public ConstraintEqualityExpression(Operator o,
                                    Expression l,
                                    Expression r)

Full constructor. Line and byte offset information are taken from the operator.

Parameters:

o - The equality comparison operator.

l - The expression on the left of the operator.

r - The expression on the right of the operator.

Method Detail

getVariableTypes

public HashSet getVariableTypes()

Returns a set of Arguments storing the name and type of each variable that is a subexpression of this expression. This method cannot be run before SemanticAnalysis runs.

Overrides:

getVariableTypes in class ConstraintExpression

containsQuantifiedVariable

public boolean containsQuantifiedVariable()

Determines if there are any quantified variables in this expression. This method cannot be run before SemanticAnalysis runs.

Overrides:

containsQuantifiedVariable in class ConstraintExpression

iterator

public ASTNodeIterator iterator()

Returns an iterator used to successively access the children of this node.

Specified by:

iterator in class ASTNode

Returns:

An iterator used to successively access the children of this node.

clone

public Object clone()

Creates a new object with the same primitive data, and recursively creates new member data objects as well.

Overrides:

clone in class ASTNode

Returns:

The clone node.

runPass

public void runPass(Pass pass)

Ensures that the correct run() method is called for this type of node.

Specified by:

runPass in class ASTNode

Parameters:

pass - The pass whose run() method should be called.

write

public void write(StringBuffer buffer)

Writes a string representation of this ASTNode to the specified buffer. The representation written is parsable by the LBJava compiler, but not very readable.

Specified by:

write in class ASTNode

Parameters:

buffer - The buffer to write to.