edu.illinois.cs.cogcomp.lbjava.IR

Class AtLeastQuantifierExpression

java.lang.Object

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

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

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

edu.illinois.cs.cogcomp.lbjava.IR.AtLeastQuantifierExpression

public class AtLeastQuantifierExpression
extends QuantifiedConstraintExpression

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.

Author:

Nick Rizzolo

Field Summary

Fields

Modifier and Type	Field and Description
Expression	lowerBound (¬ø) This expression evaluates to an integer representing the minimum number of objects that must satisfy the child constraint expression in order for this quantified constraint expression to be satisfied.
boolean	lowerBoundIsQuantified Filled in by SemanticAnalysis, this flag is set if lowerBound contains any quantified variables.

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

argument, collection, collectionIsQuantified, 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
AtLeastQuantifierExpression(int line, int byteOffset, Expression lb, Argument a, Expression c, ConstraintExpression co) Full constructor.
AtLeastQuantifierExpression(TokenValue t, Expression lb, Argument a, Expression c, ConstraintExpression co) Parser's 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.
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.ConstraintExpression

containsQuantifiedVariable

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

lowerBound

public Expression lowerBound

(¬ø) This expression evaluates to an integer representing the minimum number of objects that must satisfy the child constraint expression in order for this quantified constraint expression to be satisfied.

lowerBoundIsQuantified

public boolean lowerBoundIsQuantified

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

Constructor Detail

AtLeastQuantifierExpression

public AtLeastQuantifierExpression(int line,
                                   int byteOffset,
                                   Expression lb,
                                   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.

lb - The lower bound expression.

a - The quantification variable specification.

c - Evaluates to the collection of objects.

co - The quantified constraint.

AtLeastQuantifierExpression

public AtLeastQuantifierExpression(TokenValue t,
                                   Expression lb,
                                   Argument a,
                                   Expression c,
                                   ConstraintExpression co)

Parser's constructor. Line and byte offset information are taken from the token.

Parameters:

t - The token containing line and byte offset information.

lb - The lower bound expression.

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 QuantifiedConstraintExpression

iterator

public ASTNodeIterator iterator()

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

Overrides:

iterator in class QuantifiedConstraintExpression

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.