public interface HistoryManager
Modifier and Type | Method and Description |
---|---|
void |
applyHistory(String fragmentId,
GraphContainer container) |
String |
create(GraphContainer container) |
void |
onBind(HistoryOperation operation) |
void |
onUnbind(HistoryOperation operation) |
void applyHistory(String fragmentId, GraphContainer container)
String create(GraphContainer container)
void onBind(HistoryOperation operation)
void onUnbind(HistoryOperation operation)
Copyright © 2015. All Rights Reserved.