public interface ControlFlowConfiguration
Modifier and Type | Method and Description |
---|---|
void |
addBlockedEdge(Edge e)
adds a blocked edge
|
void |
addBlockedEdge(java.util.UUID e)
adds a blocked edge
|
void |
addBlockedEdges(java.util.Set<java.util.UUID> ids)
adds a number of blocked edges
|
void |
addHiddenEdge(Edge e)
adds a hidden edge
|
void |
addHiddenEdge(java.util.UUID e)
adds a hidden edge
|
void |
addHiddenEdges(java.util.Set<java.util.UUID> ids)
adds a number of hidden edges
|
void |
addNonBlockedEdge(Edge e)
adds a non-blocked edge
|
void |
addNonBlockedEdge(java.util.UUID e)
adds a non-blocked edge
|
void |
addNonBlockedEdges(java.util.Set<java.util.UUID> ids)
adds a number of non blocked edges
|
void |
addNonChangeableNode(Node node)
removes a changeable node
|
void |
addNonChangeableNode(java.util.UUID node)
removes a changeable node
|
void |
addNonHiddenEdge(Edge e)
adds a non-hidden edge
|
void |
addNonHiddenEdge(java.util.UUID e)
adds a non-hidden edge
|
void |
addNonHiddenEdges(java.util.Set<java.util.UUID> ids)
adds a number of non hidden edges
|
void |
addNonSelectedReplacement(Block.PlaceHolder placeholder,
Node nonSelectedChild)
sets a replacement option as not selected for a placeholder node
|
void |
addNonSelectedReplacement(java.util.UUID placeholder,
java.util.UUID nonSelectedChild)
sets a replacement option as not selected for a placeholder node
|
java.util.Set<java.util.UUID> |
getBlockedEdges()
returns the set of blocked edges
|
java.util.Set<java.util.UUID> |
getHiddenEdges()
returns the set of hidden edges
|
java.util.Set<java.util.UUID> |
getNonBlockedEdges()
returns the set of non-blocked edges
|
java.util.Set<java.util.UUID> |
getNonHiddenEdges()
returns the set of non-hidden edges
|
java.util.Set<java.util.UUID> |
getNonReplacedNodes()
returns the non-replaced nodes
|
java.util.Map<java.util.UUID,java.util.List<java.util.UUID>> |
getNonSelectedReplacements()
returns the non-selected replacement options
|
java.util.Map<java.util.UUID,ProcessTree.Type> |
getReplacedNodes()
returns the replaced nodes
|
java.util.Map<java.util.UUID,java.util.UUID> |
getSelectedReplacements()
returns the selected replacement options
|
boolean |
isBlocked(Edge e)
returns if an edge is blocked
|
boolean |
isHidden(Edge e)
returns if an edge is hidden
|
boolean |
isNonBlocked(Edge e)
returns if an edge is not blocked
|
boolean |
isNonHidden(Edge e)
returns if an edge is not hidden
|
void |
setChangeableNode(Node node,
ProcessTree.Type type)
sets a changeable node to a specific type
|
void |
setChangeableNode(java.util.UUID node,
ProcessTree.Type type)
sets a changeable node to a specific type
|
void |
setSelectedReplacement(Block.PlaceHolder placeholder,
Node selectedChild)
sets a replacement option for a placeholder node
|
void |
setSelectedReplacement(java.util.UUID placeholder,
java.util.UUID selectedChild)
sets a replacement option for a placeholder node
|
java.lang.String |
toString(ProcessTree pt)
Special version of the toString method where the UUIDs are searched for
in the provided process tree (NULL allowed) and the appropriate toString
method is called for a more intuitive string result
|
void addBlockedEdge(Edge e)
e
- void addBlockedEdge(java.util.UUID e)
e
- void addBlockedEdges(java.util.Set<java.util.UUID> ids)
ids
- void addNonBlockedEdge(Edge e)
e
- void addNonBlockedEdge(java.util.UUID e)
e
- void addNonBlockedEdges(java.util.Set<java.util.UUID> ids)
ids
- void addHiddenEdge(Edge e)
e
- void addHiddenEdge(java.util.UUID e)
e
- void addHiddenEdges(java.util.Set<java.util.UUID> ids)
ids
- void addNonHiddenEdge(Edge e)
e
- void addNonHiddenEdge(java.util.UUID e)
e
- void addNonHiddenEdges(java.util.Set<java.util.UUID> ids)
ids
- void setSelectedReplacement(Block.PlaceHolder placeholder, Node selectedChild)
placeholder
- selectedChild
- void setSelectedReplacement(java.util.UUID placeholder, java.util.UUID selectedChild)
placeholder
- selectedChild
- void addNonSelectedReplacement(Block.PlaceHolder placeholder, Node nonSelectedChild)
placeholder
- nonSelectedChild
- void addNonSelectedReplacement(java.util.UUID placeholder, java.util.UUID nonSelectedChild)
placeholder
- nonSelectedChild
- void setChangeableNode(Node node, ProcessTree.Type type)
node
- type
- void setChangeableNode(java.util.UUID node, ProcessTree.Type type)
node
- type
- void addNonChangeableNode(Node node)
node
- void addNonChangeableNode(java.util.UUID node)
node
- boolean isBlocked(Edge e)
e
- boolean isNonBlocked(Edge e)
e
- boolean isHidden(Edge e)
e
- boolean isNonHidden(Edge e)
e
- java.util.Set<java.util.UUID> getBlockedEdges()
java.util.Set<java.util.UUID> getNonBlockedEdges()
java.util.Set<java.util.UUID> getHiddenEdges()
java.util.Set<java.util.UUID> getNonHiddenEdges()
java.util.Map<java.util.UUID,java.util.UUID> getSelectedReplacements()
java.util.Map<java.util.UUID,java.util.List<java.util.UUID>> getNonSelectedReplacements()
java.util.Map<java.util.UUID,ProcessTree.Type> getReplacedNodes()
java.util.Set<java.util.UUID> getNonReplacedNodes()
java.lang.String toString(ProcessTree pt)
pt
-