gui
Class DerivationFrame

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Window
                    |
                    +--java.awt.Frame
                          |
                          +--javax.swing.JFrame
                                |
                                +--gui.DerivationFrame

All Implemented Interfaces:

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

public class DerivationFrame

extends javax.swing.JFrame

implements Errorable

Okno pro provadeni derivace. Umoznuje aplikovat pravidla, vracet se v derivaci zpet, prejit na editaci gramatiky. Navic je mozne derivaci nechat probihat automaticky. Na programovanou gramatiku je vazana jen tim, ze pro editaci gramatiky vola PrgGramInputFrame. Pro dalsi typy gramatik by se musela pred editaci dodat volba typu.

See Also:

Serialized Form

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

protected static int	ABOUT_ITEM Pozice nazvu polozky menu napoveda o programu
protected Production[]	acUsableProds Pravidla pouzitelna ve smyslu testovani vyskytu na aktualni vetnou formu
protected javax.swing.JTextField	appearField Textove pole, do nehoz se pise vyskyt leve strany pravidla, ktery ma byt prepsan.
protected javax.swing.JLabel	appearLabel Popisek k appearField
protected javax.swing.JPanel	appearPanel Panel pro appearField a appearLabel
protected GrammarSimulator	applet Pokud program bezi jako applet, je nastaven objekt tohoto appletu.
protected static int	APPLY_ITEM Pozice nazvu polozky menu aplikuj pravidlo
protected javax.swing.JButton	applyButton Tlacitko pro aplikaci pravidla a zacatek i konec automatice derivace
protected javax.swing.JCheckBox	autoCHBox Zaskrtavaci tlacitko pro vyber automaticke derivace
protected static int	BACK_ITEM Pozice nazvu polozky menu zpet o krok v derivaci
protected javax.swing.JButton	backButton Tlacitko pro navrat v derivaci
protected javax.swing.JPanel	buttonPanel Panel pro vsechna tlacitka
protected java.awt.GridLayout	buttonsLayout Layout pro panel s tlacitky
protected int	delay Cas v milisekundach mezi kroky pri automaticke derivaci
protected javax.swing.JTextField	delayField Textove pole se zpozdenim mezi kroky derivace
protected javax.swing.JLabel	delayLabel Popisek k delayField
protected javax.swing.JPanel	delayPanel Panel pro delayField a delayLabel
protected static int	DER_ITEM Pozice nazvu polozky menu napoveda o derivaci
protected Derivation	derivation Aktualni derivace
protected static int	DERIVATION_MENU Pozice nazvu menu derivace
protected java.io.File	directory Adresar, ze ktereho byl naposledy vybran soubor pro ukladani nebo cteni
protected static int	END_ITEM Pozice nazvu polozky menu konec programu
protected javax.swing.JTextField	formField Textove pole pro vetnou formu
protected javax.swing.JLabel	formLabel Popisek k formField
protected javax.swing.JScrollPane	formScroll Posuvna lista pro vetnou formu
protected Grammar	grammar Gramatika, podle ktere se provadi derivace
protected static int	GRAMMAR_MENU Pozice nazvu menu gramatiky
protected javax.swing.JButton	gramNewButton Tlacitko pro editaci nove gramatiky
protected javax.swing.JButton	gramUpdateButton Tlacitko pro editaci gramatiky
protected static int	HELP_MENU Pozice nazvu menu napovedy
protected HelpFrame	hf Okno napovedy
protected static int	CHANGE_ITEM Pozice nazvu polozky menu upravit gramatiku
protected java.awt.GridLayout	chBoxLayout Layout pro panel se zaskrtavacimi tlacitky
protected javax.swing.JPanel	chBoxPanel Panel pro zaskrtavaci tlacitka
protected PrgGramInputFrame	inputFrame Okno pro editaci gramatiky
protected javax.swing.JCheckBox	leftCHBox Zaskrtavaci tlacitko pro vyber leftmost derivace
protected static int	LOAD_ITEM Pozice nazvu polozky menu nacist soubor
protected javax.swing.JMenuItem[][]	menuItems Polozky menu
protected static java.lang.String[][]	menuItemsStrings Retezce nazvu polozek v menu
protected static java.lang.String[]	menuStrings Retezce nazvu menu
protected static int	NEW_ITEM Pozice nazvu polozky menu nova derivace
protected javax.swing.JButton	newButton Tlacitko pro novou derivaci
protected javax.swing.JLabel	prodLabel Popisek k prodsBox
protected javax.swing.JComboBox	prodsBox Vyber pravidla pro aplikaci
protected javax.swing.JCheckBox	randomCHBox Zaskrtavaci tlacitko pro umozneni vyberu nahodneho pravidla
protected static int	SAVE_ITEM Pozice nazvu polozky menu ulozit gramatiku do souboru
protected javax.swing.JList	stepsList Seznam kroku derivace
protected javax.swing.JScrollPane	stepsScroll Posuvne listy pro seznam kroku derivace
protected boolean	stopped Nastaveno na true, jestli ma byt prerusena automaticka derivace
protected java.lang.Thread	thread Vlakno, ktere vola po urcenem case funkci pro dalsi krok automaticke derivace
protected Production[]	usableProds Pravidla pouzitelna klasickym zpusobem na aktualni vetnou formu
static int	WINDOW_HEIGHT Vyska okna
static int	WINDOW_WIDTH Sirka okna

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, showWithParent, 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, componentListener, componentListenerK, componentOrientation, componentSerializedDataVersion, containerListenerK, cursor, dropTarget, enabled, eventMask, focusListener, focusListenerK, font, foreground, graphicsConfig, hasFocus, height, hierarchyBoundsListener, hierarchyBoundsListenerK, hierarchyListener, hierarchyListenerK, changeSupport, 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

DerivationFrame()
Vytvori okno se vsemi prvky.

DerivationFrame(GrammarSimulator ap)
Vytvori okno se vsemi prvky.

Method Summary

(package private) void	applyButtonAction() Akce pro tlacitko aplikuj.
private void	autoDerivate() Pokud nebyla automaticka derivace prerusena provede jeji dalsi krok.
private void	autoCHBoxStateChanged() Akce provedena pri zmene stavu tlacitka pro automatickou derivaci.
private void	backButtonAction() Akce provedena pri stisku tlacitka zpet.
java.io.File	getDirectory() Slouzi k ziskani adresare, ve kterem byl naposledy vybran soubor
private void	gramLoadButtonAction() Akce pri volbe nacist gramatiku v menu.
private void	gramNewButtonAction() Akce tlacitka nova gramatika.
(package private) void	gramUpdateButtonAction() Akce tlacitka upravit gramatiku.
boolean	isApplet() Slouzi ke zjisteni, jestli je okno soucast appletu nebo aplikace
private void	leftCHBoxStateChanged() Akce provadena pri zmene zaskrtnuti leftmost derivace.
private void	makeFrame() Vytvori v okne vsechny prvky a nastavi posluchace udalosti.
private void	makeMenu() Vytvori vechna menu vcetne polozek v nich.
private void	newButtonAction() Vytvori novou derivaci.
private void	setAlarm() Vytvori nove vlakno, ktere pocka cas zadany v poli zpozdeni a potom vola metodu autoDerivate().
(package private) void	setAutoConf() Pri automaticke derivaci je mozne stisknout jen tlacitko stop, ktere derivaci zastavi.
void	setDirectory(java.io.File f) Slouzi k nastaveni adresare, ve kterem byl naposledy vybran soubor
void	setGrammar(Grammar g) Slouzi ke zmene gramatiky, podle ktere se derivace provadi.
private void	setProds() Nastavi aplikovatelna pravidla do seznamu, ze ktereho se vybiraji.
private void	setSteps() Nastavi seznam kroku derivace, aplikovatelna pravidla a pri prvnim kroku zakaze pouziti tlacitka zpet.
(package private) void	stopButtonAction() Akce tlacitka stop.
void	takeControl(int message) Slouzi k navratu z chyboveho okna.
(package private) void	unsetAutoConf() Po skonceni automaticke derivace povoli zpet prvky rozhrani a zmeni tlacitko stop na aplikuj.
protected void	writeFile() Slouzi k ulozeni gramatiky, podle ktere probiha derivace, do souboru.

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, countComponents, createHierarchyEvents, createChildHierarchyEvents, 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, checkGD, 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, 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, checkImage, checkImage, checkWindowClosingException, 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, setVisible, 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

WINDOW_HEIGHT

public static final int WINDOW_HEIGHT

Vyska okna

WINDOW_WIDTH

public static final int WINDOW_WIDTH

Sirka okna

menuStrings

protected static final java.lang.String[] menuStrings

Retezce nazvu menu

menuItemsStrings

protected static final java.lang.String[][] menuItemsStrings

Retezce nazvu polozek v menu

DERIVATION_MENU

protected static final int DERIVATION_MENU

Pozice nazvu menu derivace

NEW_ITEM

protected static final int NEW_ITEM

Pozice nazvu polozky menu nova derivace

APPLY_ITEM

protected static final int APPLY_ITEM

Pozice nazvu polozky menu aplikuj pravidlo

BACK_ITEM

protected static final int BACK_ITEM

Pozice nazvu polozky menu zpet o krok v derivaci

END_ITEM

protected static final int END_ITEM

Pozice nazvu polozky menu konec programu

GRAMMAR_MENU

protected static final int GRAMMAR_MENU

Pozice nazvu menu gramatiky

LOAD_ITEM

protected static final int LOAD_ITEM

Pozice nazvu polozky menu nacist soubor

CHANGE_ITEM

protected static final int CHANGE_ITEM

Pozice nazvu polozky menu upravit gramatiku

SAVE_ITEM

protected static final int SAVE_ITEM

Pozice nazvu polozky menu ulozit gramatiku do souboru

HELP_MENU

protected static final int HELP_MENU

Pozice nazvu menu napovedy

DER_ITEM

protected static final int DER_ITEM

Pozice nazvu polozky menu napoveda o derivaci

ABOUT_ITEM

protected static final int ABOUT_ITEM

Pozice nazvu polozky menu napoveda o programu

hf

protected HelpFrame hf

Okno napovedy

grammar

protected Grammar grammar

Gramatika, podle ktere se provadi derivace

inputFrame

protected PrgGramInputFrame inputFrame

Okno pro editaci gramatiky

derivation

protected Derivation derivation

Aktualni derivace

usableProds

protected Production[] usableProds

Pravidla pouzitelna klasickym zpusobem na aktualni vetnou formu

acUsableProds

protected Production[] acUsableProds

Pravidla pouzitelna ve smyslu testovani vyskytu na aktualni vetnou formu

delay

protected int delay

Cas v milisekundach mezi kroky pri automaticke derivaci

stopped

protected boolean stopped

Nastaveno na true, jestli ma byt prerusena automaticka derivace

applet

protected GrammarSimulator applet

Pokud program bezi jako applet, je nastaven objekt tohoto appletu. Jinak je nastaveno null.

thread

protected java.lang.Thread thread

Vlakno, ktere vola po urcenem case funkci pro dalsi krok automaticke derivace

directory

protected java.io.File directory

Adresar, ze ktereho byl naposledy vybran soubor pro ukladani nebo cteni

formScroll

protected javax.swing.JScrollPane formScroll

Posuvna lista pro vetnou formu

formField

protected javax.swing.JTextField formField

Textove pole pro vetnou formu

stepsScroll

protected javax.swing.JScrollPane stepsScroll

Posuvne listy pro seznam kroku derivace

stepsList

protected javax.swing.JList stepsList

Seznam kroku derivace

backButton

protected javax.swing.JButton backButton

Tlacitko pro navrat v derivaci

gramUpdateButton

protected javax.swing.JButton gramUpdateButton

Tlacitko pro editaci gramatiky

newButton

protected javax.swing.JButton newButton

Tlacitko pro novou derivaci

applyButton

protected javax.swing.JButton applyButton

Tlacitko pro aplikaci pravidla a zacatek i konec automatice derivace

gramNewButton

protected javax.swing.JButton gramNewButton

Tlacitko pro editaci nove gramatiky

prodsBox

protected javax.swing.JComboBox prodsBox

Vyber pravidla pro aplikaci

leftCHBox

protected javax.swing.JCheckBox leftCHBox

Zaskrtavaci tlacitko pro vyber leftmost derivace

autoCHBox

protected javax.swing.JCheckBox autoCHBox

Zaskrtavaci tlacitko pro vyber automaticke derivace

randomCHBox

protected javax.swing.JCheckBox randomCHBox

Zaskrtavaci tlacitko pro umozneni vyberu nahodneho pravidla

appearField

protected javax.swing.JTextField appearField

Textove pole, do nehoz se pise vyskyt leve strany pravidla, ktery ma byt prepsan.

appearLabel

protected javax.swing.JLabel appearLabel

Popisek k appearField

delayField

protected javax.swing.JTextField delayField

Textove pole se zpozdenim mezi kroky derivace

delayLabel

protected javax.swing.JLabel delayLabel

Popisek k delayField

buttonPanel

protected javax.swing.JPanel buttonPanel

Panel pro vsechna tlacitka

delayPanel

protected javax.swing.JPanel delayPanel

Panel pro delayField a delayLabel

chBoxPanel

protected javax.swing.JPanel chBoxPanel

Panel pro zaskrtavaci tlacitka

appearPanel

protected javax.swing.JPanel appearPanel

Panel pro appearField a appearLabel

buttonsLayout

protected java.awt.GridLayout buttonsLayout

Layout pro panel s tlacitky

chBoxLayout

protected java.awt.GridLayout chBoxLayout

Layout pro panel se zaskrtavacimi tlacitky

formLabel

protected javax.swing.JLabel formLabel

Popisek k formField

prodLabel

protected javax.swing.JLabel prodLabel

Popisek k prodsBox

menuItems

protected javax.swing.JMenuItem[][] menuItems

Polozky menu

Constructor Detail

DerivationFrame

public DerivationFrame()

Vytvori okno se vsemi prvky. Umoznuje i ukladani a nacitani souboru

DerivationFrame

public DerivationFrame(GrammarSimulator ap)

Vytvori okno se vsemi prvky. Parametrem se muze umoznit nebo zakazat ukladani do souboru.

Method Detail

setDirectory

public void setDirectory(java.io.File f)

Slouzi k nastaveni adresare, ve kterem byl naposledy vybran soubor

Parameters:

f - Naposledy pouzity adresar

getDirectory

public java.io.File getDirectory()

Slouzi k ziskani adresare, ve kterem byl naposledy vybran soubor

Returns:

Naposledy pouzity adresar

isApplet

public boolean isApplet()

Slouzi ke zjisteni, jestli je okno soucast appletu nebo aplikace

Returns:

true, pokud se jedna o applet.

setGrammar

public void setGrammar(Grammar g)

Slouzi ke zmene gramatiky, podle ktere se derivace provadi. Soucasne prerusi pripadnou automatickou derivaci a vytvori novou derivaci.

Parameters:

g - Nova gramatika

setProds

private void setProds()

Nastavi aplikovatelna pravidla do seznamu, ze ktereho se vybiraji.

setSteps

private void setSteps()

Nastavi seznam kroku derivace, aplikovatelna pravidla a pri prvnim kroku zakaze pouziti tlacitka zpet.

takeControl

public void takeControl(int message)

Slouzi k navratu z chyboveho okna. Povoli pouzivani prvku v okne.

Specified by:

takeControl in interface Errorable

Parameters:

message - Cislo chyboveho hlaseni, ktere bylo zobrazeno.

makeFrame

private void makeFrame()

Vytvori v okne vsechny prvky a nastavi posluchace udalosti.

backButtonAction

private void backButtonAction()

Akce provedena pri stisku tlacitka zpet. Vrati derivaci k vybranemu kroku. Pokud zadny vybrany neni, vrati derivaci o jeden krok.

newButtonAction

private void newButtonAction()

Vytvori novou derivaci. Vsechny kroky aktualni derivace budou zapomenuty

gramNewButtonAction

private void gramNewButtonAction()

Akce tlacitka nova gramatika. Otevre okno editace gramatiky s nevyplnenymi pravidly.

gramLoadButtonAction

private void gramLoadButtonAction()

Akce pri volbe nacist gramatiku v menu. Otevre okne editace gramatiky a primo zvoli volbu otevreni souboru.

applyButtonAction

void applyButtonAction()

Akce pro tlacitko aplikuj. Provede dalsi krok derivace. Pokud je zvolena automaticka derivace, zakaza pouzivani tlacitek mimo stop a nastavi zpozdeni mezi kroky.

gramUpdateButtonAction

void gramUpdateButtonAction()

Akce tlacitka upravit gramatiku. Otevre okne editace gramatiky a predvyplni pravidla a pocatecni neterminal.

stopButtonAction

void stopButtonAction()

Akce tlacitka stop. Ukonci automatickou derivaci a povoli zase vsechna tlacitka.

leftCHBoxStateChanged

private void leftCHBoxStateChanged()

Akce provadena pri zmene zaskrtnuti leftmost derivace. Pri zvoleni nastavi vyskyt na 1 a zakaze jeho zmenu. Pri odskrtnuti povoli zmenu vyskytu. Navic znovu urci aplikovatelna pravidla, protoze i ona se zmenou leftmost omezeni mohla zmenit.

autoCHBoxStateChanged

private void autoCHBoxStateChanged()

Akce provedena pri zmene stavu tlacitka pro automatickou derivaci. Pri zvoleni umozni menit zpozdeni, povoli nahodnou derivaci, nastavi vysktyt na 1 a zakaze jeho zmenu. Pri odskrtnuti se znemozni zmena zpozdeni, odskrtne se nahodna volba a zakaze jeho zmena, povoli se editace vyskytu.

makeMenu

private void makeMenu()

Vytvori vechna menu vcetne polozek v nich. Vsem polozkam nastavi posluchace udalosti.

setAlarm

private void setAlarm()

Vytvori nove vlakno, ktere pocka cas zadany v poli zpozdeni a potom vola metodu autoDerivate(). Nejprve ale kontroluje spravnost zadaneho zpozdeni.

autoDerivate

private void autoDerivate()

Pokud nebyla automaticka derivace prerusena provede jeji dalsi krok. Pokud je jeste mozne v derivaci pokracovat, nastavi zase metodou setAlarm() paralelni vlakno, ktere spusti dalsi krok.

setAutoConf

void setAutoConf()

Pri automaticke derivaci je mozne stisknout jen tlacitko stop, ktere derivaci zastavi. Ostatni tlacitka a prvky v okne zakaze tato funkce. Navic tlacitko stop vznikne prejmenovanim tlacitka aplikuj.

unsetAutoConf

void unsetAutoConf()

Po skonceni automaticke derivace povoli zpet prvky rozhrani a zmeni tlacitko stop na aplikuj.

writeFile

protected void writeFile()

Slouzi k ulozeni gramatiky, podle ktere probiha derivace, do souboru. Otevre dialog pro vyber souboru a zapise do nej gramatiku. Pokud soubor existuje, bude prepsan bez varovani.