Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.conjecture.history.StateEntryDelegate
public class StateEntryDelegate
extends java.lang.Object
Method Summary | |
StateEntry |
|
void |
|
Element |
|
public StateEntry fromElement(Element element, SectionLoader sloader)
- Specified by:
- fromElement in interface ConjectureHistoryEntryDelegate<E,extends,ConjectureHistoryEntry,E>
public void saveIntoWorkspace(SectionSaver ssaver, StateEntry entry) throws IOException