Package org.apache.vxquery.xmlquery.ast

Class QuantifiedExprNode

java.lang.Object

org.apache.vxquery.xmlquery.ast.ASTNode

org.apache.vxquery.xmlquery.ast.QuantifiedExprNode

public class QuantifiedExprNode
extends ASTNode

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	QuantifiedExprNode.QuantifierType

Constructor Summary

Constructors

Constructor	Description
QuantifiedExprNode(SourceLocation loc)

Method Summary

Modifier and Type	Method	Description
QuantifiedExprNode.QuantifierType	getQuant()
ASTNode	getSatisfiesExpr()
ASTTag	getTag()
List<QuantifiedVarDeclNode>	getVariables()
void	setQuant(QuantifiedExprNode.QuantifierType quant)
void	setSatisfiesExpr(ASTNode satisfiesExpr)
void	setVariables(List<QuantifiedVarDeclNode> variables)

Methods inherited from class org.apache.vxquery.xmlquery.ast.ASTNode

getSourceLocation, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

QuantifiedExprNode

public QuantifiedExprNode(SourceLocation loc)

Method Detail

getTag

public ASTTag getTag()

Specified by:

getTag in class ASTNode

getSatisfiesExpr

public ASTNode getSatisfiesExpr()

setSatisfiesExpr

public void setSatisfiesExpr(ASTNode satisfiesExpr)

setQuant

public void setQuant(QuantifiedExprNode.QuantifierType quant)

getQuant

public QuantifiedExprNode.QuantifierType getQuant()

setVariables

public void setVariables(List<QuantifiedVarDeclNode> variables)

getVariables

public List<QuantifiedVarDeclNode> getVariables()