org.yawlfoundation.yawl.elements
Class YNet

java.lang.Object
  extended by org.yawlfoundation.yawl.elements.YDecomposition
      extended by org.yawlfoundation.yawl.elements.YNet
All Implemented Interfaces:
Cloneable, YVerifiable

public final class YNet
extends YDecomposition

The implementation of a net in the YAWL semantics - A container for tasks and conditions.

Author:
Lachlan Aldred

Field Summary
 
Fields inherited from class org.yawlfoundation.yawl.elements.YDecomposition
_codelet, _data, _id, _manualInteraction, _specification
 
Constructor Summary
YNet(String id, YSpecification specification)
           
 
Method Summary
 void addNetElement(YExternalNetElement netElement)
           
 Object clone()
           
protected  boolean determineEnabledness(YTask orJoin, YMarking actualMarking, YMarking currentlyConsideredMarking, YSetOfMarkings markingsAlreadyConsidered)
          Not used since Moe added a new OR algorithm to the system.
 Set<YTask> getActiveTasks(YIdentifier id, String taskType)
           
 Set<YTask> getBusyTasks()
           
 org.jdom.Element getCaseDataFromExternal(String caseID)
           
protected  YNet getCloneContainer()
           
 Set<YTask> getEnabledTasks(YIdentifier id)
           
 String getExternalDataGateway()
           
 YInputCondition getInputCondition()
          Method getInputCondition.
 YVariable getLocalOrInputVariable(String name)
           
 Map<String,YVariable> getLocalVariables()
           
 YExternalNetElement getNetElement(String id)
           
 Map<String,YExternalNetElement> getNetElements()
           
 List<YTask> getNetTasks()
           
 YOutputCondition getOutputCondition()
          Method getOutputCondition.
static Set<YExternalNetElement> getPostset(Set<YExternalNetElement> elements)
           
static Set<YExternalNetElement> getPreset(Set<YExternalNetElement> elements)
           
 void initialise(YPersistenceManager pmgr)
          Initialises the variable/parameter declarations so that the net may execute.
 boolean orJoinEnabled(YTask orJoin, YIdentifier caseID)
           
 void postCaseDataToExternal(String caseID)
           
 void removeNetElement(YExternalNetElement netElement)
          This method removes a net element together with preSet, postSet, reset, cancelledBy sets.
 void setExternalDataGateway(String gateway)
           
 void setIncomingData(YPersistenceManager pmgr, org.jdom.Element incomingData)
           
 void setInputCondition(YInputCondition inputCondition)
           
 void setLocalVariable(YVariable variable)
           
 void setOutputCondition(YOutputCondition outputCondition)
           
 String toXML()
           
 boolean usesSimpleRootData()
           
 List<YVerificationMessage> verify()
          Used to verify that the net conforms to syntax of YAWL.
 
Methods inherited from class org.yawlfoundation.yawl.elements.YDecomposition
addData, addInputParameter, addOutputParameter, assignData, getAttribute, getAttributes, getCodelet, getDocumentation, getID, getInputParameterNames, getInputParameters, getInternalDataDocument, getLogPredicate, getName, getNetDataDocument, getOutputData, getOutputParameterNames, getOutputParameters, getOutputQueries, getRootDataElementName, getSpecification, getStateSpaceBypassParams, getVariableDataByName, initializeDataStore, requiresResourcingDecisions, restoreData, setAttribute, setAttributes, setCodelet, setDocumentation, setEnablementParameter, setExternalInteraction, setLogPredicate, setName, setOutputExpression, toString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

YNet

public YNet(String id,
            YSpecification specification)
Method Detail

setInputCondition

public void setInputCondition(YInputCondition inputCondition)

setOutputCondition

public void setOutputCondition(YOutputCondition outputCondition)

removeNetElement

public void removeNetElement(YExternalNetElement netElement)
This method removes a net element together with preSet, postSet, reset, cancelledBy sets.


addNetElement

public void addNetElement(YExternalNetElement netElement)

getNetElements

public Map<String,YExternalNetElement> getNetElements()

getNetTasks

public List<YTask> getNetTasks()

getInputCondition

public YInputCondition getInputCondition()
Method getInputCondition.

Returns:
YConditionInterface

getOutputCondition

public YOutputCondition getOutputCondition()
Method getOutputCondition.

Returns:
YCondition

getNetElement

public YExternalNetElement getNetElement(String id)
Parameters:
id -
Returns:
YExternalNetElement

setExternalDataGateway

public void setExternalDataGateway(String gateway)

getExternalDataGateway

public String getExternalDataGateway()

verify

public List<YVerificationMessage> verify()
Used to verify that the net conforms to syntax of YAWL.

Specified by:
verify in interface YVerifiable
Overrides:
verify in class YDecomposition
Returns:
a List of error messages.
See Also:
YVerificationMessage

getPostset

public static Set<YExternalNetElement> getPostset(Set<YExternalNetElement> elements)

getPreset

public static Set<YExternalNetElement> getPreset(Set<YExternalNetElement> elements)

clone

public Object clone()
Overrides:
clone in class YDecomposition

getCloneContainer

protected YNet getCloneContainer()

orJoinEnabled

public boolean orJoinEnabled(YTask orJoin,
                             YIdentifier caseID)

determineEnabledness

protected boolean determineEnabledness(YTask orJoin,
                                       YMarking actualMarking,
                                       YMarking currentlyConsideredMarking,
                                       YSetOfMarkings markingsAlreadyConsidered)
Not used since Moe added a new OR algorithm to the system.

Parameters:
orJoin - the orjoin
actualMarking -
currentlyConsideredMarking -
markingsAlreadyConsidered -
Returns:
whether or not the orjoin is enabled.

setLocalVariable

public void setLocalVariable(YVariable variable)

getLocalVariables

public Map<String,YVariable> getLocalVariables()

getLocalOrInputVariable

public YVariable getLocalOrInputVariable(String name)

toXML

public String toXML()
Overrides:
toXML in class YDecomposition

initialise

public void initialise(YPersistenceManager pmgr)
                throws YPersistenceException
Initialises the variable/parameter declarations so that the net may execute.

Overrides:
initialise in class YDecomposition
Throws:
YPersistenceException

setIncomingData

public void setIncomingData(YPersistenceManager pmgr,
                            org.jdom.Element incomingData)
                     throws YDataStateException,
                            YPersistenceException
Throws:
YDataStateException
YPersistenceException

getBusyTasks

public Set<YTask> getBusyTasks()

getEnabledTasks

public Set<YTask> getEnabledTasks(YIdentifier id)

getActiveTasks

public Set<YTask> getActiveTasks(YIdentifier id,
                                 String taskType)

postCaseDataToExternal

public void postCaseDataToExternal(String caseID)

getCaseDataFromExternal

public org.jdom.Element getCaseDataFromExternal(String caseID)

usesSimpleRootData

public boolean usesSimpleRootData()


Copyright © 2004-2012 The YAWL Foundation.