Uses of Interface
org.qedeq.kernel.se.common.ErrorCodes

Packages that use ErrorCodes

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.finder	Proof finder can be found here.
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.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.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.handler.parser	Functionality to parse XML operator lists.

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

Subinterfaces of ErrorCodes in org.qedeq.kernel.bo.logic.model

interface

HeuristicErrorCodes Contains the error codes for heuristic model checks.

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

Subinterfaces of ErrorCodes in org.qedeq.kernel.bo.logic.proof.checker

interface

BasicProofErrors Error codes and messages for proof checker.

Uses of ErrorCodes in org.qedeq.kernel.bo.logic.proof.finder

Subinterfaces of ErrorCodes in org.qedeq.kernel.bo.logic.proof.finder

interface

FinderErrors Error codes and messages for proof finder package.

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

Subinterfaces of ErrorCodes in org.qedeq.kernel.bo.logic.wf

interface

FormulaBasicErrors Error codes and messages for formula checker.

Classes in org.qedeq.kernel.bo.logic.wf that implement ErrorCodes

class

FormulaCheckerImpl This class deals with Elements which represent a formula.

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

Subinterfaces of ErrorCodes in org.qedeq.kernel.bo.module

interface

ModuleErrors Error codes and messages for module package.

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

Subinterfaces of ErrorCodes in org.qedeq.kernel.bo.service.basis

interface

ServiceErrors Error codes and messages for service package.

Classes in org.qedeq.kernel.bo.service.basis that implement ErrorCodes

class

RuntimeVisitorException An unexpected runtime exception was thrown during a visit.

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

Subinterfaces of ErrorCodes in org.qedeq.kernel.bo.service.dependency

interface

DependencyErrors Error codes and messages for dependency package.

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

Subinterfaces of ErrorCodes in org.qedeq.kernel.bo.service.latex

interface

LatexErrorCodes Contains the error codes for LaTeX handling.

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

Subinterfaces of ErrorCodes in org.qedeq.kernel.bo.service.logic

interface

LogicErrors Error codes and messages for service package.

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

Subinterfaces of ErrorCodes in org.qedeq.kernel.bo.service.unicode

interface

UnicodeErrorCodes Contains the error codes for conversion into unicode.

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

Classes in org.qedeq.kernel.se.visitor that implement ErrorCodes

class

InterruptException An interruption was set during a visit.

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

Classes in org.qedeq.kernel.xml.common that implement ErrorCodes

class

XmlSyntaxException Exception that occurs during XML parsing.

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

Subinterfaces of ErrorCodes in org.qedeq.kernel.xml.dao

interface

DaoErrors Error codes and messages for DAO package.

Uses of ErrorCodes in org.qedeq.kernel.xml.handler.parser

Subinterfaces of ErrorCodes in org.qedeq.kernel.xml.handler.parser

interface

ParserErrors Error codes and messages for parser package.