public class GraphDiff extends 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(String sourceId,
Sink g1) |
void |
end()
Stop to record changes.
|
static void |
main(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(String sourceId,
Sink g2) |
void |
start(Graph g)
Start to record changes.
|
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 reverse(Sink g2)
g2
- Copyright © 2015. All rights reserved.