Uses of Interface
org.qedeq.kernel.se.base.module.Header

Packages that use Header

org.qedeq.kernel.bo.service.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.bo.service.logic	Contains logical services.
org.qedeq.kernel.bo.service.unicode	UTF-8 export abilities of the kernel.
org.qedeq.kernel.se.base.module	The main functionalities of qedeq modules are described here.
org.qedeq.kernel.se.dto.module	Value objects for QEDEQ modules.
org.qedeq.kernel.se.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.xml.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

Uses of Header in org.qedeq.kernel.bo.service.latex

Methods in org.qedeq.kernel.bo.service.latex with parameters of type Header

void	Qedeq2LatexExecutor.visitEnter(Header header)
void	Qedeq2LatexExecutor.visitLeave(Header header)

Uses of Header in org.qedeq.kernel.bo.service.logic

Methods in org.qedeq.kernel.bo.service.logic with parameters of type Header

void	FormalProofCheckerExecutor.visitEnter(Header header)

Uses of Header in org.qedeq.kernel.bo.service.unicode

Methods in org.qedeq.kernel.bo.service.unicode with parameters of type Header

void	Qedeq2UnicodeVisitor.visitEnter(Header header)
void	Qedeq2UnicodeVisitor.visitLeave(Header header)

Uses of Header in org.qedeq.kernel.se.base.module

Methods in org.qedeq.kernel.se.base.module that return Header

Header

Qedeq.getHeader() Get module header.

Uses of Header in org.qedeq.kernel.se.dto.module

Classes in org.qedeq.kernel.se.dto.module that implement Header

class

HeaderVo Header of a qedeq file.

Methods in org.qedeq.kernel.se.dto.module that return Header

Header

QedeqVo.getHeader()

Uses of Header in org.qedeq.kernel.se.visitor

Methods in org.qedeq.kernel.se.visitor with parameters of type Header

void	QedeqNotNullTraverser.accept(Header header)
void	QedeqTraverser.accept(Header header) Traverse header.
void	QedeqVisitor.visitEnter(Header header) Visit certain element.
void	AbstractModuleVisitor.visitEnter(Header header)
void	QedeqVisitor.visitLeave(Header header) Visit certain element.
void	AbstractModuleVisitor.visitLeave(Header header)

Uses of Header in org.qedeq.kernel.xml.dao

Methods in org.qedeq.kernel.xml.dao with parameters of type Header

void	Qedeq2Xml.visitEnter(Header header)
void	Qedeq2Xml.visitLeave(Header header)

Uses of Header in org.qedeq.kernel.xml.mapper

Methods in org.qedeq.kernel.xml.mapper with parameters of type Header

void	Context2SimpleXPath.visitEnter(Header header)
void	Context2SimpleXPath.visitLeave(Header header)