public class DeleteEmptyBranch
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected static java.util.logging.Logger |
logger
a Logger
|
| Constructor and Description |
|---|
DeleteEmptyBranch() |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
isPossible(ChangeableInstance instance,
Node split,
Node join)
Checks if it is valid (concerning structural and state-based correctness)
to delete the given branch from the given instance.
|
static boolean |
isPossible(ChangeableInstance instance,
Node split,
Node join,
CheckReport checkReport)
Checks if it is valid (concerning structural and state-based correctness)
to delete the given branch from the instance.
|
static boolean |
isPossible(Template template,
Node split,
Node join)
Checks if it is valid (concerning structural correctness) to delete the
given branch from the template.
|
static boolean |
isPossible(Template template,
Node split,
Node join,
CheckReport checkReport)
Checks if it is valid (concerning structural correctness) to delete the
given branch from the template.
|
static void |
performOperation(ChangeableInstance instance,
Node split,
Node join)
Deletes an empty branch between split and join in the given instance.
|
static void |
performOperation(ChangeableInstance instance,
Node split,
Node join,
UpdateManager updateManager)
Deletes an empty branch between split and join in the given instance (with
updateManager).
|
static void |
performOperation(ChangeableTemplate template,
Node split,
Node join)
Deletes an empty branch between split and join in the given template.
|
static void |
performOperation(ChangeableTemplate template,
Node split,
Node join,
UpdateManager updateManager)
Deletes an empty branch between split and join in the given template (with
updateManager).
|
protected static void |
performOperation(ChangePrimitives processGraph,
Node split,
Node join,
UpdateManager updateManager)
Worker method to do the structural changes for both changeable templates
and changeable instances.
|
public static boolean isPossible(Template template, Node split, Node join)
template - the template where the branch should be deletedsplit - the splitting nodejoin - the joining nodepublic static boolean isPossible(Template template, Node split, Node join, CheckReport checkReport)
template - the template where the branch should be deletedsplit - the splitting nodejoin - the joining nodecheckReport - 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(ChangeableInstance instance, Node split, Node join)
instance - the changeable instance where the branch should be deletedsplit - the splitting nodejoin - the joining nodepublic static boolean isPossible(ChangeableInstance instance, Node split, Node join, CheckReport checkReport)
instance - the changeable instance where the branch should be deletedsplit - the splitting nodejoin - the joining nodecheckReport - 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 void performOperation(ChangeableTemplate template, Node split, Node join)
template - the template where the branch is to be deletedsplit - the splitting nodejoin - the joining nodepublic static void performOperation(ChangeableTemplate template, Node split, Node join, UpdateManager updateManager)
template - the template where the branch is to be deletedsplit - the splitting nodejoin - the joining nodeupdateManager - the manager who controls the update of the visual
graph components.public static void performOperation(ChangeableInstance instance, Node split, Node join)
instance - the changeable instance where the branch is to be deletedsplit - the splitting nodejoin - the joining nodepublic static void performOperation(ChangeableInstance instance, Node split, Node join, UpdateManager updateManager)
instance - the changeable instance where the branch is to be deletedsplit - the splitting nodejoin - the joining nodeupdateManager - the manager who controls the update of the visual
graph components.protected static void performOperation(ChangePrimitives processGraph, Node split, Node join, UpdateManager updateManager)
processGraph - an instance of type ChangeableTemplate or
ChangeableInstancesplit - the splitting nodejoin - the joining nodeupdateManager - the manager who controls the update of the visual
graph components.