public class EmptyAxiomLoader extends AbstractAxiomLoader implements AxiomLoader
AxiomLoader that loads nothing| Constructor and Description |
|---|
EmptyAxiomLoader() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
isLoadingFinished() |
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 |
disposeisInterrupted, setInterruptclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitdisposeisInterrupted, setInterruptpublic 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 AxiomLoaderload in class AbstractAxiomLoaderaxiomInserter - an ElkAxiomProcessor that inserts the axioms that were
addedaxiomDeleter - an ElkAxiomProcessor that deletes the axioms that were
removedElkLoadingException - if loading cannot be completed successfullypublic boolean isLoadingFinished()
isLoadingFinished in interface AxiomLoaderisLoadingFinished in class AbstractAxiomLoadertrue if the loading is finished, i.e., calling
AxiomLoader.load(ElkAxiomProcessor, ElkAxiomProcessor)
will have no effectCopyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.