org.deri.wsmo4j.choreography.rule
Class AbstractQuantifiedRuleRI

java.lang.Object
  org.deri.wsmo4j.choreography.rule.AbstractTransitionRuleRI
      org.deri.wsmo4j.choreography.rule.AbstractQuantifiedRuleRI

All Implemented Interfaces:

ChoreographyQuantifiedRule, ChoreographyTransitionRule, ChoreographyRule, Rule

Direct Known Subclasses:

ChooseRI, ForAllRI

public abstract class AbstractQuantifiedRuleRI
extends AbstractTransitionRuleRI
implements ChoreographyQuantifiedRule

Provides common implementation methods for the quantified rules (Forall and Choose).

     Created on Jul 26, 2005
     Committed by $Author: vassil_momtchev $
     $Source$
 

Version:

$Revision: 1844 $ $Date: 2006-10-24 17:11:48 +0300 (Tue, 24 Oct 2006) $

Author:

Thomas Haselwanter, James Scicluna

Field Summary

protected Set<org.omwg.ontology.Variable>

variables

Fields inherited from class org.deri.wsmo4j.choreography.rule.AbstractTransitionRuleRI

condition, rules

Constructor Summary

AbstractQuantifiedRuleRI(Set<org.omwg.ontology.Variable> variables, Condition condition, Set<ChoreographyRule> rules)

Method Summary

void	addVariable(org.omwg.ontology.Variable variable) Adds a quantified variable object
void	addVariables(Set<org.omwg.ontology.Variable> variable) Adds a quantified variable object
Set<org.omwg.ontology.Variable>	listVariables() Returns the set of Variable objects which are quantified by the Rule
protected static <E> Set<E>	makeSet(E element)
void	removeVariable(org.omwg.ontology.Variable variable) Removes a quantified variable object from the rule
protected String	stringVariables()

Methods inherited from class org.deri.wsmo4j.choreography.rule.AbstractTransitionRuleRI

addRule, addRules, clearNestedRules, getCondition, listNestedRules, removeRule, setCondition, setRules, stringInnerRules

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.wsmo.service.choreography.rule.ChoreographyTransitionRule

addRule, addRules, clearNestedRules, getCondition, listNestedRules, removeRule, setCondition, setRules

Methods inherited from interface org.wsmo.service.rule.Rule

accept, toString

Field Detail

variables

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

Constructor Detail

AbstractQuantifiedRuleRI

public AbstractQuantifiedRuleRI(Set<org.omwg.ontology.Variable> variables,
                                Condition condition,
                                Set<ChoreographyRule> rules)

Parameters:

variables - A Set of Quantified Variable objects

condition - Logical Expression defining the condition of the rule

rules - A set of inner Rule objects of the rule

Method Detail

makeSet

protected static <E> Set<E> makeSet(E element)

listVariables

public Set<org.omwg.ontology.Variable> listVariables()

Description copied from interface: ChoreographyQuantifiedRule

Returns the set of Variable objects which are quantified by the Rule

Specified by:

listVariables in interface ChoreographyQuantifiedRule

Returns:

Set of Variable objects

addVariable

public void addVariable(org.omwg.ontology.Variable variable)

Description copied from interface: ChoreographyQuantifiedRule

Adds a quantified variable object

Specified by:

addVariable in interface ChoreographyQuantifiedRule

Parameters:

variable - Variable object

addVariables

public void addVariables(Set<org.omwg.ontology.Variable> variable)

Description copied from interface: ChoreographyQuantifiedRule

Adds a quantified variable object

Specified by:

addVariables in interface ChoreographyQuantifiedRule

Parameters:

variable - Variable object

removeVariable

public void removeVariable(org.omwg.ontology.Variable variable)

Description copied from interface: ChoreographyQuantifiedRule

Removes a quantified variable object from the rule

Specified by:

removeVariable in interface ChoreographyQuantifiedRule

Parameters:

variable - Variable object to be removed

stringVariables

protected String stringVariables()