Hilbert II - Version 0.03.04

Serialized Form


Package org.qedeq.kernel.bo.control

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


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.common.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.common.SyntaxException extends QedeqException implements Serializable

Serialized Fields

position

SourcePosition position
Error location.

Class org.qedeq.kernel.common.XmlFileException 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.

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


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


Package org.qedeq.kernel.xml.parser

Class org.qedeq.kernel.xml.parser.DefaultXmlFileExceptionList extends XmlFileExceptionList implements Serializable

Serialized Fields

exceptions

List exceptions
List with parse exceptions.


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

Class org.qedeq.kernel.rel.test.gui.CPTextArea extends JTextArea implements Serializable

serialVersionUID: 1l

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

serialVersionUID: 1l

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

Serialized Fields

source

CPTextArea source

result

CPTextArea result

error

CPTextArea error

sourceScroller

JScrollPane sourceScroller

splitPane

JSplitPane splitPane

menu

JMenuBar menu

operators

List operators

errorPosition

int errorPosition

globalPane

JSplitPane globalPane

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

XmlFileException 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

XmlFileException errorPosition

edit

JButton edit


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.