public class ComposedAxiomLoader extends SimpleInterrupter implements AxiomLoader
AxiomLoader that consists of two given AxiomLoaders. When
changes are loaded, they are first loaded using the first AxiomLoader
, and then using the second one.| Constructor and Description |
|---|
ComposedAxiomLoader(AxiomLoader firstLoader,
AxiomLoader secondLoader) |
| Modifier and Type | Method and Description |
|---|---|
void |
dispose()
Close resources used by this
AxiomLoader |
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 |
void |
setInterrupt(boolean flag) |
isInterruptedclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisInterruptedpublic ComposedAxiomLoader(AxiomLoader firstLoader, AxiomLoader secondLoader)
public 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 void dispose()
AxiomLoaderAxiomLoaderdispose in interface AxiomLoaderpublic boolean isLoadingFinished()
isLoadingFinished in interface AxiomLoadertrue if the loading is finished, i.e., calling
AxiomLoader.load(ElkAxiomProcessor, ElkAxiomProcessor)
will have no effectpublic void setInterrupt(boolean flag)
setInterrupt in interface InterruptersetInterrupt in class SimpleInterrupterCopyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.