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.Object
public static void main(java.lang.String... args) throws java.lang.Exception
java.lang.Exception