Serialized Form

Package org.qedeq.kernel.base.common

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

Serialized Fields

errorCode

int errorCode

Error code of this Exception.

Package org.qedeq.kernel.bo.control

Class org.qedeq.kernel.bo.control.LatexListDataException 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.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.mapper

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

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

Class org.qedeq.kernel.xml.mapper.XmlFilePositionException extends Exception implements Serializable

serialVersionUID: -4109767904038020052l

Serialized Fields

errorCode

int errorCode

Error code of this Exception.

errorArea

SourceArea errorArea

Start of error location.

referenceArea

SourceArea referenceArea

End of error location.

line

String line

Referenced line with marker.

Package org.qedeq.kernel.xml.parser

Class org.qedeq.kernel.xml.parser.SourceArea extends Object implements Serializable

Serialized Fields

address

URL address

Address of input, for identifying source.

localAddress

URL localAddress

Local address of input, for loading source.

startPosition

SourcePosition startPosition

Start position.

endPosition

SourcePosition endPosition

End position. Might be null.

Class org.qedeq.kernel.xml.parser.SourcePosition extends Object implements Serializable

Serialized Fields

address

URL address

Address of input, for identifying source.

localAddress

URL localAddress

Local address of input, for loading source.

line

int line

Line number, starting with 1.

column

int column

Column number, starting with 1.

Class org.qedeq.kernel.xml.parser.SyntaxException extends Exception implements Serializable

serialVersionUID: -1356389036916097293l

Serialized Fields

position

SourcePosition position

Error location.

errorCode

int errorCode

Error code of this Exception.

Package org.qedeq.kernel.rel.test.gui

Class org.qedeq.kernel.rel.test.gui.CPTextField extends JTextField implements Serializable

serialVersionUID: 1l

Class org.qedeq.kernel.rel.test.gui.QedeqPane extends JFrame implements Serializable

Serialized Fields

qedeq

JTextArea qedeq

error

JTextArea error

qedeqScroller

JScrollPane qedeqScroller

splitPane

JSplitPane splitPane

menu

JMenuBar menu

errorPosition

XmlFilePositionException errorPosition

file

File file

Class org.qedeq.kernel.rel.test.gui.StarterDialog extends JFrame implements Serializable

Serialized Fields

parameterList

ParameterList parameterList

Parameter list for this dialog.

result

JTextArea result

y

int y

Current y height.

kind

Parameter kind

from

Parameter from

language

Parameter language

level

Parameter level

configFile

File configFile

errorPosition

XmlFilePositionException errorPosition

edit

JButton edit