|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
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 |
ModuleContext context
ModuleContext referenceContext
Package org.qedeq.kernel.common |
Class org.qedeq.kernel.common.QedeqException extends Exception implements Serializable |
Serialized Fields |
int errorCode
Class org.qedeq.kernel.common.SourceArea extends Object implements Serializable |
Serialized Fields |
URL address
URL localAddress
SourcePosition startPosition
SourcePosition endPosition
null
.
Class org.qedeq.kernel.common.SourcePosition extends Object implements Serializable |
Serialized Fields |
URL address
URL localAddress
int line
int column
Class org.qedeq.kernel.common.SyntaxException extends QedeqException implements Serializable |
Serialized Fields |
SourcePosition position
Class org.qedeq.kernel.common.XmlFileException extends Exception implements Serializable |
serialVersionUID: -4109767904038020052l
Serialized Fields |
int errorCode
SourceArea errorArea
SourceArea referenceArea
String line
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 |
long position
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 |
List 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 |
CPTextArea source
CPTextArea result
CPTextArea error
JScrollPane sourceScroller
JSplitPane splitPane
JMenuBar menu
List operators
int errorPosition
JSplitPane globalPane
Class org.qedeq.kernel.rel.test.gui.QedeqPane extends JFrame implements Serializable |
Serialized Fields |
JTextArea qedeq
JTextArea error
JScrollPane qedeqScroller
JSplitPane splitPane
JMenuBar menu
XmlFileException errorPosition
File file
Class org.qedeq.kernel.rel.test.gui.StarterDialog extends JFrame implements Serializable |
Serialized Fields |
ParameterList parameterList
JTextArea result
int y
Parameter kind
Parameter from
Parameter language
Parameter level
File configFile
XmlFileException errorPosition
JButton edit
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |