org.grinvin.conjecture.history

Interface ConjectureHistoryEntryDelegate<E,extends,ConjectureHistoryEntry,E>

Known Implementing Classes:
ConjectureEntryDelegate, StateEntryDelegate

public interface ConjectureHistoryEntryDelegate<E,extends,ConjectureHistoryEntry,E>

Method Summary

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

Method Details

fromElement

public E fromElement(Element element,
                     SectionLoader sloader)

saveIntoWorkspace

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

toElement

public Element toElement(E entry)