de.fraunhofer.ipsi.xquery.tree.expression
Class XQueryQuantifiedExpr

java.lang.Object
  extended by de.fraunhofer.ipsi.xquery.tree.XQueryNodeAbstract
      extended by de.fraunhofer.ipsi.xquery.tree.expression.XQueryExpressionAbstract
          extended by de.fraunhofer.ipsi.xquery.tree.expression.XQueryQuantifiedExpr
All Implemented Interfaces:
XQueryExpression, XQueryNode

public class XQueryQuantifiedExpr
extends XQueryExpressionAbstract

XQuery Interpreter QuantifiedOperator.

Since:
CVS $Date: 2004/08/31 10:41:11 $
Version:
CVS $Revision: 1.5 $
Author:
Tobias Groh, Sven Overhage

Constructor Summary
XQueryQuantifiedExpr(PositionInfo pos, QuantifierEnum kind, java.util.List<XQueryBinding> bind, XQueryExpression sat)
          Constructor
 
Method Summary
 void acceptVisitor(VisitorXQueryExpression visitor)
          Method acceptVisitor
 java.util.List<XQueryBinding> getBindings()
          Method getBindings
 QuantifierEnum getOperation()
          Method getOperation
 XQueryExpression getSatisfiesExpression()
          Method getSatisfiesExpression
 
Methods inherited from class de.fraunhofer.ipsi.xquery.tree.expression.XQueryExpressionAbstract
getCoreExpression, setCoreExpression, toString
 
Methods inherited from class de.fraunhofer.ipsi.xquery.tree.XQueryNodeAbstract
getPosition, setPosition
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface de.fraunhofer.ipsi.xquery.tree.XQueryNode
getPosition
 

Constructor Detail

XQueryQuantifiedExpr

public XQueryQuantifiedExpr(PositionInfo pos,
                            QuantifierEnum kind,
                            java.util.List<XQueryBinding> bind,
                            XQueryExpression sat)
Constructor

Parameters:
column - an int
line - an int
kind - an Enum
bind - a List
Method Detail

getOperation

public QuantifierEnum getOperation()
Method getOperation

Returns:
an Enum

getBindings

public java.util.List<XQueryBinding> getBindings()
Method getBindings

Returns:
a List

getSatisfiesExpression

public XQueryExpression getSatisfiesExpression()
Method getSatisfiesExpression

Returns:
a XQueryExpression

acceptVisitor

public void acceptVisitor(VisitorXQueryExpression visitor)
                   throws XQueryException
Method acceptVisitor

Parameters:
visitor - a VisitorXQuery
Throws:
QueryException
XQueryException