public class SavedHistory extends Object
Modifier | Constructor and Description |
---|---|
protected |
SavedHistory() |
|
SavedHistory(GraphContainer graphContainer,
Collection<HistoryOperation> operations) |
Modifier and Type | Method and Description |
---|---|
void |
apply(GraphContainer graphContainer,
Collection<HistoryOperation> operations) |
BoundingBox |
getBoundingBox() |
protected static Set<VertexRef> |
getFocusVertices(GraphContainer graphContainer) |
String |
getFragment() |
int |
getSemanticZoomLevel() |
String |
toString() |
protected SavedHistory()
public SavedHistory(GraphContainer graphContainer, Collection<HistoryOperation> operations)
protected static Set<VertexRef> getFocusVertices(GraphContainer graphContainer)
public int getSemanticZoomLevel()
public BoundingBox getBoundingBox()
public String getFragment()
public void apply(GraphContainer graphContainer, Collection<HistoryOperation> operations)
Copyright © 2016. All rights reserved.