Uses of Class
org.qedeq.kernel.se.common.QedeqException

Packages that use QedeqException

org.qedeq.kernel.bo.logic.common	Here are the common classes that every logical package needs.
org.qedeq.kernel.bo.logic.model	Here are simple model implementations.
org.qedeq.kernel.bo.logic.proof.checker	This package enables to check proofs with the basic rules.
org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
org.qedeq.kernel.bo.logic.wf	Checking for being well-formed formulas.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.basis	Contains business object controllers.
org.qedeq.kernel.bo.service.dependency	Plugin for loading all required modules.
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.common	Common classes.
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.common	Common classes for XML stuff.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

Uses of QedeqException in org.qedeq.kernel.bo.logic.common

Subclasses of QedeqException in org.qedeq.kernel.bo.logic.common

class	ClassOperatorAlreadyExistsException A class operator was defined twice.
class	IdentityOperatorAlreadyExistsException The identity operator was defined twice.
class	LogicalCheckException This is the basis for an exception for logical errors within a QEDEQ module.

Uses of QedeqException in org.qedeq.kernel.bo.logic.model

Subclasses of QedeqException in org.qedeq.kernel.bo.logic.model

class

HeuristicException Something went wrong during formula testing within model.

Uses of QedeqException in org.qedeq.kernel.bo.logic.proof.checker

Subclasses of QedeqException in org.qedeq.kernel.bo.logic.proof.checker

class

ProofCheckException This is an exception for formal proof errors within a QEDEQ module.

Uses of QedeqException in org.qedeq.kernel.bo.logic.proof.common

Subclasses of QedeqException in org.qedeq.kernel.bo.logic.proof.common

class	ProofException Indicates we found something or have to abandon the search.
class	ProofFoundException Indicates we found a proof.
class	ProofNotFoundException Indicates we couldn't find a proof.

Uses of QedeqException in org.qedeq.kernel.bo.logic.wf

Subclasses of QedeqException in org.qedeq.kernel.bo.logic.wf

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 QedeqException in org.qedeq.kernel.bo.module

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

class

ReferenceLinkException A reference link resolution failed.

Uses of QedeqException in org.qedeq.kernel.bo.service.basis

Subclasses of QedeqException in org.qedeq.kernel.bo.service.basis

class

RuntimeVisitorException An unexpected runtime exception was thrown during a visit.

Uses of QedeqException in org.qedeq.kernel.bo.service.dependency

Subclasses of QedeqException in org.qedeq.kernel.bo.service.dependency

class

LoadRequiredModuleException Loading an required QEDEQ module failed.

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

Subclasses of QedeqException in org.qedeq.kernel.bo.service.latex

class	LatexContentException Exception for LaTeX content problems.
class	LatexListDataException Data validation error for an LatexList element of a QEDEQ module.

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

Subclasses of QedeqException in org.qedeq.kernel.bo.service.logic

class

CheckRequiredModuleException Check failed error for an required QEDEQ module.

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

Subclasses of QedeqException in org.qedeq.kernel.bo.service.unicode

class

UnicodeException Exception for QEDEQ into unicode conversion problems.

Uses of QedeqException in org.qedeq.kernel.se.common

Subclasses of QedeqException in org.qedeq.kernel.se.common

class	IllegalModuleDataException Data validation error for a QEDEQ module.
class	ModuleDataException Data validation error for a QEDEQ module.
class	SourceFileException Data validation error.

Constructors in org.qedeq.kernel.se.common with parameters of type QedeqException

SourceFileException(Service service, QedeqException exception, SourceArea errorArea, SourceArea referenceArea)
Constructor.

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

Subclasses of QedeqException in org.qedeq.kernel.se.visitor

class

InterruptException An interruption was set during a visit.

Uses of QedeqException in org.qedeq.kernel.xml.common

Subclasses of QedeqException in org.qedeq.kernel.xml.common

class

XmlSyntaxException Exception that occurs during XML parsing.

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

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

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