Serialized Form
BORDER
int BORDER
graph
AutomatenGraphPanel.AutomatenGraph graph
defaultPanelColor
java.awt.Color defaultPanelColor
- Vorgegebene Standardfarbe für Hintergründe der Bereiche
graphlayoutpanel
GraphLayoutPanel graphlayoutpanel
- Steuerung des Graphen
graphpanel
GraphPanel graphpanel
- Anzeige der Überführungen als Graph
gridbag
java.awt.GridBagLayout gridbag
- Layoutmanager zur Plazierung der Appletbereiche
helpTextImage
java.awt.Image helpTextImage
logopanel
LogoPanel logopanel
- Anzeige der Copyright-Informationen
simkontrollpanel
SimKontrollPanel simkontrollpanel
- Eingabe des Wortes, Steuerung der Simulation
simulation
Simulation simulation
- Simulations-Objekt des Automaten
simulationszustandspanel
SimulationsZustandsPanel simulationszustandspanel
- Anzeige des Simulationsstatusses: läeuft, stop, pause, ...
startendepanel
StartEndePanel startendepanel
- Eingabebereich für Startzustand und Endzustände
statuspanel
StatusPanel statuspanel
- zeigt die momentane Konfiguration (Wort, Zustandsmenge) des Automaten an
tabellenpanel
TabellenPanel tabellenpanel
- Überführungstabelle
tabellenpanelscroll
TabellenPanelScroll tabellenpanelscroll
- scrollbarer Bereich für Überführungstabelle
this$0
Graph this$0
animation
java.awt.Checkbox animation
- Soll die Simulation im Graphen animiert werden
ausrichten
java.awt.Button ausrichten
- Schalter zum Erzeugen des Graphen aus der Tabelle
flowlayout
java.awt.FlowLayout flowlayout
- der Layout-Manager -- alles hintereinander
graphpanel
GraphPanel graphpanel
- das Graphpanel zu dem ich gehoeren tue
layout
java.awt.Label layout
- Label "Layout:"
BORDER
int BORDER
- Abstand des maximalen Zeichenbereich von Rand des Panels
graph
GraphPanel.AutomatenGraph graph
- darzustellender Graph
helpTextImage
java.awt.Image helpTextImage
- Grafik, die angezeigt wird, falls kein Graph darstellbar ist
flowlayout
java.awt.FlowLayout flowlayout
- im Flowlayout, in dem die Controls dargestellt werden
font
java.awt.Font font
- der Font fuer die Beschriftung und das Textfeld
label
java.awt.Label label
- die Beschriftung des Textfelds
text
java.awt.TextField text
- das Textfeld
textwidth
int textwidth
- die Textbreite im Textfeld
font
java.awt.Font font
- der Font, in dem die Schrift ausgegeben wird
eingabewort
LabelAndTextField eingabewort
- Eingabefeld fuer das Eingabewort
erzeugen
java.awt.Button erzeugen
- Schalter zum Erzeugen der Simulation/des Graphen aus der Tabelle
flowlayout
java.awt.FlowLayout flowlayout
- der Layout-Manager -- alles hintereinander
kontrolle
KontrollAenderung kontrolle
- Interface um die Eingaben des Nutzers weiterzuleiten
pause_resume
java.awt.Button pause_resume
- Schalter zum Pausieren
reboot
java.awt.Button reboot
- Schalter zum reinitialisieren
start
java.awt.Button start
- Schalter zum starten
step
java.awt.Button step
- Schalter fuer Einzelschritt
stop
java.awt.Button stop
- Schalter zum stoppen
verzoegerung
SimKontrollPanel.BreiterScrollbar verzoegerung
- Scrollbar zum einstellen der Verzoegerung
this$0
SimKontrollPanel this$0
font
java.awt.Font font
- der Font, in dem die Schrift ausgegeben wird
max
java.lang.String max
- der laengste Anzeigetext -> getPreferredSize()
state
int state
- die aktuelle Anzeige
constraints
java.awt.GridBagConstraints constraints
- die Einstellungen zu GridBag
editable
boolean editable
- true, wenn Eingaben moeglich sind
ende
LabelAndTextField ende
- Eingabefeld fuer die Endzustaende
gridbag
java.awt.GridBagLayout gridbag
- der Layout-Manager
start
LabelAndTextField start
- Eingabefeld fuer den Startzustand
this$0
StartEndePanel this$0
eingabewort
java.lang.String eingabewort
- das anzuzeigende Eingabewort
font
java.awt.Font font
- der Font, in dem die Texte ausgegeben werden
sorted
java.util.Vector sorted
- der Vector einhaelt eine Liste mit den aktuellen Zustaenden
focusedCell
TabellenPanel.TabellenPanelRow.TabellenPanelCell focusedCell
- zuletzt fokusierte Tabellenzelle
gridbag
java.awt.GridBagLayout gridbag
- Layout-Manager zur Darstellung der Tabelle
minnumrows
int minnumrows
- die minimale Anzahl der sichtbaren Tabellenzeilen
rows
java.util.Vector rows
- speichert die Zeilen der Tabelle aus Objekte von TabllenPanelRow
EINGABEZEICHEN
int EINGABEZEICHEN
- Spaltenbezeichner (zweite Spalte)
FROMZUSTAND
int FROMZUSTAND
- Spaltenbezeichner (erste Spalte)
INVALID_COLOR
java.awt.Color INVALID_COLOR
- Textfarbe für ungültige Eingabe
this$1
TabellenPanel.TabellenPanelRow this$1
TOZUSTAND
int TOZUSTAND
- Spaltenbezeichner (dritte Spalte)
type
int type
- Wertetyp der Spalte (FROMZUSTAND,EINGABEZEICHEN,TOZUSTAND)
VALID_COLOR
java.awt.Color VALID_COLOR
- Textfarbe für gültige Eingabe
width
int width
- Breite der Zelle
this$0
TabellenPanel this$0
logo
LogoPanel logo
kontrolle
SimKontrollPanel kontrolle
z
SimulationsZustand z
start_ende
StartEndePanel start_ende
status
StatusPanel status
button
java.awt.Button button
checkbox
java.awt.Checkbox checkbox
tabellenpanel
TabellenPanel tabellenpanel
tabellenscrollpane
java.awt.ScrollPane tabellenscrollpane