Serialized Form

Package org.qedeq.kernel.bo.control

Class org.qedeq.kernel.bo.control.CheckRequiredModuleException extends ModuleDataException implements Serializable

Class org.qedeq.kernel.bo.control.ClassOperatorAlreadyExistsException extends ModuleDataException implements Serializable

Class org.qedeq.kernel.bo.control.IdentityOperatorAlreadyExistsException extends ModuleDataException implements Serializable

Class org.qedeq.kernel.bo.control.LatexListDataException extends ModuleDataException implements Serializable

Class org.qedeq.kernel.bo.control.LoadRequiredModuleException extends ModuleDataException implements Serializable

Package org.qedeq.kernel.bo.load

Class org.qedeq.kernel.bo.load.ModuleLoadingException extends ModuleDataException implements Serializable

Package org.qedeq.kernel.bo.logic

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

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

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

Serialized Fields

element

Element element

This element causes the error.

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

Package org.qedeq.kernel.bo.module

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

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

Serialized Fields

context

ModuleContext context

Error location.

referenceContext

ModuleContext referenceContext

Reference location to explain the error.

Package org.qedeq.kernel.common

Class org.qedeq.kernel.common.QedeqException extends Exception implements Serializable

Serialized Fields

errorCode

int errorCode

Error code of this Exception.

Class org.qedeq.kernel.common.SourceArea extends Object implements Serializable

Serialized Fields

address

URL address

Address of input, for identifying source.

startPosition

SourcePosition startPosition

Start position.

endPosition

SourcePosition endPosition

End position. Might be null.

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

serialVersionUID: -4109767904038020052l

Serialized Fields

errorArea

SourceArea errorArea

Start of error location.

referenceArea

SourceArea referenceArea

End of error location.

line

String line

Referenced line with marker.

Class org.qedeq.kernel.common.SourceFileExceptionList extends Exception implements Serializable

Class org.qedeq.kernel.common.SourcePosition extends Object implements Serializable

Serialized Fields

address

URL address

Address of input, for identifying source.

line

int line

Line number, starting with 1.

column

int column

Column number, starting with 1.

Package org.qedeq.kernel.parser

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

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

Class org.qedeq.kernel.parser.ParserException extends Exception implements Serializable

Serialized Fields

position

long position

Error position within input.

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

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

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

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

Package org.qedeq.kernel.xml.common

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

Serialized Fields

position

SourcePosition position

Error location.

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.parser

Class org.qedeq.kernel.xml.parser.DefaultSourceFileExceptionList extends SourceFileExceptionList implements Serializable

Serialized Fields

exceptions

List exceptions

List with parse exceptions.