Package de.uni_trier.wi2.procake.data.object.nest.utils.impl

Class NESTGraphIDManagerImpl

java.lang.Object

de.uni_trier.wi2.procake.data.object.nest.utils.impl.NESTUtils<NESTGraphObject>

de.uni_trier.wi2.procake.data.object.nest.utils.impl.NESTGraphIDManagerImpl

All Implemented Interfaces:

NESTGraphIDManager

public class NESTGraphIDManagerImpl
extends NESTUtils<NESTGraphObject>
implements NESTGraphIDManager

Field Summary

Fields inherited from class de.uni_trier.wi2.procake.data.object.nest.utils.impl.NESTUtils

graph, model

Constructor Summary

Constructors

Constructor	Description
NESTGraphIDManagerImpl(NESTGraphObject graph)	Constructor.

Method Summary

Modifier and Type	Method	Description
<T extends NESTEdgeObject> T	assignUniqueEdgeId(T edge)	Assigns the given edge a new unique edge id.
void	assignUniqueIds()	Ensures that the graph exclusively consists of graph items with unique ids.
<T extends NESTNodeObject> T	assignUniqueNodeId(T node)	Assigns the given node a new unique node id.
boolean	containsId(String id)	Checks if the graph conatins a given id.
String	getNewUniqueControlflowNodeId()	Generates a new unique id for a controlflow node.
Map.Entry<String,String>	getNewUniqueControlflowNodeIdPair()	Generates a pair of two new unique and corresponding ids for a controlflow start and end node.
String	getNewUniqueDataNodeId()	Generates a new unique data node id.
String	getNewUniqueEdgeId()	Generates a new unique edge id.
String	getNewUniqueNodeId()	Generates a new unique node id.
String	getNewUniqueSubworkflowNodeId()	Generates a new unique subworkflow node id.
String	getNewUniqueTaskNodeId()	Generates a new unique task node id.
String	getNewUniqueWorkflowNodeId()	Generates a new unique workflow node id.
boolean	hasUniqueIds()	Checks if the graph exclusively consists of graph items with valid and unique ids.
boolean	hasValidId(NESTGraphItemObject item)	Checks if the given graph item has a valid id with respect to the prefix.
boolean	isUniqueId(String id)	Checks if the given id is unique.

Methods inherited from class java.lang.Object

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

Constructor Detail

NESTGraphIDManagerImpl

public NESTGraphIDManagerImpl(NESTGraphObject graph)

Constructor.

Parameters:

graph -

Method Detail

assignUniqueIds

public void assignUniqueIds()

Description copied from interface: NESTGraphIDManager

Ensures that the graph exclusively consists of graph items with unique ids.

Specified by:

assignUniqueIds in interface NESTGraphIDManager

assignUniqueNodeId

public <T extends NESTNodeObject> T assignUniqueNodeId(T node)

Description copied from interface: NESTGraphIDManager

Assigns the given node a new unique node id.

Specified by:

assignUniqueNodeId in interface NESTGraphIDManager

Returns:

node with unique id

assignUniqueEdgeId

public <T extends NESTEdgeObject> T assignUniqueEdgeId(T edge)

Description copied from interface: NESTGraphIDManager

Assigns the given edge a new unique edge id.

Specified by:

assignUniqueEdgeId in interface NESTGraphIDManager

Returns:

edge with unique id

hasUniqueIds

public boolean hasUniqueIds()

Description copied from interface: NESTGraphIDManager

Checks if the graph exclusively consists of graph items with valid and unique ids.

Specified by:

hasUniqueIds in interface NESTGraphIDManager

Returns:

true if all ids in the graph are valid and unique, false otherwise

hasValidId

public boolean hasValidId(NESTGraphItemObject item)

Description copied from interface: NESTGraphIDManager

Checks if the given graph item has a valid id with respect to the prefix.

Specified by:

hasValidId in interface NESTGraphIDManager

Returns:

true if the id is valid, false otherwise

getNewUniqueNodeId

public String getNewUniqueNodeId()

Description copied from interface: NESTGraphIDManager

Generates a new unique node id.

Specified by:

getNewUniqueNodeId in interface NESTGraphIDManager

Returns:

unique node id

getNewUniqueTaskNodeId

public String getNewUniqueTaskNodeId()

Description copied from interface: NESTGraphIDManager

Generates a new unique task node id.

Specified by:

getNewUniqueTaskNodeId in interface NESTGraphIDManager

Returns:

unique task node id

getNewUniqueDataNodeId

public String getNewUniqueDataNodeId()

Description copied from interface: NESTGraphIDManager

Generates a new unique data node id.

Specified by:

getNewUniqueDataNodeId in interface NESTGraphIDManager

Returns:

unique data node id

getNewUniqueSubworkflowNodeId

public String getNewUniqueSubworkflowNodeId()

Description copied from interface: NESTGraphIDManager

Generates a new unique subworkflow node id.

Specified by:

getNewUniqueSubworkflowNodeId in interface NESTGraphIDManager

Returns:

unique subworkflow node id

getNewUniqueWorkflowNodeId

public String getNewUniqueWorkflowNodeId()

Description copied from interface: NESTGraphIDManager

Generates a new unique workflow node id.

Specified by:

getNewUniqueWorkflowNodeId in interface NESTGraphIDManager

Returns:

unique workflow node id

getNewUniqueEdgeId

public String getNewUniqueEdgeId()

Description copied from interface: NESTGraphIDManager

Generates a new unique edge id.

Specified by:

getNewUniqueEdgeId in interface NESTGraphIDManager

Returns:

unique edge id

getNewUniqueControlflowNodeIdPair

public Map.Entry<String,String> getNewUniqueControlflowNodeIdPair()

Description copied from interface: NESTGraphIDManager

Generates a pair of two new unique and corresponding ids for a controlflow start and end node.

Specified by:

getNewUniqueControlflowNodeIdPair in interface NESTGraphIDManager

Returns:

key-value-pair with a new unique start node id (key) and a new unique end node id (value)

getNewUniqueControlflowNodeId

public String getNewUniqueControlflowNodeId()

Description copied from interface: NESTGraphIDManager

Generates a new unique id for a controlflow node.

Specified by:

getNewUniqueControlflowNodeId in interface NESTGraphIDManager

Returns:

unique controlflow node id

containsId

public boolean containsId(String id)

Description copied from interface: NESTGraphIDManager

Checks if the graph conatins a given id.

Specified by:

containsId in interface NESTGraphIDManager

Returns:

true if the id is contained, false otherwise

isUniqueId

public boolean isUniqueId(String id)

Description copied from interface: NESTGraphIDManager

Checks if the given id is unique.

Specified by:

isUniqueId in interface NESTGraphIDManager

Returns:

true if the id is unique, false otherwise