org.deri.wsmo4j.logicalexpression
Class QuantifiedImpl

java.lang.Object
  extended by org.deri.wsmo4j.logicalexpression.LogicalExpressionImpl
      extended by org.deri.wsmo4j.logicalexpression.UnaryImpl
          extended by org.deri.wsmo4j.logicalexpression.QuantifiedImpl
All Implemented Interfaces:
org.omwg.logicalexpression.CompoundExpression, org.omwg.logicalexpression.LogicalExpression, org.omwg.logicalexpression.Quantified, org.omwg.logicalexpression.Unary
Direct Known Subclasses:
ExistentialQuantificationImpl, UniversalQuantificationImpl

public abstract class QuantifiedImpl
extends UnaryImpl
implements org.omwg.logicalexpression.Quantified

This abstract class reunites all quantified logical expressions (e.g qfier {Term} LogExpr)

Version:
$Revision: 1946 $ $Date: 2007-04-02 15:13:28 +0300 (Mon, 02 Apr 2007) $
Author:
DERI Innsbruck, reto.krummenacher@deri.org
See Also:
Quantified

Field Summary
protected  Set<org.omwg.ontology.Variable> variables
           
 
Fields inherited from class org.deri.wsmo4j.logicalexpression.UnaryImpl
expr
 
Constructor Summary
QuantifiedImpl(Set<org.omwg.ontology.Variable> variables, org.omwg.logicalexpression.LogicalExpression expr)
           
 
Method Summary
abstract  void accept(org.omwg.logicalexpression.Visitor v)
           
 Set<org.omwg.ontology.Variable> listVariables()
           
 void setVariables(Set<org.omwg.ontology.Variable> variables)
           
 
Methods inherited from class org.deri.wsmo4j.logicalexpression.UnaryImpl
getOperand, hashCode, listOperands, setOperand, setOperands
 
Methods inherited from class org.deri.wsmo4j.logicalexpression.LogicalExpressionImpl
getStringRepresentation, setStringRepresentation, toString, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.omwg.logicalexpression.Unary
getOperand, setOperand
 
Methods inherited from interface org.omwg.logicalexpression.CompoundExpression
listOperands, setOperands
 
Methods inherited from interface org.omwg.logicalexpression.LogicalExpression
toString
 

Field Detail

variables

protected Set<org.omwg.ontology.Variable> variables
Constructor Detail

QuantifiedImpl

public QuantifiedImpl(Set<org.omwg.ontology.Variable> variables,
                      org.omwg.logicalexpression.LogicalExpression expr)
               throws IllegalArgumentException
Parameters:
variables - the set of variables that are quantified for the expression
expr - the logical expression
Throws:
IllegalArgumentException -

in case the operator is different from EXISTS or FORALL

in case the logical expression contains a nested CONSTRAINT

in case the Set of variables is null

in case the arguments of the list aren't all of Type Variable

Method Detail

listVariables

public Set<org.omwg.ontology.Variable> listVariables()
Specified by:
listVariables in interface org.omwg.logicalexpression.Quantified
Returns:
the set of variables that are quantified for the expression
See Also:
Quantified.listVariables()

accept

public abstract void accept(org.omwg.logicalexpression.Visitor v)
Specified by:
accept in interface org.omwg.logicalexpression.LogicalExpression
Specified by:
accept in class UnaryImpl
See Also:
LogicalExpression.accept(org.omwg.logicalexpression.Visitor)

setVariables

public void setVariables(Set<org.omwg.ontology.Variable> variables)
Specified by:
setVariables in interface org.omwg.logicalexpression.Quantified


Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.