public class InsertBetweenNodeSets
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected static java.util.logging.Logger |
logger
a Logger
|
| Constructor and Description |
|---|
InsertBetweenNodeSets() |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
isPossible(Instance instance,
java.util.List<java.lang.Integer> preds,
java.util.List<java.lang.Integer> succs)
Check if it is possible (concerning structural and state based correctness)
to insert a node which is executed after the nodes given in preds and
before the nodes given in succs in the given instance.
|
static boolean |
isPossible(Instance instance,
java.util.List<java.lang.Integer> preds,
java.util.List<java.lang.Integer> succs,
CheckReport checkReport)
Check if it is possible (concerning structural and state based correctness)
to insert a node which is executed after the nodes given in preds and
before the nodes given in succs in the given instance.
|
static boolean |
isPossible(Template template,
java.util.List<java.lang.Integer> preds,
java.util.List<java.lang.Integer> succs)
Check if it is possible (concerning structural correctness) to insert a
node which is executed after the nodes given in preds and before the nodes
given in succs in the given template.
|
static boolean |
isPossible(Template template,
java.util.List<java.lang.Integer> preds,
java.util.List<java.lang.Integer> succs,
CheckReport checkReport)
Check if it is possible (concerning structural correctness) to insert a
node which is executed after the nodes given in preds and before the nodes
given in succs in the given template.
|
static Node |
performOperation(SessionToken session,
ChangeableInstance instance,
java.util.List<java.lang.Integer> preds,
java.util.List<java.lang.Integer> succs)
Insert a new node between two nodes in the given instance.
|
static Node |
performOperation(SessionToken session,
ChangeableInstance instance,
java.util.List<java.lang.Integer> preds,
java.util.List<java.lang.Integer> succs,
UpdateManager updateManager)
Insert a new node of type NT_NORMAL between two nodes in the given
instance.
|
static Node |
performOperation(SessionToken session,
ChangeableTemplate template,
java.util.List<java.lang.Integer> preds,
java.util.List<java.lang.Integer> succs)
Insert a new node between the nodes given as predecessors and the nodes
given as successors in the given template.
|
static Node |
performOperation(SessionToken session,
ChangeableTemplate template,
java.util.List<java.lang.Integer> preds,
java.util.List<java.lang.Integer> succs,
UpdateManager updateManager)
Insert a new node of type NT_NORMAL between two nodes in the given
template.
|
protected static Node |
performOperation(SessionToken session,
ChangePrimitives processGraph,
java.util.List<java.lang.Integer> preds,
java.util.List<java.lang.Integer> succs,
ProcessConstants.NodeType type,
UpdateManager updateManager)
Worker method to do the structural changes for both changeable templates
and changeable instances.
|
public static boolean isPossible(Template template, java.util.List<java.lang.Integer> preds, java.util.List<java.lang.Integer> succs)
template - The template where the node should be inserted.preds - The IDs of the nodes which should be executed before the new
node.succs - The IDs of the nodes which should be executed after the new
node.public static boolean isPossible(Template template, java.util.List<java.lang.Integer> preds, java.util.List<java.lang.Integer> succs, CheckReport checkReport)
template - The template where the node should be inserted.preds - The IDs of the nodes which should be executed before the new
node.succs - The IDs of the nodes which should be executed after the new
node.checkReport - a checkReport object which can be filled with the reason
why the isPossible failed (i.e. in the case the method returns
false), may be nullpublic static boolean isPossible(Instance instance, java.util.List<java.lang.Integer> preds, java.util.List<java.lang.Integer> succs)
instance - The changeable instance where the node should be inserted.preds - The IDs of the nodes which should be executed before the new
node.succs - The IDs of the nodes which should be executed after the new
node.public static boolean isPossible(Instance instance, java.util.List<java.lang.Integer> preds, java.util.List<java.lang.Integer> succs, CheckReport checkReport)
instance - The changeable instance where the node should be inserted.preds - The IDs of the nodes which should be executed before the new
node.succs - The IDs of the nodes which should be executed after the new
node.checkReport - a checkReport object which can be filled with the reason
why the isPossible failed (i.e. in the case the method returns
false), may be nullpublic static Node performOperation(SessionToken session, ChangeableTemplate template, java.util.List<java.lang.Integer> preds, java.util.List<java.lang.Integer> succs)
session - The session which is used to check for access rights on this
method.template - The changeable template where the node will be inserted.preds - The IDs of the nodes which should be executed before the new
node.succs - The IDs of the nodes which should be executed after the new
node.public static Node performOperation(SessionToken session, ChangeableTemplate template, java.util.List<java.lang.Integer> preds, java.util.List<java.lang.Integer> succs, UpdateManager updateManager)
session - The session which is used to check for access rights on this
method.template - The changeable template where the node will be inserted.preds - The IDs of the nodes which should be executed before the new
node.succs - The IDs of the nodes which should be executed after the new
node.updateManager - The UpdateManager where modifications are logged, may
be nullpublic static Node performOperation(SessionToken session, ChangeableInstance instance, java.util.List<java.lang.Integer> preds, java.util.List<java.lang.Integer> succs)
session - The session which is used to check for access rights on this
method.instance - The changeable instance where the node will be inserted.preds - The IDs of the nodes which should be executed before the new
node.succs - The IDs of the nodes which should be executed after the new
node.public static Node performOperation(SessionToken session, ChangeableInstance instance, java.util.List<java.lang.Integer> preds, java.util.List<java.lang.Integer> succs, UpdateManager updateManager)
session - The session which is used to check for access rights on this
method.instance - The changeable instance where the node will be inserted.preds - The IDs of the nodes which should be executed before the new
node.succs - The IDs of the nodes which should be executed after the new
node.updateManager - the manager which is responsible for the graphical
adaptation of the template (maybe null)protected static Node performOperation(SessionToken session, ChangePrimitives processGraph, java.util.List<java.lang.Integer> preds, java.util.List<java.lang.Integer> succs, ProcessConstants.NodeType type, UpdateManager updateManager)
session - The session which is used to check for access rights on this
method.processGraph - an instance of type ChangeableTemplate or
ChangeableInstancepreds - The IDs of the nodes which should be executed before the new
node.succs - The IDs of the nodes which should be executed after the new
node.type - the type of the new nodeupdateManager - the manager which is responsible for the graphical
adaptation of the template (maybe null)