Class CNF

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Panel
                    |
                    +--java.applet.Applet
                          |
                          +--CNF

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.event.ActionListener, java.util.EventListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable

public final class CNF

extends java.applet.Applet

implements java.awt.event.ActionListener

Das Userinterface und das Hauptprogramm.

Quelltext

See Also:

Serialized Form

Inner classes inherited from class java.applet.Applet

java.applet.Applet.AccessibleApplet

Inner classes inherited from class java.awt.Panel

java.awt.Panel.AccessibleAWTPanel

Inner classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Inner classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

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

Constructor Summary

CNF()

Method Summary

void	actionPerformed(java.awt.event.ActionEvent event) Rückrufroutine für die Useraktionen.
void	doneO(Grammar newG) Beendet eine Berechnung.
Grammar	G() Gibt die aktuelle Grammatik zurück.
void	init() Initialisierung.
java.lang.String	modus() Gibt den aktuellen Modus zurück.
void	run(java.lang.String modus, Grammar Gr) Startet eine Berechnung.
void	setG(Grammar G) Übergibt dem Userinterface eine neue Grammatik.
void	status(java.lang.String newStatus) Setzt den unteren Status.
void	status(java.lang.String newStatusO, java.lang.String newStatusU) Setzt den oberen und den unteren Status.
void	step(Grammar sG, java.lang.String statusO, java.lang.String status, Rules Rl, Rules Rr) Rückrufroutine, die von den Grammatiken nach Beendigung eines Schrittes aufgerufen wird.
void	toolTipOff() Setzt den unteren Status zurück auf den Zustand, bevor ein Tooltip angezeigt wurde.
void	toolTipOn(java.lang.String toolTipStatus) Gibt einen Tooltip anstelle des unteren Status aus.

Methods inherited from class java.applet.Applet

destroy, getAccessibleContext, getAppletContext, getAppletInfo, getAudioClip, getAudioClip, getCodeBase, getDocumentBase, getImage, getImage, getLocale, getParameter, getParameterInfo, isActive, newAudioClip, play, play, resize, resize, setStub, showStatus, start, stop

Methods inherited from class java.awt.Panel

addNotify

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getInsets, getLayout, getListeners, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, layout, list, list, locate, minimumSize, paint, paintComponents, paramString, preferredSize, print, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, removeNotify, setFont, setLayout, update, validate, validateTree

Methods inherited from class java.awt.Component

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

Methods inherited from class java.lang.Object

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

Constructor Detail

CNF

public CNF()

Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent event)

Rückrufroutine für die Useraktionen.

Specified by:

actionPerformed in interface java.awt.event.ActionListener

doneO

public void doneO(Grammar newG)

Beendet eine Berechnung. Wird vom arbeitenden Thread aufgerufen.

Parameters:

newG - Die neue Grammatik.

G

public Grammar G()

Gibt die aktuelle Grammatik zurück.

init

public void init()

Initialisierung. Setzt Positionen und Rückrufmethoden.

Overrides:

init in class java.applet.Applet

modus

public java.lang.String modus()

Gibt den aktuellen Modus zurück.

run

public void run(java.lang.String modus,
                Grammar Gr)

Startet eine Berechnung.

Parameters:

modus - Der Modus für die Rechnung.

Gr - Die Grammatik, die bearbeitet werden soll.

setG

public void setG(Grammar G)

Übergibt dem Userinterface eine neue Grammatik.

status

public void status(java.lang.String newStatus)

Setzt den unteren Status.

status

public void status(java.lang.String newStatusO,
                   java.lang.String newStatusU)

Setzt den oberen und den unteren Status.

step

public void step(Grammar sG,
                 java.lang.String statusO,
                 java.lang.String status,
                 Rules Rl,
                 Rules Rr)

Rückrufroutine, die von den Grammatiken nach Beendigung eines Schrittes aufgerufen wird.

Parameters:

sG - Aktuelle Grammatik nach dem gemeldeten Schritt.

statusO - Status für obere Statuszeile.

status - Status für die untere Statuszeile.

Rl - Regeln, die links hervorgehoben werden sollen.

Rr - Regeln, die rechts hervorgehoben werden sollen.

toolTipOff

public void toolTipOff()

Setzt den unteren Status zurück auf den Zustand, bevor ein Tooltip angezeigt wurde.

toolTipOn

public void toolTipOn(java.lang.String toolTipStatus)

Gibt einen Tooltip anstelle des unteren Status aus.