public class ModelDifferenceTracker extends java.lang.Object implements ProcessModelListener
Constructor and Description |
---|
ModelDifferenceTracker(ProcessModel model) |
Modifier and Type | Method and Description |
---|---|
void |
processEdgeAdded(ProcessEdge edge)
Is called if a ProcessEdge is added to the model.
|
void |
processEdgeRemoved(ProcessEdge edge)
Is called if a ProcessEdge is removed from the model.
|
void |
processNodeAdded(ProcessNode newNode)
Is called if a ProcessNode is added to the model.
|
void |
processNodeRemoved(ProcessNode remNode)
Is called if a ProcessNode is removed from the model.
|
void |
processObjectPropertyChange(ProcessObject obj,
java.lang.String name,
java.lang.String oldValue,
java.lang.String newValue)
Is called each time a property of a contained ProcessObject changes.
|
JSONObject |
toJSON(java.lang.String addressPrefix) |
org.w3c.dom.Element |
toXML(org.w3c.dom.Document doc,
org.w3c.dom.Element parentEl,
java.lang.String addressPrefix) |
org.w3c.dom.Document |
toXML(java.lang.String addressPrefix) |
public ModelDifferenceTracker(ProcessModel model)
public void processNodeAdded(ProcessNode newNode)
ProcessModelListener
processNodeAdded
in interface ProcessModelListener
public void processNodeRemoved(ProcessNode remNode)
ProcessModelListener
processNodeRemoved
in interface ProcessModelListener
public void processEdgeAdded(ProcessEdge edge)
ProcessModelListener
processEdgeAdded
in interface ProcessModelListener
public void processEdgeRemoved(ProcessEdge edge)
ProcessModelListener
processEdgeRemoved
in interface ProcessModelListener
public void processObjectPropertyChange(ProcessObject obj, java.lang.String name, java.lang.String oldValue, java.lang.String newValue)
ProcessModelListener
processObjectPropertyChange
in interface ProcessModelListener
public JSONObject toJSON(java.lang.String addressPrefix) throws JSONException
JSONException
public org.w3c.dom.Document toXML(java.lang.String addressPrefix)
public org.w3c.dom.Element toXML(org.w3c.dom.Document doc, org.w3c.dom.Element parentEl, java.lang.String addressPrefix)