Uses of Class
org.qedeq.kernel.bo.module.ModuleDataException

Packages that use ModuleDataException

org.qedeq.kernel.bo.control	Contains business object controllers.
org.qedeq.kernel.bo.load	Load QEDEQ module files from local system or from the internet.
org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

Uses of ModuleDataException in org.qedeq.kernel.bo.control

Subclasses of ModuleDataException in org.qedeq.kernel.bo.control

class

LatexListDataException Data validation error for an LatexList element of a QEDEQ module.

Methods in org.qedeq.kernel.bo.control that throw ModuleDataException

static void	QedeqBoFormalLogicChecker.check(String globalContext, QedeqBo qedeq) Checks if all formulas of a QEDEQ module are well formed.
void	QedeqBoFormalLogicChecker.visitEnter(Axiom axiom)
void	QedeqBoFormalLogicChecker.visitEnter(PredicateDefinition definition)
void	QedeqBoFormalLogicChecker.visitEnter(FunctionDefinition definition)
void	QedeqBoFormalLogicChecker.visitEnter(Proposition proposition)
void	QedeqBoFormalLogicChecker.visitEnter(Rule rule)
static void	QedeqBoDuplicateLanguageChecker.check(String globalContext, QedeqBo qedeq) Checks if all formulas of a QEDEQ module are well formed.
void	QedeqBoDuplicateLanguageChecker.visitEnter(LatexList list)

Uses of ModuleDataException in org.qedeq.kernel.bo.load

Subclasses of ModuleDataException in org.qedeq.kernel.bo.load

class

ModuleLoadingException Error during module loading.

Methods in org.qedeq.kernel.bo.load that throw ModuleDataException

static DefaultQedeqBo

QedeqBoFactory.createQedeq(String globalContext, Qedeq original) Create DefaultQedeqBo out of an Qedeq instance.

Uses of ModuleDataException in org.qedeq.kernel.bo.logic

Subclasses of ModuleDataException in org.qedeq.kernel.bo.logic

class	ElementCheckException This is an exception for logical errors within a QEDEQ module.
class	FormulaCheckException This is an exception for logical errors within a QEDEQ module.
class	LogicalCheckException This is the basis for an exception for logical errors within a QEDEQ module.
class	TermCheckException This is an exception for logical errors within a QEDEQ module.

Uses of ModuleDataException in org.qedeq.kernel.bo.module

Subclasses of ModuleDataException in org.qedeq.kernel.bo.module

class

IllegalModuleDataException Data validation error for a QEDEQ module.

Uses of ModuleDataException in org.qedeq.kernel.bo.visitor

Methods in org.qedeq.kernel.bo.visitor that throw ModuleDataException

void	QedeqVisitor.visitEnter(Author author) Visit certain element.
void	QedeqVisitor.visitEnter(AuthorList authorList) Visit certain element.
void	QedeqVisitor.visitEnter(Axiom axiom) Visit certain element.
void	QedeqVisitor.visitEnter(Chapter chapter) Visit certain element.
void	QedeqVisitor.visitEnter(ChapterList chapterList) Visit certain element.
void	QedeqVisitor.visitEnter(Formula formula) Visit certain element.
void	QedeqVisitor.visitEnter(FunctionDefinition functionDefinition) Visit certain element.
void	QedeqVisitor.visitEnter(Header header) Visit certain element.
void	QedeqVisitor.visitEnter(Import imp) Visit certain element.
void	QedeqVisitor.visitEnter(ImportList importList) Visit certain element.
void	QedeqVisitor.visitEnter(Latex latex) Visit certain element.
void	QedeqVisitor.visitEnter(LatexList latexList) Visit certain element.
void	QedeqVisitor.visitEnter(LinkList linkList) Visit certain element.
void	QedeqVisitor.visitEnter(LiteratureItem literatureItem) Visit certain element.
void	QedeqVisitor.visitEnter(LiteratureItemList literatureItemList) Visit certain element.
void	QedeqVisitor.visitEnter(Location location) Visit certain element.
void	QedeqVisitor.visitEnter(LocationList locationList) Visit certain element.
void	QedeqVisitor.visitEnter(Node authorList) Visit certain element.
void	QedeqVisitor.visitEnter(PredicateDefinition predicateDefinition) Visit certain element.
void	QedeqVisitor.visitEnter(Proof proof) Visit certain element.
void	QedeqVisitor.visitEnter(ProofList proofList) Visit certain element.
void	QedeqVisitor.visitEnter(Proposition proposition) Visit certain element.
void	QedeqVisitor.visitEnter(Qedeq qedeq) Visit certain element.
void	QedeqVisitor.visitEnter(Rule rule) Visit certain element.
void	QedeqVisitor.visitEnter(Section section) Visit certain element.
void	QedeqVisitor.visitEnter(SectionList sectionList) Visit certain element.
void	QedeqVisitor.visitEnter(Specification specification) Visit certain element.
void	QedeqVisitor.visitEnter(Subsection subsection) Visit certain element.
void	QedeqVisitor.visitEnter(SubsectionList subsectionList) Visit certain element.
void	QedeqVisitor.visitEnter(SubsectionType subsectionType) Visit certain element.
void	QedeqVisitor.visitEnter(Term term) Visit certain element.
void	QedeqVisitor.visitEnter(UsedByList usedByList) Visit certain element.
void	QedeqVisitor.visitEnter(VariableList variableList) Visit certain element.
void	QedeqVisitor.visitLeave(Author author) Visit certain element.
void	QedeqVisitor.visitLeave(AuthorList authorList) Visit certain element.
void	QedeqVisitor.visitLeave(Axiom axiom) Visit certain element.
void	QedeqVisitor.visitLeave(Chapter chapter) Visit certain element.
void	QedeqVisitor.visitLeave(ChapterList chapterList) Visit certain element.
void	QedeqVisitor.visitLeave(Formula formula) Visit certain element.
void	QedeqVisitor.visitLeave(FunctionDefinition functionDefinition) Visit certain element.
void	QedeqVisitor.visitLeave(Header header) Visit certain element.
void	QedeqVisitor.visitLeave(Import imp) Visit certain element.
void	QedeqVisitor.visitLeave(ImportList importList) Visit certain element.
void	QedeqVisitor.visitLeave(Latex latex) Visit certain element.
void	QedeqVisitor.visitLeave(LatexList latexList) Visit certain element.
void	QedeqVisitor.visitLeave(LinkList linkList) Visit certain element.
void	QedeqVisitor.visitLeave(LiteratureItem literatureItem) Visit certain element.
void	QedeqVisitor.visitLeave(LiteratureItemList literatureItemList) Visit certain element.
void	QedeqVisitor.visitLeave(Location location) Visit certain element.
void	QedeqVisitor.visitLeave(LocationList locationList) Visit certain element.
void	QedeqVisitor.visitLeave(Node authorList) Visit certain element.
void	QedeqVisitor.visitLeave(PredicateDefinition predicateDefinition) Visit certain element.
void	QedeqVisitor.visitLeave(Proof proof) Visit certain element.
void	QedeqVisitor.visitLeave(ProofList proofList) Visit certain element.
void	QedeqVisitor.visitLeave(Proposition proposition) Visit certain element.
void	QedeqVisitor.visitLeave(Qedeq qedeq) Visit certain element.
void	QedeqVisitor.visitLeave(Rule rule) Visit certain element.
void	QedeqVisitor.visitLeave(Section section) Visit certain element.
void	QedeqVisitor.visitLeave(SectionList sectionList) Visit certain element.
void	QedeqVisitor.visitLeave(Specification specification) Visit certain element.
void	QedeqVisitor.visitLeave(Subsection subsection) Visit certain element.
void	QedeqVisitor.visitLeave(SubsectionList subsectionList) Visit certain element.
void	QedeqVisitor.visitLeave(SubsectionType subsectionType) Visit certain element.
void	QedeqVisitor.visitLeave(Term term) Visit certain element.
void	QedeqVisitor.visitLeave(UsedByList usedByList) Visit certain element.
void	QedeqVisitor.visitLeave(VariableList variableList) Visit certain element.
void	QedeqTransverser.accept(Qedeq qedeq) Start with the top structure of a QEDEQ module.
void	QedeqTransverser.accept(Header header) Traverse header.
void	QedeqTransverser.accept(UsedByList usedByList) Traverse used by list.
void	QedeqTransverser.accept(ImportList importList) Traverse import list.
void	QedeqTransverser.accept(Import imp) Traverse import.
void	QedeqTransverser.accept(Specification specification) Traverse specification.
void	QedeqTransverser.accept(LocationList locationList) Traverse location list.
void	QedeqTransverser.accept(Location location) Traverse location.
void	QedeqTransverser.accept(AuthorList authorList) Traverse author list.
void	QedeqTransverser.accept(Author author) Traverse author.
void	QedeqTransverser.accept(ChapterList chapterList) Traverse chapter list.
void	QedeqTransverser.accept(Chapter chapter) Traverse chapter.
void	QedeqTransverser.accept(LiteratureItemList literatureItemList) Traverse literature item list.
void	QedeqTransverser.accept(LiteratureItem literatureItem) Traverse literature item.
void	QedeqTransverser.accept(SectionList sectionList) Traverse section list.
void	QedeqTransverser.accept(Section section) Traverse section.
void	QedeqTransverser.accept(SubsectionList subsectionList) Traverse subsection list.
void	QedeqTransverser.accept(Subsection subsection) Traverse subsection list.
void	QedeqTransverser.accept(Node node) Traverse node.
void	QedeqTransverser.accept(Axiom axiom) Traverse axiom.
void	QedeqTransverser.accept(PredicateDefinition definition) Traverse predicate definition.
void	QedeqTransverser.accept(FunctionDefinition definition) Traverse function definition.
void	QedeqTransverser.accept(Proposition proposition) Traverse proposition.
void	QedeqTransverser.accept(Rule rule) Traverse rule.
void	QedeqTransverser.accept(LinkList linkList) Traverse link list.
void	QedeqTransverser.accept(VariableList variableList) Traverse variable list.
void	QedeqTransverser.accept(ProofList proofList) Traverse proof list.
void	QedeqTransverser.accept(Proof proof) Traverse proof.
void	QedeqTransverser.accept(Formula formula) Traverse formula.
void	QedeqTransverser.accept(Term term) Traverse term.
void	QedeqTransverser.accept(LatexList latexList) Traverse latex list.
void	QedeqTransverser.accept(Latex latex) Traverse latex.
void	QedeqTransverser.accept(Element element) Traverse element.
void	QedeqTransverser.accept(Atom atom) Traverse atom.
void	QedeqTransverser.accept(ElementList list) Traverse element list.
void	QedeqNotNullTransverser.accept(Qedeq qedeq)
void	QedeqNotNullTransverser.accept(Header header)
void	QedeqNotNullTransverser.accept(UsedByList usedByList)
void	QedeqNotNullTransverser.accept(ImportList importList)
void	QedeqNotNullTransverser.accept(Import imp)
void	QedeqNotNullTransverser.accept(Specification specification)
void	QedeqNotNullTransverser.accept(LocationList locationList)
void	QedeqNotNullTransverser.accept(Location location)
void	QedeqNotNullTransverser.accept(AuthorList authorList)
void	QedeqNotNullTransverser.accept(Author author)
void	QedeqNotNullTransverser.accept(ChapterList chapterList)
void	QedeqNotNullTransverser.accept(Chapter chapter)
void	QedeqNotNullTransverser.accept(LiteratureItemList literatureItemList)
void	QedeqNotNullTransverser.accept(LiteratureItem item)
void	QedeqNotNullTransverser.accept(SectionList sectionList)
void	QedeqNotNullTransverser.accept(Section section)
void	QedeqNotNullTransverser.accept(SubsectionList subsectionList)
void	QedeqNotNullTransverser.accept(Subsection subsection)
void	QedeqNotNullTransverser.accept(Node node)
void	QedeqNotNullTransverser.accept(Axiom axiom)
void	QedeqNotNullTransverser.accept(PredicateDefinition definition)
void	QedeqNotNullTransverser.accept(FunctionDefinition definition)
void	QedeqNotNullTransverser.accept(Proposition proposition)
void	QedeqNotNullTransverser.accept(Rule rule)
void	QedeqNotNullTransverser.accept(LinkList linkList)
void	QedeqNotNullTransverser.accept(VariableList variableList)
void	QedeqNotNullTransverser.accept(ProofList proofList)
void	QedeqNotNullTransverser.accept(Proof proof)
void	QedeqNotNullTransverser.accept(Formula formula)
void	QedeqNotNullTransverser.accept(Term term)
void	QedeqNotNullTransverser.accept(Element element)
void	QedeqNotNullTransverser.accept(Atom atom)
void	QedeqNotNullTransverser.accept(ElementList list)
void	QedeqNotNullTransverser.accept(LatexList latexList)
void	QedeqNotNullTransverser.accept(Latex latex)
void	ListVisitor.visitEnter(Atom atom) Visit certain element.
void	ListVisitor.visitEnter(ElementList list) Visit certain element.
void	ListVisitor.visitLeave(Atom atom) Visit certain element.
void	ListVisitor.visitLeave(ElementList list) Visit certain element.
void	AbstractModuleVisitor.visitEnter(Atom atom)
void	AbstractModuleVisitor.visitEnter(ElementList list)
void	AbstractModuleVisitor.visitEnter(Author author)
void	AbstractModuleVisitor.visitEnter(AuthorList authorList)
void	AbstractModuleVisitor.visitEnter(Axiom axiom)
void	AbstractModuleVisitor.visitEnter(Chapter chapter)
void	AbstractModuleVisitor.visitEnter(ChapterList chapterList)
void	AbstractModuleVisitor.visitEnter(Formula formula)
void	AbstractModuleVisitor.visitEnter(FunctionDefinition functionDefinition)
void	AbstractModuleVisitor.visitEnter(Header header)
void	AbstractModuleVisitor.visitEnter(Import imp)
void	AbstractModuleVisitor.visitEnter(ImportList importList)
void	AbstractModuleVisitor.visitEnter(Latex latex)
void	AbstractModuleVisitor.visitEnter(LatexList latexList)
void	AbstractModuleVisitor.visitEnter(LinkList linkList)
void	AbstractModuleVisitor.visitEnter(LiteratureItem literatureItem)
void	AbstractModuleVisitor.visitEnter(LiteratureItemList literatureItemList)
void	AbstractModuleVisitor.visitEnter(Location location)
void	AbstractModuleVisitor.visitEnter(LocationList locationList)
void	AbstractModuleVisitor.visitEnter(Node authorList)
void	AbstractModuleVisitor.visitEnter(PredicateDefinition predicateDefinition)
void	AbstractModuleVisitor.visitEnter(Proof proof)
void	AbstractModuleVisitor.visitEnter(ProofList proofList)
void	AbstractModuleVisitor.visitEnter(Proposition proposition)
void	AbstractModuleVisitor.visitEnter(Qedeq qedeq)
void	AbstractModuleVisitor.visitEnter(Rule rule)
void	AbstractModuleVisitor.visitEnter(Section section)
void	AbstractModuleVisitor.visitEnter(SectionList sectionList)
void	AbstractModuleVisitor.visitEnter(Specification specification)
void	AbstractModuleVisitor.visitEnter(Subsection subsection)
void	AbstractModuleVisitor.visitEnter(SubsectionList subsectionList)
void	AbstractModuleVisitor.visitEnter(SubsectionType subsectionType)
void	AbstractModuleVisitor.visitEnter(Term term)
void	AbstractModuleVisitor.visitEnter(UsedByList usedByList)
void	AbstractModuleVisitor.visitEnter(VariableList variableList)
void	AbstractModuleVisitor.visitLeave(Author author)
void	AbstractModuleVisitor.visitLeave(AuthorList authorList)
void	AbstractModuleVisitor.visitLeave(Axiom axiom)
void	AbstractModuleVisitor.visitLeave(Chapter chapter)
void	AbstractModuleVisitor.visitLeave(ChapterList chapterList)
void	AbstractModuleVisitor.visitLeave(Formula formula)
void	AbstractModuleVisitor.visitLeave(FunctionDefinition functionDefinition)
void	AbstractModuleVisitor.visitLeave(Header header)
void	AbstractModuleVisitor.visitLeave(Import imp)
void	AbstractModuleVisitor.visitLeave(ImportList importList)
void	AbstractModuleVisitor.visitLeave(Latex latex)
void	AbstractModuleVisitor.visitLeave(LatexList latexList)
void	AbstractModuleVisitor.visitLeave(LinkList linkList)
void	AbstractModuleVisitor.visitLeave(LiteratureItem literatureItem)
void	AbstractModuleVisitor.visitLeave(LiteratureItemList literatureItemList)
void	AbstractModuleVisitor.visitLeave(Location location)
void	AbstractModuleVisitor.visitLeave(LocationList locationList)
void	AbstractModuleVisitor.visitLeave(Node authorList)
void	AbstractModuleVisitor.visitLeave(PredicateDefinition predicateDefinition)
void	AbstractModuleVisitor.visitLeave(Proof proof)
void	AbstractModuleVisitor.visitLeave(ProofList proofList)
void	AbstractModuleVisitor.visitLeave(Proposition proposition)
void	AbstractModuleVisitor.visitLeave(Qedeq qedeq)
void	AbstractModuleVisitor.visitLeave(Rule rule)
void	AbstractModuleVisitor.visitLeave(Section section)
void	AbstractModuleVisitor.visitLeave(SectionList sectionList)
void	AbstractModuleVisitor.visitLeave(Specification specification)
void	AbstractModuleVisitor.visitLeave(Subsection subsection)
void	AbstractModuleVisitor.visitLeave(SubsectionList subsectionList)
void	AbstractModuleVisitor.visitLeave(SubsectionType subsectionType)
void	AbstractModuleVisitor.visitLeave(Term term)
void	AbstractModuleVisitor.visitLeave(UsedByList usedByList)
void	AbstractModuleVisitor.visitLeave(VariableList variableList)
void	AbstractModuleVisitor.visitLeave(Atom atom)
void	AbstractModuleVisitor.visitLeave(ElementList list)

Uses of ModuleDataException in org.qedeq.kernel.latex

Methods in org.qedeq.kernel.latex that throw ModuleDataException

static void	Qedeq2Xml.print(String globalContext, QedeqBo qedeq, TextOutput printer) Prints a XML representation of given QEDEQ module into a given output stream.
static void	Qedeq2Latex.print(String globalContext, QedeqBo qedeq, TextOutput printer, String language, String level) Prints a XML representation of given QEDEQ module into a given output stream.

Constructors in org.qedeq.kernel.latex that throw ModuleDataException

Qedeq2Wiki(String context, QedeqBo qedeq)
Constructor.

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

Subclasses of ModuleDataException in org.qedeq.kernel.xml.mapper

class	LocationFoundException Thrown if the location was found.
class	LocationNotFoundException Thrown if the location was not found.

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

static XmlFileExceptionList

ModuleDataException2XmlFileException.createXmlFileExceptionList(ModuleDataException exception, Qedeq qedeq)

Methods in org.qedeq.kernel.xml.mapper that throw ModuleDataException

static SimpleXPath	Context2SimpleXPath.getXPath(ModuleContext find, Qedeq qedeq) This method finds a ModuleContext something like getChapterList().get(4).getSectionList().get(0).getSubsectionList().get(4).getLatex().get(0) within a Qedeq module and returns a kind of XPath location for an associated XML document: QEDEQ/CHAPTER[5]/SECTION/SUBSECTIONS/SUBSECTION[2]/TEXT/LATEX At this example one can already see that getSubsectionList().get(4) is transformed into SUBSECTIONS/SUBSECTION[2].
void	Context2SimpleXPath.visitEnter(Qedeq qedeq)
void	Context2SimpleXPath.visitEnter(Header header)
void	Context2SimpleXPath.visitEnter(Specification specification)
void	Context2SimpleXPath.visitEnter(LatexList latexList)
void	Context2SimpleXPath.visitEnter(Latex latex)
void	Context2SimpleXPath.visitEnter(LocationList locationList)
void	Context2SimpleXPath.visitEnter(Location location)
void	Context2SimpleXPath.visitEnter(AuthorList authorList)
void	Context2SimpleXPath.visitEnter(Author author)
void	Context2SimpleXPath.visitEnter(ImportList importList)
void	Context2SimpleXPath.visitEnter(Import imp)
void	Context2SimpleXPath.visitEnter(UsedByList usedByList)
void	Context2SimpleXPath.visitEnter(ChapterList chapterList)
void	Context2SimpleXPath.visitEnter(Chapter chapter)
void	Context2SimpleXPath.visitEnter(SectionList sectionList)
void	Context2SimpleXPath.visitEnter(Section section)
void	Context2SimpleXPath.visitEnter(SubsectionList subsectionList)
void	Context2SimpleXPath.visitEnter(Subsection subsection)
void	Context2SimpleXPath.visitEnter(Node node)
void	Context2SimpleXPath.visitEnter(Axiom axiom)
void	Context2SimpleXPath.visitEnter(Proposition proposition)
void	Context2SimpleXPath.visitEnter(ProofList proofList)
void	Context2SimpleXPath.visitEnter(Proof proof)
void	Context2SimpleXPath.visitEnter(PredicateDefinition definition)
void	Context2SimpleXPath.visitEnter(FunctionDefinition definition)
void	Context2SimpleXPath.visitEnter(Rule rule)
void	Context2SimpleXPath.visitEnter(LinkList linkList)
void	Context2SimpleXPath.visitEnter(Formula formula)
void	Context2SimpleXPath.visitEnter(Term term)
void	Context2SimpleXPath.visitEnter(VariableList variableList)
void	Context2SimpleXPath.visitEnter(ElementList list)
void	Context2SimpleXPath.visitEnter(LiteratureItemList list)
void	Context2SimpleXPath.visitEnter(LiteratureItem item)