edu.illinois.cs.cogcomp.lbjava.IR

Class ConstraintExpression

java.lang.Object

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

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

Direct Known Subclasses:

BinaryConstraintExpression, ConstraintEqualityExpression, ConstraintInvocation, NegatedConstraintExpression, QuantifiedConstraintExpression

public abstract class ConstraintExpression
extends ASTNode

Resembling first order logic, a constraint expression consists of equality (or inequality) tests and logical operators and evaluates to a Boolean value.

Author:

Nick Rizzolo

Field Summary

Fields

Modifier and Type	Field and Description
boolean	parenthesized Indicates whether this expression was parenthesized in the source.

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

byteOffset, line, nodeID, symbolTable

Method Summary

Modifier and Type	Method and Description
boolean	containsQuantifiedVariable() Determines if there are any quantified variables in this expression.
HashSet<Argument>	getVariableTypes() Returns a set of Arguments storing the name and type of each variable that is a subexpression of this expression.

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

clone, iterator, runPass, toString, write

Methods inherited from class java.lang.Object

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

Field Detail

parenthesized

public boolean parenthesized

Indicates whether this expression was parenthesized in the source.

Method Detail

getVariableTypes

public HashSet<Argument> 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.

containsQuantifiedVariable

public boolean containsQuantifiedVariable()

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