Serialized Form

Package org.qedeq.gui.se.element

Class org.qedeq.gui.se.element.CPTextArea extends JTextArea implements Serializable

Class org.qedeq.gui.se.element.CPTextField extends JTextField implements Serializable

Package org.qedeq.gui.se.main

Class org.qedeq.gui.se.main.LowerTabbedView extends JPanel implements Serializable

Serialized Fields

tabbedPane

JTabbedPane tabbedPane

Holds all panes.

logPane

LogPane logPane

Global logging events.

errorListPane

ErrorListPane errorListPane

Selected module specific errors.

prop

ModuleProperties prop

Selected module has this properties.

Class org.qedeq.gui.se.main.QedeqMainFrame extends JFrame implements Serializable

Class org.qedeq.gui.se.main.QedeqMainPane extends JPanel implements Serializable

Class org.qedeq.gui.se.main.QedeqMenuBar extends JMenuBar implements Serializable

Serialized Fields

controller

QedeqController controller

Reference to controller.

Class org.qedeq.gui.se.main.UpperTabbedView extends JPanel implements Serializable

Serialized Fields

tabbedPane

JTabbedPane tabbedPane

Holds all tabs.

qedeqPane

QedeqPane qedeqPane

Source view of QEDEQ module.

htmlPane

HtmlPane htmlPane

HTML display of QEDEQ module.

prop

ModuleProperties prop

Currently active module properties.

propertiesPane

ModulePropertiesPane propertiesPane

Show properties and status of QEDEQ module.

viewHtml

boolean viewHtml

Flag for showing the HTML pane.

Package org.qedeq.gui.se.pane

Class org.qedeq.gui.se.pane.ErrorListPane extends JPanel implements Serializable

Serialized Fields

error

JTextPane error

This text field holds the error descriptions.

errorAttrs

SimpleAttributeSet errorAttrs

Write with this font attributes.

prop

ModuleProperties prop

For this module properties the errors are shown.

Class org.qedeq.gui.se.pane.HtmlPane extends JPanel implements Serializable

Serialized Fields

prop

ModuleProperties prop

Module properties for selected module.

html

JEditorPane html

The HTML pane.

blocked

boolean blocked

View blocked?

currentAddress

ModuleAddress currentAddress

Current module address.

currentState

LoadingState currentState

Current loading state.

Class org.qedeq.gui.se.pane.LogPane extends JPanel implements Serializable

Serialized Fields

textPane

JTextPane textPane

The log panel.

errorAttrs

SimpleAttributeSet errorAttrs

Text attributes for errors.

successAttrs

SimpleAttributeSet successAttrs

Text attributes for success messages.

messageAttrs

SimpleAttributeSet messageAttrs

Text attributes for information messages.

requestAttrs

SimpleAttributeSet requestAttrs

Text attributes for requests.

Class org.qedeq.gui.se.pane.ModulePropertiesPane extends JPanel implements Serializable

Serialized Fields

prop

ModuleProperties prop

Reference to module properties.

state

JTextField state

State of module.

name

JTextField name

Module name.

ruleVersion

JTextField ruleVersion

Module rule version.

url

JTextArea url

URL of module.

failure

JTextArea failure

Failure message.

Class org.qedeq.gui.se.pane.ParserPane extends JFrame implements Serializable

Serialized Fields

source

CPTextArea source

Source to parse.

resultField

CPTextArea resultField

Parse result.

error

CPTextArea error

Error messages.

sourceScroller

JScrollPane sourceScroller

Make source scrollable.

splitPane

JSplitPane splitPane

Split between source and result.

menu

JMenuBar menu

Menu for copy and paste.

operators

List operators

List of Operators.

errorPosition

int errorPosition

Error position within source file.

globalPane

JSplitPane globalPane

Split between previous split and error pane.

Class org.qedeq.gui.se.pane.Preferences extends JFrame implements Serializable

Serialized Fields

automaticLogScrollCB

JCheckBox automaticLogScrollCB

Automatic scroll of log pane.

autoReloadLastSessionCheckedCB

JCheckBox autoReloadLastSessionCheckedCB

Automatic reload of all modules that were successfully checked in last session.

directResponseCB

JCheckBox directResponseCB

Response with a message box.

autoStartHtmlBrowserCB

JCheckBox autoStartHtmlBrowserCB

Automatic start of default HTML browser after HTML generation.

oldHtmlCodeCB

JCheckBox oldHtmlCodeCB

Generate old HTML code.

moduleBufferLabel

JLabel moduleBufferLabel

Label for QEDEQ module buffer directory.

moduleBufferTextField

JTextField moduleBufferTextField

QEDEQ module buffer directory.

generationPathLabel

JLabel generationPathLabel

Label for generation directory.

generationPathTextField

JTextField generationPathTextField

Generation directory.

localModulesPathLabel

JLabel localModulesPathLabel

Label for directory for new local modules.

localModulesPathTextField

JTextField localModulesPathTextField

Directory for new local modules.

bufferDirectory

File bufferDirectory

Local QEDEQ module buffer directory.

generationDirectory

File generationDirectory

Generation directory.

localModulesDirectory

File localModulesDirectory

Directory for new local modules.

automaticLogScroll

boolean automaticLogScroll

Flag for automatic scroll of log window.

autoReloadLastSessionChecked

boolean autoReloadLastSessionChecked

Flag for automatic reload of all QEDEQ modules that were successfully loaded in the last session.

autoStartHtmlBrowser

boolean autoStartHtmlBrowser

Flag for automatic start of the default HTML browser after HTML generation.

directResponse

boolean directResponse

Flag for direct message box response mode.

oldHtmlCode

boolean oldHtmlCode

Flag for generating old HTML code.

changed

boolean changed

Internal flag for remembering if any value changed.

Class org.qedeq.gui.se.pane.QedeqPane extends JPanel implements Serializable

Serialized Fields

prop

ModuleProperties prop

Reference to module properties.

qedeq

JTextArea qedeq

Here is the QEDEQ module source.

Package org.qedeq.gui.se.tree

Class org.qedeq.gui.se.tree.NothingSelectedException extends Exception implements Serializable

Class org.qedeq.gui.se.tree.QedeqTreeCellRenderer extends JLabel implements Serializable

Serialized Fields

textSelectionColor

Color textSelectionColor

Color to use for the foreground for selected nodes.

textNonSelectionColor

Color textNonSelectionColor

Color to use for the foreground for non-selected nodes.

backgroundSelectionColor

Color backgroundSelectionColor

Color to use for the background when a node is selected.

backgroundNonSelectionColor

Color backgroundNonSelectionColor

Color to use for the background when the node isn't selected.

Class org.qedeq.gui.se.tree.QedeqTreeModel extends DefaultTreeModel implements Serializable

Serialized Fields

module2Path

Map module2Path

Maps ModuleAddresses to TreeNodes..

Class org.qedeq.gui.se.tree.QedeqTreeNode extends DefaultMutableTreeNode implements Serializable

Class org.qedeq.gui.se.tree.QedeqTreeView extends JPanel implements Serializable

Serialized Fields

theTree

JTree theTree

Reference to JTree.

contextMenu

JPopupMenu contextMenu

Context menu.

refreshItem

JMenuItem refreshItem

Menu entry.

deleteItem

JMenuItem deleteItem

Menu entry.

addItem

JMenuItem addItem

Menu entry.

htmlItem

JMenuItem htmlItem

Menu entry.

latexItem

JMenuItem latexItem

Menu entry.