Serialized Form

Package com.sun.syndication.io

Class com.sun.syndication.io.XmlReaderException extends java.io.IOException implements Serializable

Serialized Fields

_bomEncoding

java.lang.String _bomEncoding

_xmlGuessEncoding

java.lang.String _xmlGuessEncoding

_xmlEncoding

java.lang.String _xmlEncoding

_contentTypeMime

java.lang.String _contentTypeMime

_contentTypeEncoding

java.lang.String _contentTypeEncoding

_is

java.io.InputStream _is

Package org.qedeq.base.io

Class org.qedeq.base.io.SourceArea extends java.lang.Object implements Serializable

Serialized Fields

address

java.lang.String address

Address of input, for identifying source.

startPosition

SourcePosition startPosition

Start position. Must be not null.

endPosition

SourcePosition endPosition

End position. Must be not null.

Class org.qedeq.base.io.SourcePosition extends java.lang.Object implements Serializable

Serialized Fields

row

int row

Line number, starting with 1.

column

int column

Column number, starting with 1.

Package org.qedeq.kernel.bo.logic.common

Class org.qedeq.kernel.bo.logic.common.ClassOperatorAlreadyExistsException extends ModuleDataException implements Serializable

Class org.qedeq.kernel.bo.logic.common.IdentityOperatorAlreadyExistsException extends ModuleDataException implements Serializable

Class org.qedeq.kernel.bo.logic.common.LogicalCheckException extends ModuleDataException implements Serializable

Serialized Fields

element

Element element

This element causes the error.

Package org.qedeq.kernel.bo.logic.model

Class org.qedeq.kernel.bo.logic.model.HeuristicException extends ModuleDataException implements Serializable

Package org.qedeq.kernel.bo.logic.proof.checker

Class org.qedeq.kernel.bo.logic.proof.checker.ProofCheckException extends LogicalCheckException implements Serializable

Package org.qedeq.kernel.bo.logic.proof.common

Class org.qedeq.kernel.bo.logic.proof.common.ProofException extends ModuleDataException implements Serializable

Serialized Fields

lines

FormalProofLineList lines

Proof lines found. If any. Might be null.

Class org.qedeq.kernel.bo.logic.proof.common.ProofFoundException extends ProofException implements Serializable

Class org.qedeq.kernel.bo.logic.proof.common.ProofNotFoundException extends ProofException implements Serializable

Package org.qedeq.kernel.bo.logic.wf

Class org.qedeq.kernel.bo.logic.wf.ElementCheckException extends LogicalCheckException implements Serializable

Class org.qedeq.kernel.bo.logic.wf.FormulaCheckException extends LogicalCheckException implements Serializable

Class org.qedeq.kernel.bo.logic.wf.TermCheckException extends LogicalCheckException implements Serializable

Package org.qedeq.kernel.bo.module

Class org.qedeq.kernel.bo.module.ReferenceLinkException extends ModuleDataException implements Serializable

Package org.qedeq.kernel.bo.parser

Class org.qedeq.kernel.bo.parser.ClosingBracketMissingException extends ParserException implements Serializable

Class org.qedeq.kernel.bo.parser.EndSymbolNotFoundException extends ParserException implements Serializable

Class org.qedeq.kernel.bo.parser.ParserException extends java.lang.Exception implements Serializable

Serialized Fields

position

long position

Error position within input.

Class org.qedeq.kernel.bo.parser.SeparatorNotFoundException extends ParserException implements Serializable

Class org.qedeq.kernel.bo.parser.TooFewArgumentsException extends ParserException implements Serializable

Class org.qedeq.kernel.bo.parser.TooMuchArgumentsException extends ParserException implements Serializable

Class org.qedeq.kernel.bo.parser.UnexpectedOperatorException extends ParserException implements Serializable

Package org.qedeq.kernel.bo.service.basis

Class org.qedeq.kernel.bo.service.basis.ModuleFileNotFoundException extends java.lang.Exception implements Serializable

Class org.qedeq.kernel.bo.service.basis.RuntimeVisitorException extends ModuleDataException implements Serializable

Package org.qedeq.kernel.bo.service.dependency

Class org.qedeq.kernel.bo.service.dependency.LoadRequiredModuleException extends ModuleDataException implements Serializable

Package org.qedeq.kernel.bo.service.latex

Class org.qedeq.kernel.bo.service.latex.LatexContentException extends ModuleDataException implements Serializable

Class org.qedeq.kernel.bo.service.latex.LatexListDataException extends ModuleDataException implements Serializable

Package org.qedeq.kernel.bo.service.logic

Class org.qedeq.kernel.bo.service.logic.CheckRequiredModuleException extends ModuleDataException implements Serializable

Package org.qedeq.kernel.bo.service.unicode

Class org.qedeq.kernel.bo.service.unicode.UnicodeException extends ModuleDataException implements Serializable

Package org.qedeq.kernel.se.common

Class org.qedeq.kernel.se.common.IllegalModuleDataException extends ModuleDataException implements Serializable

Class org.qedeq.kernel.se.common.ModuleDataException extends QedeqException implements Serializable

Serialized Fields

context

ModuleContext context

Error location.

referenceContext

ModuleContext referenceContext

Reference location to explain the error.

Class org.qedeq.kernel.se.common.QedeqException extends java.lang.Exception implements Serializable

Serialized Fields

errorCode

int errorCode

Error code of this Exception.

Class org.qedeq.kernel.se.common.SourceFileException extends QedeqException implements Serializable

serialVersionUID: -4109767904038020052L

Serialized Fields

service

Service service

Error code of this Exception.

errorArea

SourceArea errorArea

Start of error location.

referenceArea

SourceArea referenceArea

End of error location.

Class org.qedeq.kernel.se.common.SourceFileExceptionList extends java.lang.Exception implements Serializable

Serialized Fields

exceptions

java.util.List<E> exceptions

List with parse exceptions.

Package org.qedeq.kernel.se.visitor

Class org.qedeq.kernel.se.visitor.InterruptException extends ModuleDataException implements Serializable

Package org.qedeq.kernel.xml.common

Class org.qedeq.kernel.xml.common.XmlSyntaxException extends QedeqException implements Serializable

Package org.qedeq.kernel.xml.mapper

Class org.qedeq.kernel.xml.mapper.LocationFoundException extends ModuleDataException implements Serializable

Class org.qedeq.kernel.xml.mapper.LocationNotFoundException extends ModuleDataException implements Serializable

Package org.qedeq.kernel.xml.tracker

Class org.qedeq.kernel.xml.tracker.XPathLocationFoundException extends org.xml.sax.SAXException implements Serializable