Hilbert II - Version 0.03.01

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

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

Serialized Fields

element

Element element
This element causes the error.

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

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

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


Package org.qedeq.kernel.bo.module

Class org.qedeq.kernel.bo.module.DuplicateLanguageEntryException extends IllegalDataException implements Serializable

serialVersionUID: 1l

Serialized Fields

index

int index
Index of already existing language entry.

Class org.qedeq.kernel.bo.module.IllegalDataException extends Exception implements Serializable

Serialized Fields

errorCode

int errorCode
Error code of this Exception.

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.

Class org.qedeq.kernel.bo.module.NullPointerListEntryException extends IllegalDataException implements Serializable

serialVersionUID: -2466417793501101039l


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.XmlFilePositionException extends Exception implements Serializable

serialVersionUID: -4109767904038020052l

Serialized Fields

errorCode

int errorCode
Error code of this Exception.


context

SourcePosition context
Error location.


referenceContext

SourcePosition referenceContext
Reference location to explain the error.


line

String line
Referenced line with marker.


Package org.qedeq.kernel.xml.parser

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

serialVersionUID: -7662721636300987058l

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


Hilbert II - Version 0.03.01

©left GNU General Public Licence
All Rights Reserved.