|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ModuleDataException | |
org.qedeq.kernel.bo.control | Contains business object controllers. |
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 |
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 QedeqBo |
QedeqBoFactory.createQedeq(String globalContext,
Qedeq original)
Create QedeqBo out of an Qedeq instance.
|
Uses of ModuleDataException in org.qedeq.kernel.bo.logic |
Subclasses of ModuleDataException in org.qedeq.kernel.bo.logic | |
class |
CheckException
This is an exception for logical errors within a QEDEQ module. |
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 |
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,
Qedeq qedeq,
OutputStream outputStream)
TODO. |
void |
Qedeq2Xml.printXml(String globalContext,
Qedeq qedeq,
OutputStream outputStream)
Prints a XML file into a given output stream. |
Constructors in org.qedeq.kernel.latex that throw ModuleDataException | |
Qedeq2Wiki(String context,
Qedeq qedeq)
Constructor. |
|
Qedeq2Latex(String context,
Qedeq qedeq)
Constructor. |
Uses of ModuleDataException in org.qedeq.kernel.xml.mapper |
Constructors in org.qedeq.kernel.xml.mapper with parameters of type ModuleDataException | |
XmlFilePositionException(ModuleDataException exception)
Constructor. |
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |