edu.illinois.cs.cogcomp.lbjava.IR

Class ExistentialQuantifierExpression

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.ExistentialQuantifierExpression

public class ExistentialQuantifierExpression
extends QuantifiedConstraintExpression

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.

Author:

Nick Rizzolo

Field Summary

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

getVariableTypes, iterator

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

Constructor Detail

ExistentialQuantifierExpression

public ExistentialQuantifierExpression(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.

ExistentialQuantifierExpression

public ExistentialQuantifierExpression(TokenValue t,
                                       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.

a - The quantification variable specification.

c - Evaluates to the collection of objects.

co - The quantified constraint.

Method Detail

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.