public abstract class AbstractAxiomLoader extends SimpleInterrupter implements AxiomLoader
AxiomLoader that minimizes the
effort to implement the interface.| Constructor and Description |
|---|
AbstractAxiomLoader() |
| Modifier and Type | Method and Description |
|---|---|
void |
dispose()
Close resources used by this
AxiomLoader |
abstract boolean |
isLoadingFinished() |
abstract void |
load(ElkAxiomProcessor axiomInserter,
ElkAxiomProcessor axiomDeleter)
Loads pending axioms using the provided
axiomInserter for
inserting axioms and axiomDeleter for deleting axioms; if called
twice, the already loaded axioms will not be processed again |
isInterrupted, setInterruptclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisInterrupted, setInterruptpublic abstract void load(ElkAxiomProcessor axiomInserter, ElkAxiomProcessor axiomDeleter) throws ElkLoadingException
AxiomLoaderaxiomInserter for
inserting axioms and axiomDeleter for deleting axioms; if called
twice, the already loaded axioms will not be processed againload in interface AxiomLoaderaxiomInserter - an ElkAxiomProcessor that inserts the axioms that were
addedaxiomDeleter - an ElkAxiomProcessor that deletes the axioms that were
removedElkLoadingException - if loading cannot be completed successfullypublic abstract boolean isLoadingFinished()
isLoadingFinished in interface AxiomLoadertrue if the loading is finished, i.e., calling
AxiomLoader.load(ElkAxiomProcessor, ElkAxiomProcessor)
will have no effectpublic void dispose()
AxiomLoaderAxiomLoaderdispose in interface AxiomLoaderCopyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.