|
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.latex.Qedeq2Latex
Transfer a QEDEQ module into a LaTeX file.
TODO mime 20070131: This is just a quick written generator. No parsing or validation of inline LaTeX text is done. No references to other QEDEQ modules are resolved. This class just generates some LaTeX output to be able to get a visual impression of a QEDEQ module.
This generator operates operates against the interface declaration of a QEDEQ module. A business object is not yet required.
Method Summary | |
static void |
print(String globalContext,
QedeqBo qedeq,
TextOutput printer,
String language,
String level)
Prints a XML representation of given QEDEQ module into a given output stream. |
void |
visitEnter(Axiom axiom)
Visit certain element. |
void |
visitEnter(Chapter chapter)
Visit certain element. |
void |
visitEnter(FunctionDefinition definition)
Visit certain element. |
void |
visitEnter(Header header)
Visit certain element. |
void |
visitEnter(LinkList linkList)
Visit certain element. |
void |
visitEnter(LiteratureItem item)
Visit certain element. |
void |
visitEnter(LiteratureItemList list)
Visit certain element. |
void |
visitEnter(Node node)
Visit certain element. |
void |
visitEnter(PredicateDefinition definition)
Visit certain element. |
void |
visitEnter(Proof proof)
Visit certain element. |
void |
visitEnter(Proposition proposition)
Visit certain element. |
void |
visitEnter(Qedeq qedeq)
Visit certain element. |
void |
visitEnter(Rule rule)
Visit certain element. |
void |
visitEnter(Section section)
Visit certain element. |
void |
visitEnter(Subsection subsection)
Visit certain element. |
void |
visitLeave(Chapter chapter)
Visit certain element. |
void |
visitLeave(FunctionDefinition definition)
Visit certain element. |
void |
visitLeave(LiteratureItemList list)
Visit certain element. |
void |
visitLeave(Node node)
Visit certain element. |
void |
visitLeave(Qedeq qedeq)
Visit certain element. |
void |
visitLeave(Rule rule)
Visit certain element. |
void |
visitLeave(Section section)
Visit certain element. |
void |
visitLeave(SectionList list)
Visit certain element. |
void |
visitLeave(Subsection subsection)
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, 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 print(String globalContext, QedeqBo qedeq, TextOutput printer, String language, String level) throws ModuleDataException, IOException
globalContext
- Module location information.qedeq
- Basic QEDEQ module object.printer
- Print herein.language
- Filter text to get and produce text in this language only.level
- Filter for this detail level. TODO mime 20050205: not supported yet.
ModuleDataException
- Major problem occurred.
IOException
public final void visitEnter(Qedeq qedeq)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public final void visitLeave(Qedeq qedeq)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Header header)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitEnter(Chapter chapter)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Chapter chapter)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitLeave(SectionList list)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Section section)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Section section)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Subsection subsection)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Subsection subsection)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Node node)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Node node)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Axiom axiom)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitEnter(Proposition proposition)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitEnter(Proof proof)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitEnter(PredicateDefinition definition)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitEnter(FunctionDefinition definition)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(FunctionDefinition definition)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Rule rule)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Rule rule)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(LinkList linkList)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitEnter(LiteratureItemList list)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(LiteratureItemList list)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(LiteratureItem item)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
|
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. |