public class GraphDiff
extends java.lang.Object
| Constructor and Description |
|---|
GraphDiff()
Create a new empty diff.
|
GraphDiff(Graph g1,
Graph g2)
Create a diff between two graphs.
|
| Modifier and Type | Method and Description |
|---|---|
void |
apply(Sink g1)
Considering this object is a diff between g1 and g2, calling this method will
applied changes on g1 such that g1 will look like g2.
|
void |
apply(java.lang.String sourceId,
Sink g1) |
void |
end()
Stop to record changes.
|
static void |
main(java.lang.String... args) |
void |
reset()
Clear all recorded changes.
|
void |
reverse(Sink g2)
Considering this object is a diff between g1 and g2, calling this method will
applied changes on g2 such that g2 will look like g1.
|
void |
reverse(java.lang.String sourceId,
Sink g2) |
void |
start(Graph g)
Start to record changes.
|
java.lang.String |
toString() |
public void start(Graph g)
g - the graph to start listening for changes.public void end()
public void reset()
public void apply(Sink g1)
g1 - public void apply(java.lang.String sourceId,
Sink g1)
public void reverse(Sink g2)
g2 - public void reverse(java.lang.String sourceId,
Sink g2)
public java.lang.String toString()
toString in class java.lang.Objectpublic static void main(java.lang.String... args)
throws java.lang.Exception
java.lang.Exception