|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.qedeq.kernel.bo.visitor.AbstractModuleVisitor org.qedeq.kernel.bo.control.QedeqBoDuplicateLanguageChecker
Checks if all formulas of a QEDEQ module are well formed.
Method Summary | |
static void |
check(String globalContext,
QedeqBo qedeq)
Checks if all formulas of a QEDEQ module are well formed. |
ModuleContext |
getCurrentContext()
Get current context within original. |
protected Qedeq |
getQedeqOriginal()
Get original QEDEQ module. |
void |
setLocationWithinModule(String locationWithinModule)
Set location information where are we within the original module. |
void |
visitEnter(LatexList list)
Visit certain element. |
void |
visitLeave(LatexList list)
Visit certain element. |
Methods inherited from class org.qedeq.kernel.bo.visitor.AbstractModuleVisitor |
visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
public static void check(String globalContext, QedeqBo qedeq) throws ModuleDataException
globalContext
- Module location information.qedeq
- Basic QEDEQ module object.
ModuleDataException
- Major problem occurred.public final void visitEnter(LatexList list) throws ModuleDataException
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
ModuleDataException
public final void visitLeave(LatexList list)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void setLocationWithinModule(String locationWithinModule)
locationWithinModule
- Location within module.public final ModuleContext getCurrentContext()
protected final Qedeq getQedeqOriginal()
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |