org.grinvin.conjecture.history

Class StateEntryDelegate

Implemented Interfaces:
ConjectureHistoryEntryDelegate<E,extends,ConjectureHistoryEntry,E>

public class StateEntryDelegate
extends java.lang.Object
implements ConjectureHistoryEntryDelegate<E,extends,ConjectureHistoryEntry,E>

Method Summary

StateEntry
fromElement(Element element, SectionLoader sloader)
void
saveIntoWorkspace(SectionSaver ssaver, StateEntry entry)
Element
toElement(StateEntry entry)

Method Details

fromElement

public StateEntry fromElement(Element element,
                              SectionLoader sloader)
Specified by:
fromElement in interface ConjectureHistoryEntryDelegate<E,extends,ConjectureHistoryEntry,E>

saveIntoWorkspace

public void saveIntoWorkspace(SectionSaver ssaver,
                              StateEntry entry)
            throws IOException

toElement

public Element toElement(StateEntry entry)