org.grinvin.conjecture.history

Class ConjectureEntryDelegate

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

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

Method Summary

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

Method Details

fromElement

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

saveIntoWorkspace

public void saveIntoWorkspace(SectionSaver ssaver,
                              ConjectureEntry entry)

toElement

public Element toElement(ConjectureEntry entry)