public interface ExecutableInstancePropertyTracker
ExecutableInstance
objects.
Note: this is for internal use only!
After creation of an ExecutableInstance, there are no properties
marked as changed. Any changes after the creation will be tracked and can
be accessed using getChangedProperties(), getChangedNodes()
and getChangedNodeProperties(int).
After storing the the ExecutableInstance, the changed properties
need to be cleared by calling clearChangedProperties()
| Modifier and Type | Interface and Description |
|---|---|
static class |
ExecutableInstancePropertyTracker.ExecutableInstanceNodeProperty
Node properties which are changeable in an executable instance.
|
static class |
ExecutableInstancePropertyTracker.ExecutableInstanceProperty
Properties which are changeable in an executable instance.
|
| Modifier and Type | Method and Description |
|---|---|
void |
clearChangedProperties()
Clears (resets) all properties to be unchanged.
|
java.util.Set<ExecutableInstancePropertyTracker.ExecutableInstanceNodeProperty> |
getChangedNodeProperties(int nodeID)
Returns the node properties in the
ExecutableInstance of the given
node which have been changed. |
java.util.Set<java.lang.Integer> |
getChangedNodes()
Returns the set of nodes which have changed properties.
|
java.util.Set<ExecutableInstancePropertyTracker.ExecutableInstanceProperty> |
getChangedProperties()
Returns the properties of the
ExecutableInstance which have been
changed. |
java.util.Set<ExecutableInstancePropertyTracker.ExecutableInstanceProperty> getChangedProperties()
ExecutableInstance which have been
changed.java.util.Set<ExecutableInstancePropertyTracker.ExecutableInstanceNodeProperty> getChangedNodeProperties(int nodeID)
ExecutableInstance of the given
node which have been changed.nodeID - The ID of the node.void clearChangedProperties()
java.util.Set<java.lang.Integer> getChangedNodes()