|
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.Qedeq2Xml
This class prints a QEDEQ module in XML format in an output stream.
Method Summary | |
static void |
print(String globalContext,
QedeqBo qedeq,
TextOutput printer)
Prints a XML representation of given QEDEQ module into a given output stream. |
void |
visitEnter(Author author)
Visit certain element. |
void |
visitEnter(AuthorList authorList)
Visit certain element. |
void |
visitEnter(Axiom axiom)
Visit certain element. |
void |
visitEnter(Chapter chapter)
Visit certain element. |
void |
visitEnter(ElementList list)
Visit certain element. |
void |
visitEnter(Formula formula)
Visit certain element. |
void |
visitEnter(FunctionDefinition definition)
Visit certain element. |
void |
visitEnter(Header header)
Visit certain element. |
void |
visitEnter(Import imp)
Visit certain element. |
void |
visitEnter(ImportList importList)
Visit certain element. |
void |
visitEnter(Latex latex)
Visit certain element. |
void |
visitEnter(LatexList latexList)
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(Location location)
Visit certain element. |
void |
visitEnter(LocationList locationList)
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(Specification specification)
Visit certain element. |
void |
visitEnter(Subsection subsection)
Visit certain element. |
void |
visitEnter(SubsectionList subsectionList)
Visit certain element. |
void |
visitEnter(Term term)
Visit certain element. |
void |
visitEnter(UsedByList usedByList)
Visit certain element. |
void |
visitEnter(VariableList variableList)
Visit certain element. |
void |
visitLeave(Author author)
Visit certain element. |
void |
visitLeave(AuthorList authorList)
Visit certain element. |
void |
visitLeave(Axiom axiom)
Visit certain element. |
void |
visitLeave(Chapter chapter)
Visit certain element. |
void |
visitLeave(ElementList list)
Visit certain element. |
void |
visitLeave(Formula formula)
Visit certain element. |
void |
visitLeave(FunctionDefinition definition)
Visit certain element. |
void |
visitLeave(Header header)
Visit certain element. |
void |
visitLeave(Import imp)
Visit certain element. |
void |
visitLeave(ImportList importList)
Visit certain element. |
void |
visitLeave(Latex latex)
Visit certain element. |
void |
visitLeave(LatexList latexList)
Visit certain element. |
void |
visitLeave(LiteratureItem item)
Visit certain element. |
void |
visitLeave(LiteratureItemList list)
Visit certain element. |
void |
visitLeave(LocationList locationList)
Visit certain element. |
void |
visitLeave(Node node)
Visit certain element. |
void |
visitLeave(PredicateDefinition definition)
Visit certain element. |
void |
visitLeave(Proof proof)
Visit certain element. |
void |
visitLeave(Proposition proposition)
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(Specification specification)
Visit certain element. |
void |
visitLeave(Subsection subsection)
Visit certain element. |
void |
visitLeave(SubsectionList subsectionList)
Visit certain element. |
void |
visitLeave(Term term)
Visit certain element. |
void |
visitLeave(UsedByList usedByList)
Visit certain element. |
void |
visitLeave(VariableList variableList)
Visit certain element. |
Methods inherited from class org.qedeq.kernel.bo.visitor.AbstractModuleVisitor |
visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, 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) throws ModuleDataException, IOException
globalContext
- Module location information.qedeq
- BO QEDEQ module object.printer
- Print herein.
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 visitLeave(Header header)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Specification specification)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Specification specification)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(LatexList latexList)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(LatexList latexList)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Latex latex)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Latex latex)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(LocationList locationList)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(LocationList locationList)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Location location)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitEnter(AuthorList authorList)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(AuthorList authorList)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Author author)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Author author)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(ImportList importList)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(ImportList importList)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Import imp)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Import imp)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(UsedByList usedByList)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(UsedByList usedByList)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
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 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(SubsectionList subsectionList)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(SubsectionList subsectionList)
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 visitLeave(Axiom axiom)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Proposition proposition)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Proposition proposition)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Proof proof)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Proof proof)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(PredicateDefinition definition)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(PredicateDefinition definition)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
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(Formula formula)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Formula formula)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(Term term)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(Term term)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(VariableList variableList)
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(VariableList variableList)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
in class AbstractModuleVisitor
public void visitEnter(ElementList list)
ListVisitor
visitEnter
in interface ListVisitor
visitEnter
in class AbstractModuleVisitor
public void visitLeave(ElementList list)
ListVisitor
visitLeave
in interface ListVisitor
visitLeave
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
public void visitLeave(LiteratureItem item)
QedeqVisitor
visitLeave
in interface QedeqVisitor
visitLeave
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. |