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

Packages that use LatexList

org.qedeq.kernel.bo.service.latex	LaTeX 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 LatexList in org.qedeq.kernel.bo.service.latex

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

void	QedeqBoDuplicateLanguageChecker.visitEnter(LatexList list)
void	QedeqBoDuplicateLanguageChecker.visitLeave(LatexList list)

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

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

LatexList	PredicateDefinition.getDescription() Get description.
LatexList	InitialPredicateDefinition.getDescription() Get description.
LatexList	Axiom.getDescription() Get description.
LatexList	FunctionDefinition.getDescription() Get description.
LatexList	Proposition.getDescription() Get description.
LatexList	ChangedRule.getDescription() Get rule change description.
LatexList	Rule.getDescription() Get rule description.
LatexList	InitialFunctionDefinition.getDescription() Get description.
LatexList	Section.getIntroduction() Get section introduction.
LatexList	Chapter.getIntroduction() Get chapter introduction.
LatexList	LiteratureItem.getItem() Get item.
LatexList	Subsection.getLatex() Get the LaTeX text.
LatexList	Node.getName() Set name of node.
LatexList	Proof.getNonFormalProof() Get proof content.
LatexList	FormalProof.getPrecedingText() Get text before the formula.
LatexList	Node.getPrecedingText() Get text before the formula.
LatexList	FormalProof.getSucceedingText() Get text after the formula.
LatexList	Node.getSucceedingText() Get text after the formula.
LatexList	Header.getSummary() Get module summary.
LatexList	Section.getTitle() Get section title.
LatexList	Node.getTitle() Get title of subsection.
LatexList	Subsection.getTitle() Get title of subsection.
LatexList	Chapter.getTitle() Get chapter title.
LatexList	Header.getTitle() Get module title.

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

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

class

LatexListVo List of LaTeX text parts.

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

LatexList	RuleVo.getDescription()
LatexList	ChangedRuleVo.getDescription()
LatexList	PropositionVo.getDescription()
LatexList	FunctionDefinitionVo.getDescription()
LatexList	AxiomVo.getDescription()
LatexList	InitialPredicateDefinitionVo.getDescription()
LatexList	PredicateDefinitionVo.getDescription()
LatexList	InitialFunctionDefinitionVo.getDescription()
LatexList	SectionVo.getIntroduction()
LatexList	ChapterVo.getIntroduction()
LatexList	LiteratureItemVo.getItem()
LatexList	SubsectionVo.getLatex()
LatexList	NodeVo.getName()
LatexList	ProofVo.getNonFormalProof()
LatexList	NodeVo.getPrecedingText()
LatexList	FormalProofVo.getPrecedingText()
LatexList	NodeVo.getSucceedingText()
LatexList	FormalProofVo.getSucceedingText()
LatexList	HeaderVo.getSummary()
LatexList	SectionVo.getTitle()
LatexList	ChapterVo.getTitle()
LatexList	NodeVo.getTitle()
LatexList	SubsectionVo.getTitle()
LatexList	HeaderVo.getTitle()

Methods in org.qedeq.kernel.se.dto.module with parameters of type LatexList

void	ProofVo.setNonFormalProof(LatexList nonFormalProof) Set LaTeX text for non formal proof.

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

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

void	QedeqNotNullTraverser.accept(LatexList latexList)
void	QedeqTraverser.accept(LatexList latexList) Traverse latex list.
java.lang.String	LatexList2Text.transform(LatexList list) Filters English entry out of LaTeX list.
java.lang.String	LatexList2Text.transform(LatexList list, java.lang.String language) Filters given language entry out of LaTeX list.
void	QedeqVisitor.visitEnter(LatexList latexList) Visit certain element.
void	AbstractModuleVisitor.visitEnter(LatexList latexList)
void	QedeqVisitor.visitLeave(LatexList latexList) Visit certain element.
void	AbstractModuleVisitor.visitLeave(LatexList latexList)

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

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

void	Qedeq2Xml.visitEnter(LatexList latexList)
void	Qedeq2Xml.visitLeave(LatexList latexList)

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

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

void	Context2SimpleXPath.visitEnter(LatexList latexList)
void	Context2SimpleXPath.visitLeave(LatexList latexList)