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 -