prolog.ui
Class MainFrame

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Window
                    |
                    +--java.awt.Frame
                          |
                          +--javax.swing.JFrame
                                |
                                +--prolog.ui.MainFrame

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.image.ImageObserver, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants

public class MainFrame

extends javax.swing.JFrame

See Also:

Serialized Form

Inner Class Summary

(package private) class	MainFrame.GenericActionListener
(package private) class	MainFrame.Logger

Inner classes inherited from class javax.swing.JFrame

javax.swing.JFrame.AccessibleJFrame

Inner classes inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

Inner classes inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow

Inner classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Inner classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.AWTTreeLock

Field Summary

(package private) boolean	animationViewInited
(package private) Console	consoleLog
(package private) Console	consoleOutput
(package private) Console	consoleXml
(package private) javax.swing.JFileChooser	exportChooser
(package private) FactDbRenderer	fdbRenderer
(package private) ProFileFilter	fileFilter
(package private) AnimationView	graphicalResultView
(package private) java.lang.Object	highlight
(package private) javax.swing.text.DefaultHighlighter	highlighter
(package private) javax.swing.text.DefaultHighlighter.DefaultHighlightPainter	highlighterPainter
(package private) javax.swing.JButton	jButtonRun
(package private) javax.swing.JMenuBar	jMenuBar
(package private) javax.swing.JMenu	jMenuFile
(package private) javax.swing.JMenu	jMenuHelp
(package private) javax.swing.JMenuItem	jMenuItemAbout
(package private) javax.swing.JMenuItem	jMenuItemExit
(package private) javax.swing.JMenuItem	jMenuItemExport
(package private) javax.swing.JMenuItem	jMenuItemOpen
(package private) javax.swing.JMenuItem	jMenuItemSave
(package private) javax.swing.JMenuItem	jMenuItemSaveAs
(package private) javax.swing.JScrollPane	jScrollPane
(package private) javax.swing.JTabbedPane	jTabbedPane1
(package private) javax.swing.JToolBar	jToolBar1
(package private) javax.swing.JFileChooser	openChooser
(package private) Parser	parser
(package private) Program	programm
(package private) javax.swing.JFileChooser	saveChooser
(package private) Scanner	scanner
(package private) java.io.File	selectedFile
(package private) javax.swing.text.JTextComponent	sourceCodeView
(package private) javax.swing.JSplitPane	splitPaneHorizontal
(package private) javax.swing.JSplitPane	splitPaneVertical
(package private) Tree	tree
(package private) javax.swing.JScrollPane	viewScrollPane

Fields inherited from class javax.swing.JFrame

accessibleContext, defaultCloseOperation, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled

Fields inherited from class java.awt.Frame

base, CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, frameSerializedDataVersion, HAND_CURSOR, icon, ICONIFIED, mbManagement, menuBar, MOVE_CURSOR, N_RESIZE_CURSOR, nameCounter, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, ownedWindows, resizable, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, serialVersionUID, state, SW_RESIZE_CURSOR, TEXT_CURSOR, title, W_RESIZE_CURSOR, WAIT_CURSOR, weakThis

Fields inherited from class java.awt.Window

active, dbg, focusMgr, inputContext, inputContextLock, OPENED, ownedWindowList, warningString, windowListener, windowSerializedDataVersion

Fields inherited from class java.awt.Container

component, containerListener, containerSerializedDataVersion, dispatcher, layoutMgr, listeningBoundsChildren, listeningChildren, maxSize, ncomponents, printing, printingThreads

Fields inherited from class java.awt.Component

actionListenerK, adjustmentListenerK, appContext, background, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, changeSupport, componentListener, componentListenerK, componentOrientation, componentSerializedDataVersion, containerListenerK, cursor, dropTarget, enabled, eventMask, focusListener, focusListenerK, font, foreground, graphicsConfig, hasFocus, height, hierarchyBoundsListener, hierarchyBoundsListenerK, hierarchyListener, hierarchyListenerK, incRate, inputMethodListener, inputMethodListenerK, isInc, isPacked, itemListenerK, keyListener, keyListenerK, LEFT_ALIGNMENT, locale, LOCK, metrics, minSize, mouseListener, mouseListenerK, mouseMotionListener, mouseMotionListenerK, name, nameExplicitlySet, newEventsOnly, ownedWindowK, parent, peer, peerFont, popups, prefSize, privateKey, RIGHT_ALIGNMENT, textListenerK, TOP_ALIGNMENT, valid, visible, width, windowClosingException, windowListenerK, x, y

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

MainFrame()

Method Summary

void	centerWindow()
void	charScanned(int index)
private void	finished()
private void	jbInit()
void	onAbout()
void	onExit()
void	onExport()
void	onOpen()
void	onRun()
void	onSave()
void	onSaveAs()
protected void	openFile()
void	run()
void	saveFile()
void	setVisible(boolean value)
void	wordScanned(int index1, int index2)

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, createRootPaneException, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isRootPaneCheckingEnabled, paramString, processKeyEvent, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update

Methods inherited from class java.awt.Frame

, addNotify, addToFrameList, constructComponentName, finalize, getCursorType, getFrames, getIconImage, getMenuBar, getState, getTitle, initIDs, isResizable, postProcessKeyEvent, readObject, remove, removeFromFrameList, removeNotify, setCursor, setIconImage, setMenuBar, setResizable, setState, setTitle, writeObject

Methods inherited from class java.awt.Window

addOwnedWindow, addWindowListener, adjustListeningChildren, applyResourceBundle, applyResourceBundle, connectOwnedWindow, dispatchEventImpl, dispose, eventEnabled, getFocusOwner, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getOwnedWindows, getOwner, getToolkit, getWarningString, hide, isActive, isShowing, nextFocus, ownedInit, pack, postEvent, postWindowEvent, preProcessKeyEvent, processEvent, removeOwnedWindow, removeWindowListener, resetGC, setCursor, setFocusOwner, setWarningString, show, toBack, toFront, transferFocus

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, applyOrientation, checkGD, countComponents, createChildHierarchyEvents, createHierarchyEvents, deliverEvent, dispatchEventToSelf, doLayout, findComponentAt, findComponentAt, findComponentAt, getAccessibleAt, getAccessibleChild, getAccessibleChildrenCount, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents_NoClientCode, getComponents, getInsets, getLayout, getMaximumSize, getMinimumSize, getMouseEventTarget, getPreferredSize, getWindow, insets, invalidate, invalidateTree, isAncestorOf, layout, lightweightPaint, lightweightPrint, list, list, locate, minimumSize, numListening, paint, paintComponents, paintHeavyweightComponents, postsOldMouseEvents, preferredSize, print, printComponents, printHeavyweightComponents, processContainerEvent, proxyEnableEvents, proxyRequestFocus, remove, removeAll, removeContainerListener, setFont, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addPropertyChangeListener, addPropertyChangeListener, areInputMethodsEnabled, bounds, checkImage, checkImage, checkWindowClosingException, coalesceEvents, contains, contains, createImage, createImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, getAccessibleIndexInParent, getAccessibleStateSet, getBackground, getBounds, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont_NoClientCode, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getInputMethodRequests, getLocation, getLocation, getLocationOnScreen_NoTreeLock, getLocationOnScreen, getName, getNativeContainer, getParent_NoClientCode, getParent, getPeer, getSize, getSize, getToolkitImpl, getTreeLock, getWidth, getWindowForObject, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isDisplayable, isDoubleBuffered, isEnabled, isEnabledImpl, isFocusTraversable, isLightweight, isOpaque, isRecursivelyVisible, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseEvent, processMouseMotionEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setForeground, setLocale, setLocation, setLocation, setName, setSize, setSize, show, size, toString, transferFocus

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

fileFilter

ProFileFilter fileFilter

openChooser

javax.swing.JFileChooser openChooser

saveChooser

javax.swing.JFileChooser saveChooser

exportChooser

javax.swing.JFileChooser exportChooser

tree

Tree tree

fdbRenderer

FactDbRenderer fdbRenderer

animationViewInited

boolean animationViewInited

graphicalResultView

AnimationView graphicalResultView

viewScrollPane

javax.swing.JScrollPane viewScrollPane

splitPaneVertical

javax.swing.JSplitPane splitPaneVertical

jTabbedPane1

javax.swing.JTabbedPane jTabbedPane1

consoleOutput

Console consoleOutput

consoleLog

Console consoleLog

consoleXml

Console consoleXml

jMenuBar

javax.swing.JMenuBar jMenuBar

jMenuFile

javax.swing.JMenu jMenuFile

jMenuItemOpen

javax.swing.JMenuItem jMenuItemOpen

jMenuItemSave

javax.swing.JMenuItem jMenuItemSave

jMenuItemSaveAs

javax.swing.JMenuItem jMenuItemSaveAs

jMenuItemExport

javax.swing.JMenuItem jMenuItemExport

jMenuItemExit

javax.swing.JMenuItem jMenuItemExit

jToolBar1

javax.swing.JToolBar jToolBar1

jButtonRun

javax.swing.JButton jButtonRun

programm

Program programm

scanner

Scanner scanner

parser

Parser parser

selectedFile

java.io.File selectedFile

highlighter

javax.swing.text.DefaultHighlighter highlighter

highlighterPainter

javax.swing.text.DefaultHighlighter.DefaultHighlightPainter highlighterPainter

highlight

java.lang.Object highlight

splitPaneHorizontal

javax.swing.JSplitPane splitPaneHorizontal

jScrollPane

javax.swing.JScrollPane jScrollPane

sourceCodeView

javax.swing.text.JTextComponent sourceCodeView

jMenuHelp

javax.swing.JMenu jMenuHelp

jMenuItemAbout

javax.swing.JMenuItem jMenuItemAbout

Constructor Detail

MainFrame

public MainFrame()

Method Detail

jbInit

private void jbInit()
             throws java.lang.Exception

onOpen

public void onOpen()

onSave

public void onSave()

onSaveAs

public void onSaveAs()

onExport

public void onExport()

saveFile

public void saveFile()

openFile

protected void openFile()

onRun

public void onRun()

onAbout

public void onAbout()

onExit

public void onExit()

setVisible

public void setVisible(boolean value)

Overrides:

setVisible in class java.awt.Component

centerWindow

public void centerWindow()

run

public void run()

finished

private void finished()

charScanned

public void charScanned(int index)

wordScanned

public void wordScanned(int index1,
                        int index2)