public interface HistoryManager
Modifier and Type | Method and Description |
---|---|
void |
applyHistory(String userId,
String fragmentId,
GraphContainer container) |
String |
createHistory(String userId,
GraphContainer container) |
String |
getHistoryHash(String userId) |
List<HistoryOperation> |
getHistoryOperations() |
void |
onBind(HistoryOperation operation) |
void |
onUnbind(HistoryOperation operation) |
void applyHistory(String userId, String fragmentId, GraphContainer container)
String createHistory(String userId, GraphContainer container)
void onBind(HistoryOperation operation)
void onUnbind(HistoryOperation operation)
List<HistoryOperation> getHistoryOperations()
Copyright © 2017. All rights reserved.