edu.illinois.cs.cogcomp.lbjava.IR

Class QuantifiedConstraintExpression

java.lang.Object

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

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

edu.illinois.cs.cogcomp.lbjava.IR.QuantifiedConstraintExpression

Direct Known Subclasses:

AtLeastQuantifierExpression, AtMostQuantifierExpression, ExistentialQuantifierExpression, UniversalQuantifierExpression

public abstract class QuantifiedConstraintExpression
extends ConstraintExpression

A quantified constraint expression is a compact way to specify a constraint as a function of every object in a given collection.

Author:

Nick Rizzolo

Field Summary

Fields

Modifier and Type	Field and Description
Argument	argument (¬ø) The variable specified by this argument is set to each of the objects from the collection in turn and used throughout the quantified constraint.
Expression	collection (¬ø) The objects to iterate through; it must evaluate to a Java Collection.
boolean	collectionIsQuantified Filled in by SemanticAnalysis, this flag is set if collection contains any quantified variables.
ConstraintExpression	constraint (¬ø) The quantified constraint.

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
QuantifiedConstraintExpression(int line, int byteOffset, Argument a, Expression c, ConstraintExpression co) Full constructor.

Method Summary

Modifier and Type	Method and Description
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.

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

containsQuantifiedVariable

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

clone, runPass, toString, write

Methods inherited from class java.lang.Object

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

Field Detail

argument

public Argument argument

(¬ø) The variable specified by this argument is set to each of the objects from the collection in turn and used throughout the quantified constraint.

collection

public Expression collection

(¬ø) The objects to iterate through; it must evaluate to a Java Collection.

constraint

public ConstraintExpression constraint

(¬ø) The quantified constraint.

collectionIsQuantified

public boolean collectionIsQuantified

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

Constructor Detail

QuantifiedConstraintExpression

public QuantifiedConstraintExpression(int line,
                                      int byteOffset,
                                      Argument a,
                                      Expression c,
                                      ConstraintExpression co)

Full constructor.

Parameters:

line - The line on which the source code represented by this node is found.

byteOffset - The byte offset from the beginning of the source file at which the source code represented by this node is found.

a - The quantification variable specification.

c - Evaluates to the collection of objects.

co - The quantified constraint.

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

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.