All Packages  Class Hierarchy
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Index of all Fields and Methods

A

Absyn(). Constructor for class absyn.Absyn
action. Variable in class codegen.CodeGenTrans
Code for the action.
action. Variable in class absyn.TLabel
Righ-hand-side of the label: action
Action(). Constructor for class absyn.Action
ActionBlock(Aseq). Constructor for class absyn.ActionBlock
ActionBlock(Aseq, Location). Constructor for class absyn.ActionBlock
ActionEmpty(Dummy). Constructor for class absyn.ActionEmpty
ActionEmpty(Dummy, Location). Constructor for class absyn.ActionEmpty
ActionEvt(SEvent). Constructor for class absyn.ActionEvt
ActionEvt(SEvent, Location). Constructor for class absyn.ActionEvt
actionPerformed(ActionEvent). Method in class check.CheckOption
actionPerformed(ActionEvent). Method in class codegen.CodeGenConfig
actionPerformed(ActionEvent). Method in class gui.tesc2Option
ActionStmt(Boolstmt). Constructor for class absyn.ActionStmt
ActionStmt(Boolstmt, Location). Constructor for class absyn.ActionStmt
active(). Static method in class editor.Editor
Gibt den drzeitigen Zeichenstatus zurueck
addGUIMenu(Menu). Method in interface gui.GUIInterface
Diese Funktion fuegt ein "Menu" in die Menuzeile der GUI ein.
addGUIMenu(Menu). Method in class gui.pest
adjustmentValueChanged(AdjustmentEvent). Method in class simu.ListFrame
Method to handle events for the AdjustmentListener interface.
AlgorithmException(). Constructor for class tesc2.AlgorithmException
Default-Konstruktor ohne Text
AlgorithmException(String). Constructor for class tesc2.AlgorithmException
Konstruktor mit Fehlermeldung
AND. Static variable in class absyn.Compguard
Constants.
And_State(Statename, StateList). Constructor for class absyn.And_State
And_State(Statename, StateList, CRectangle). Constructor for class absyn.And_State
And_State(Statename, StateList, CRectangle, Location). Constructor for class absyn.And_State
append(String). Method in class absyn.Path
aseq. Variable in class absyn.ActionBlock
Contents of the block.
Aseq(Action, Aseq). Constructor for class absyn.Aseq
Constructor.
Aseq(Action, Aseq, Location). Constructor for class absyn.Aseq
ass. Variable in class absyn.BAss
Contents of the assignment.

B

Basic_State(Statename). Constructor for class absyn.Basic_State
Basic_State(Statename, CRectangle). Constructor for class absyn.Basic_State
Basic_State(Statename, CRectangle, Location). Constructor for class absyn.Basic_State
BAss(Bassign). Constructor for class absyn.BAss
Constructor.
BAss(Bassign, Location). Constructor for class absyn.BAss
Bassign(Bvar, Guard). Constructor for class absyn.Bassign
Constructs a boolean assignment.
Bassign(Bvar, Guard, Location). Constructor for class absyn.Bassign
Bez. Static variable in class editor.Editor
blhs. Variable in class absyn.Bassign
Left-hand-side of a boolean assignment.
Boolstmt(). Constructor for class absyn.Boolstmt
brhs. Variable in class absyn.Bassign
Right-hand-side of a boolean assignment.
button1_MouseClicked(). Method in class simu.ListFrame
Uebernimmt arBoolWork in arBool und ruft schliesslich ********** (s.u.) auf Ausserdem wird der "LastKnownState"-Button gesperrt.
button1_MouseClicked(). Method in class simu.Simu
MouseClick-Listener fuer den Beenden-Button
button2_MouseClicked(). Method in class simu.ListFrame
Uebernimmt arBool in arBoolWork und ruft schliesslich fillWork auf.
button2_MouseClicked(). Method in class simu.Simu
Comment
button3_ActionEvents(). Method in class simu.ListFrame
Comment
button3_MouseClicked(MouseEvent). Method in class simu.Simu
Button "makeNStep" wurde gedrückt
button4_MouseClicked(MouseEvent). Method in class simu.ListFrame
Reagiert auf Mouseclick auf Reset-Button im ListFrame (Button 4)
button4_MouseClicked(MouseEvent). Method in class simu.Simu
Comment
button5_MouseClicked(MouseEvent). Method in class simu.ListFrame
Reagiert auf Mouseclick auf den "LastKnownState"-Button (Button 5) mit Uebernahme des aktuellen Zustands von bvList oder seList in arBool und (!) arBoolWork
Buttontype. Static variable in class editor.Editor
bvar. Variable in class absyn.GuardBVar
Contents of variable.
Bvar(String). Constructor for class absyn.Bvar
Constructor.
Bvar(String, Location). Constructor for class absyn.Bvar
BvarList(Bvar, BvarList). Constructor for class absyn.BvarList
Constructor.
bvars. Variable in class absyn.Statechart
BvarTab(Bvar, boolean). Constructor for class simu.BvarTab
Default-Constructor fuer BvarTab

C

caption. Variable in class absyn.TLabel
Caption of the label: caption
cguard. Variable in class absyn.GuardCompg
Contents of compound guard.
ChartTools(). Constructor for class util.ChartTools
checkbox10_ItemStateChanged(ItemEvent). Method in class simu.ListFrame
Comment
checkbox11_ItemStateChanged(ItemEvent). Method in class simu.ListFrame
Comment
checkbox12_ItemStateChanged(ItemEvent). Method in class simu.ListFrame
Comment
checkbox1_ItemStateChanged(ItemEvent). Method in class simu.ListFrame
Comment
checkbox1_ItemStateChanged(ItemEvent). Method in class simu.Simu
Veraendert den Status der Checkbox 2 in Abhaengigkeit davon, wie der Status von Checkbox 1 ist Benutzt globale Objekte : aSyncOn

Wird aufgerufen von :

Ruft auf : getCheckbox2(), getCheckbox1

checkbox2_ItemStateChanged(ItemEvent). Method in class simu.ListFrame
Comment
checkbox2_ItemStateChanged(ItemEvent). Method in class simu.Simu
Veraendert den Status in Checkbox 1 in Abhaengigkeit des Status von Checkbox 2 Benutzt globale Objekte : aSyncOn

Wird aufgerufen von :

Ruft auf : getCheckbox1(), getCheckbox2()

checkbox3_ItemStateChanged(ItemEvent). Method in class simu.ListFrame
Comment
checkbox4_ItemStateChanged(ItemEvent). Method in class simu.ListFrame
Comment
checkbox5_ItemStateChanged(ItemEvent). Method in class simu.ListFrame
Comment
checkbox6_ItemStateChanged1(ItemEvent). Method in class simu.ListFrame
Comment
checkbox7_ItemStateChanged(ItemEvent). Method in class simu.ListFrame
Comment
checkbox8_ItemStateChanged(ItemEvent). Method in class simu.ListFrame
Comment
checkbox9_ItemStateChanged(ItemEvent). Method in class simu.ListFrame
Comment
CheckConfig(). Constructor for class check.CheckConfig
checkModel(Statechart). Method in class check.ModelCheck
Führt den gesamten Syntax Check durch.
CheckOption(pest, CheckConfig). Constructor for class check.CheckOption
Konstruktor für das Eingabefenster
clone(). Method in class absyn.Absyn
clone(). Method in class absyn.Action
clone(). Method in class absyn.ActionBlock
clone(). Method in class absyn.ActionEmpty
clone(). Method in class absyn.ActionEvt
clone(). Method in class absyn.ActionStmt
clone(). Method in class absyn.And_State
clone(). Method in class absyn.Aseq
clone(). Method in class absyn.Basic_State
clone(). Method in class absyn.BAss
clone(). Method in class absyn.Bassign
clone(). Method in class absyn.Boolstmt
clone(). Method in class absyn.Bvar
clone(). Method in class absyn.BvarList
clone(). Method in class absyn.Compguard
clone(). Method in class absyn.Comppath
clone(). Method in class absyn.Conname
clone(). Method in class absyn.Connector
clone(). Method in class absyn.ConnectorList
clone(). Method in class absyn.CPoint
clone(). Method in class absyn.CRectangle
clone(). Method in class absyn.Dummy
clone(). Method in class absyn.Guard
clone(). Method in class absyn.GuardBVar
clone(). Method in class absyn.GuardCompg
clone(). Method in class absyn.GuardCompp
clone(). Method in class absyn.GuardEmpty
clone(). Method in class absyn.GuardEvent
clone(). Method in class absyn.GuardNeg
clone(). Method in class absyn.GuardUndet
clone(). Method in class absyn.Location
clone(). Method in class absyn.MFalse
clone(). Method in class absyn.MTrue
clone(). Method in class absyn.Or_State
clone(). Method in class absyn.Path
clone(). Method in class absyn.PathList
clone(). Method in class absyn.Pest_AbSyntax
clone(). Method in class absyn.Pest_CoordSyntax
clone(). Method in class absyn.Pest_NocoordSyntax
clone(). Method in class absyn.Ref_State
clone(). Method in class absyn.SEvent
clone(). Method in class absyn.SEventList
clone(). Method in class absyn.State
clone(). Method in class absyn.Statechart
clone(). Method in class absyn.StateList
clone(). Method in class absyn.Statename
clone(). Method in class absyn.StatenameList
clone(). Method in class absyn.Syntax_Type
clone(). Method in class absyn.Tesc_Syntax
clone(). Method in class absyn.TLabel
clone(). Method in class absyn.Tr
clone(). Method in class absyn.TrAnchor
clone(). Method in class absyn.TrList
clone(). Method in class absyn.UNDEFINED
cnames. Variable in class absyn.Statechart
CodeGen(Statechart). Constructor for class codegen.CodeGen
This simple constructor will generate code for a statechart s using default options.
CodeGen(Statechart, CodeGenOpt). Constructor for class codegen.CodeGen
This constructor will cause codegen to produce code for statechart s with options o.
CodeGen(Statechart, Statechart). Constructor for class codegen.CodeGen
This constructor will generate code for statecharts s1 and s2 with the default options.
CodeGen(Statechart, Statechart, CodeGenOpt). Constructor for class codegen.CodeGen
This constructor will generate code for statecharts s1 and s2 with options o.
CodeGenConfig(pest, CodeGenOpt). Constructor for class codegen.CodeGenConfig
CodeGenException(). Constructor for class codegen.CodeGenException
Constructor
CodeGenException(String). Constructor for class codegen.CodeGenException
Constructor
CodeGenOpt(). Constructor for class codegen.CodeGenOpt
The options are initialized with the following settings: nondetFlavor is takeFirst, envFlavor is none; traceCodeGen, verbose, and twoStatecharts are false.
CodeGenTrans(). Constructor for class codegen.CodeGenTrans
compChart(Statechart, Statechart, String, boolean, boolean). Static method in class util.ChartTools
Komposition von a und b als Substates eines AND-States.
Compguard(int, Guard, Guard). Constructor for class absyn.Compguard
Constructor.
Compguard(int, Guard, Guard, Location). Constructor for class absyn.Compguard
Constructor.
Comppath(int, Path). Constructor for class absyn.Comppath
Constructor.
Comppath(int, Path, Location). Constructor for class absyn.Comppath
con_color(). Static method in class editor.Editor
Uebergabe der Connectorfarbe
Conname(String). Constructor for class absyn.Conname
Conname(String, CPoint). Constructor for class absyn.Conname
Conname(String, CPoint, Location). Constructor for class absyn.Conname
Connector(Conname). Constructor for class absyn.Connector
Constructor.
Connector(Conname, CPoint). Constructor for class absyn.Connector
Constructor with Position.
Connector(Conname, CPoint, Location). Constructor for class absyn.Connector
Constructor with Position and Location.
ConnectorList(Connector, ConnectorList). Constructor for class absyn.ConnectorList
Constructor.
connectors. Variable in class absyn.Or_State
cpath. Variable in class absyn.GuardCompp
CPoint(). Constructor for class absyn.CPoint
Constructor.
CPoint(int, int). Constructor for class absyn.CPoint
Constructor.
CPoint(Point). Constructor for class absyn.CPoint
Constructor.
CRectangle(). Constructor for class absyn.CRectangle
Constructor.
CRectangle(CPoint). Constructor for class absyn.CRectangle
Constructor.
CRectangle(CPoint, Dimension). Constructor for class absyn.CRectangle
Constructor.
CRectangle(CRectangle). Constructor for class absyn.CRectangle
Constructor.
CRectangle(Dimension). Constructor for class absyn.CRectangle
Constructor.
CRectangle(int, int). Constructor for class absyn.CRectangle
Constructor.
CRectangle(int, int, int, int). Constructor for class absyn.CRectangle
Constructor.
Crossreference(GUIInterface, Editor). Constructor for class check.Crossreference
Der Konstruktor der Crossreference.
Crossreference(GUIInterface, Editor, CheckConfig). Constructor for class check.Crossreference
Der Konstruktor der Crossreference.

D

da. Static variable in class editor.Editor
debug. Variable in class simu.Simu
debug1. Variable in class simu.Simu
debug2. Variable in class simu.Simu
debug2a. Variable in class simu.Simu
debug2b. Variable in class simu.Simu
debug2c. Variable in class simu.Simu
debug3. Variable in class simu.Simu
debug4. Variable in class simu.Simu
debug5. Variable in class simu.Simu
debug_get_guard. Variable in class simu.Simu
debug_make_action. Variable in class simu.Simu
debug_makePossTransList. Variable in class simu.Simu
debug_makeRealTransList. Variable in class simu.Simu
defaults. Variable in class absyn.Or_State
dislocation(). Static method in class editor.Editor
Standardfehlermeldung fuer Koordinatenprobleme
Dispose(). Static method in class editor.Editor
loescht das Zeichenfeld und das Menuefeld
dummy. Variable in class absyn.ActionEmpty
dummy. Variable in class absyn.GuardEmpty
Contents of empty guard.
Dummy(). Constructor for class absyn.Dummy
Constructor.
Dummy(Location). Constructor for class absyn.Dummy
dumpHA(Statechart, Statechart, CodeGenOpt). Constructor for class codegen.dumpHA
This will construct a dumb instance of dumpHA.
dumpHA(Statechart, Statechart, String). Constructor for class codegen.dumpHA
This will construct some instance of dumpHA and will initialize its state chart with bla and the path name to fasel.
dumpTables(Statechart). Constructor for class codegen.dumpTables
This is the only constructor for this class.

E

Editor(). Static method in class editor.Editor
Diese Methode gibt den derzeitigen Zeichenmodus zurueck
Editor(boolean). Constructor for class editor.Editor
nichtstatischer Aufruf der Drawdesk-Repaintmethode
Editor(Statechart, String). Constructor for class editor.Editor
Generiert einen Menu-Frame
Editor(Statechart, String, int, int, int, int). Constructor for class editor.Editor
Generiert einen Editorfenster ohne GUI-Unterstuetzung
Editor(Statechart, String, int, int, int, int, GUIInterface). Constructor for class editor.Editor
Generiert einen drawframe
Editor(String). Constructor for class editor.Editor
Generiert einen Menu-Frame
editorClosing(). Method in interface gui.GUIInterface
editorClosing Diese Funktion dient dazu,der GUI mitzuteilen,dass der Editor geschlosen wurde.
editorClosing(). Method in class gui.pest
EingabeDialog(Frame, String, String, String). Method in interface gui.GUIInterface
EingabeDialog wie OkDialog,jedoch mit OK und Abbrechen.Bietet zusätzlich noch ein TextField zu Eingabe von Text,ein Defaulttext muss uebergeben werden.
EingabeDialog(Frame, String, String, String). Method in class gui.pest
EingabeDialog(String, String, String). Method in interface gui.GUIInterface
EingabeDialog wie OkDialog,jedoch mit OK und Abbrechen.Bietet zusätzlich noch ein TextField zu Eingabe von Text,ein Defaulttext muss uebergeben werden.
EingabeDialog(String, String, String). Method in class gui.pest
elhs. Variable in class absyn.Compguard
Left-hand-side.
endEvent. Static variable in class codegen.dumpTables
This is our reserved event keyword.
ENTERED. Static variable in class absyn.Comppath
eop. Variable in class absyn.Compguard
Biary operation.
EQUIV. Static variable in class absyn.Compguard
erhs. Variable in class absyn.Compguard
Right-hand-side.
event. Variable in class absyn.ActionEvt
event. Variable in class absyn.GuardEvent
Contents of event.
events. Variable in class absyn.Statechart
Example(). Constructor for class absyn.Example
example(). Method in class simu.Simu
Liefert Teststatechart Benutzt globale Objekte : Aufgerufen von : Ruft auf :
EXITED. Static variable in class absyn.Comppath
extractChart(Statechart, Path). Static method in class util.ChartTools
State pos aus src als eigenständigen Statechart liefern.

F

fehlermeldung1(). Static method in class editor.Editor
Aufruf der Standardzeichenfehlerbehandlung
fehlermeldung2(). Static method in class editor.Editor
filename. Variable in class absyn.Ref_State
Name of the file
filetype. Variable in class absyn.Ref_State
sort of the imported syntax

G

generateSymState(Path). Static method in class codegen.dumpTables
Generate the symbolic state name as a String.
getAction(BufferedReader, Statechart). Method in class tesc1.TESCLoader
Umwandeln eines TESC-File aus BufferedReader in Action.
Achtung: Es werden nur Actionstatements akzeptiert, die mit einem ; abgeschlossen sind!
Die neuen SEvents/Bvars werden in die Listen des übergebenen Statecharts eingetragen
getConnectorcolor(). Method in interface gui.GUIInterface
getConnectorcolor Gibt ein Color-Objekt zurück, welches zum Zeichnen von Connectoren benutzt werden soll.
getConnectorcolor(). Method in class gui.pest
getExample(). Static method in class absyn.Example
getGuard(BufferedReader, Statechart). Method in class tesc1.TESCLoader
Umwandeln eines TESC-File aus BufferedReader in Guard.
getLabel(TLabel, Statechart). Method in class tesc1.TESCLoader
Liefert um SyntaxBaum (aus tl.caption berechnet) erweitertes TLabel
getMessage(). Method in class tesc2.AlgorithmException
Gibt den Fehlertext zurueck (ueberschreibt die Methode von Throwable)
getMessage(). Method in class codegen.CodeGenException
Overides Throwable
getStatechart(). Method in class stm.HAImport
Diese Methode liefert die StateChart, die aus dem dem Konstruktor übergebenen Stream importiert wird.
getStatechart(boolean). Method in class stm.HAImport
Diese Methode liefert die StateChart genau wie getStatechart(), jedoch kann noch zusätzlich ein boolean-Parameter übergeben werden, der festlegt, ob die Koordinaten mit übernommen werden sollen.
getStatechart(boolean, boolean, int, int). Method in class stm.HAImport
Diese Methode liefert die StateChart genau wie getStatechart(), jedoch kann noch zusätzlich zwei boolean-Parameter übergeben werden, die festlegen, ob im StateChart vorkommende PEST-Keywords umbenannt werden sollen und ob die Koordinaten mit übernommen werden sollen.
getStatechart(boolean, int, int). Method in class stm.HAImport
Diese Methode liefert die StateChart genau wie getStatechart(), jedoch kann noch zusätzlich ein boolean-Parameter übergeben werden, der festlegt, ob die Koordinaten mit übernommen werden sollen.
getStatechart(BufferedReader). Method in class tesc1.TESCLoader
Umwandeln eines TESC-File aus BufferedReader in Statechart.
getStatechart(int, int). Method in class stm.HAImport
Diese Methode liefert die StateChart genau wie getStatechart(), jedoch können noch zusätzlich zwei Integer-Parameter, die die gewünschte Skalierungs-Auflösung angeben, übergeben werden.
getStatecolor(). Method in interface gui.GUIInterface
getStatecolor Gibt ein Color-Objekt zurück, welches zum Zeichnen von States benutzt werden soll.
getStatecolor(). Method in class gui.pest
getTransitioncolor(). Method in interface gui.GUIInterface
getTransitioncolor Gibt ein Color-Objekt zurück, welches zum Zeichnen von Transitionen benutzt werden soll.
getTransitioncolor(). Method in class gui.pest
GraphOptimizer(). Constructor for class tesc2.GraphOptimizer
Default-Konstruktor
GraphOptimizer(Statechart, FontMetrics). Constructor for class tesc2.GraphOptimizer
Erzeugt Optimierer für Statechart _sc mit FontMetrics _fm
guard. Variable in class codegen.CodeGenTrans
Code of the guard.
guard. Variable in class absyn.GuardNeg
Guard to negate.
guard. Variable in class absyn.TLabel
Left-hand-side of the label: guard.
Guard(). Constructor for class absyn.Guard
GuardBVar(Bvar). Constructor for class absyn.GuardBVar
Constructor.
GuardBVar(Bvar, Location). Constructor for class absyn.GuardBVar
GuardCompg(Compguard). Constructor for class absyn.GuardCompg
Constructor.
GuardCompg(Compguard, Location). Constructor for class absyn.GuardCompg
Constructor.
GuardCompp(Comppath). Constructor for class absyn.GuardCompp
GuardCompp(Comppath, Location). Constructor for class absyn.GuardCompp
GuardEmpty(Dummy). Constructor for class absyn.GuardEmpty
Constructor.
GuardEmpty(Dummy, Location). Constructor for class absyn.GuardEmpty
GuardEvent(SEvent). Constructor for class absyn.GuardEvent
Constructor.
GuardEvent(SEvent, Location). Constructor for class absyn.GuardEvent
GuardNeg(Guard). Constructor for class absyn.GuardNeg
Constructor.
GuardNeg(Guard, Location). Constructor for class absyn.GuardNeg
GuardUndet(String). Constructor for class absyn.GuardUndet
Constructor.
GuardUndet(String, Location). Constructor for class absyn.GuardUndet
guiOutput(String). Method in class simu.Simu
Interface-Methode zur GUI.

H

HAImport(BufferedReader). Constructor for class stm.HAImport
Der Konstruktor dient zum Importieren einer StateChart im HA-Format.
HAImport(BufferedReader, GUIInterface). Constructor for class stm.HAImport
Konstruktor mit GUI-Unterstützung.
hasCoords(). Method in class stm.HAImport
Diese Methode liefert zurück, ob die importierte StateChart Koordinaten hat (true) oder nicht (false).
head. Variable in class absyn.Aseq
Head of the list.
head. Variable in class absyn.BvarList
Head of the list.
head. Variable in class absyn.ConnectorList
Head of the list.
head. Variable in class absyn.Path
head. Variable in class absyn.PathList
head. Variable in class absyn.SEventList
head. Variable in class absyn.StateList
head. Variable in class absyn.StatenameList
head. Variable in class absyn.TrList
highlightObject(). Constructor for class editor.highlightObject
Zeichnet alle uebergebenenObjekte in der angegebenen Farbe
highlightObject(Absyn, Color). Constructor for class editor.highlightObject
Universalschnittstelle zu Zeichnen von AbSyn-Objekten
highlightObject(And_State). Constructor for class editor.highlightObject
Stub zu Editor2
highlightObject(And_State, Color). Constructor for class editor.highlightObject
Zeichnet einen And_State in der angegebenen Farbe
highlightObject(Basic_State). Constructor for class editor.highlightObject
Stub zu Editor2
highlightObject(Basic_State, Color). Constructor for class editor.highlightObject
Zeichnet einen Basic-State in der angegebenen Farbe
highlightObject(boolean). Constructor for class editor.highlightObject
Loescht die Liste der zu highlightenden Objekte
highlightObject(Connector). Constructor for class editor.highlightObject
Stub zu Editor2
highlightObject(Connector, Color). Constructor for class editor.highlightObject
Zeichnet einen Connector in der angegebenen Farbe
highlightObject(Graphics). Constructor for class editor.highlightObject
Parameteruebergabe von Zeicheninformationen
highlightObject(Graphics, Statechart). Constructor for class editor.highlightObject
Parameteruebergabe von Zeicheninformationen
highlightObject(Or_State). Constructor for class editor.highlightObject
Stub zu Editor2
highlightObject(Or_State, Color). Constructor for class editor.highlightObject
Zeichnet einen And_State in der angegebenen Farbe
highlightObject(Tr). Constructor for class editor.highlightObject
Stub zu Editor2
highlightObject(Tr, Color). Constructor for class editor.highlightObject
Zeichnet eine Transition in der angegebenen Farbe

I

IMPLIES. Static variable in class absyn.Compguard
IN. Static variable in class absyn.Comppath
Constants
init. Static variable in class editor.Editor
initTabs(Vector). Method in class simu.ListFrame
Inititialisiert die Arrays arString, arBool, arBoolWork Benutzt globale Objekte : seList bzw.
insertChart(Statechart, Statechart, Path, boolean, boolean). Static method in class util.ChartTools
Einfügen der Statechart src in dest an Stelle des States mit Path pos(muß aus dest sein).
isDebug(). Method in interface gui.GUIInterface
isDebug Gibt den Debugging Status zurueck.
isDebug(). Method in class gui.pest
isDebug(). Method in class tesc1.TESCSaver
Ahem: nur zur leichteren Protierung von TESCCaptionREwriter
isReserved(String). Static method in class util.Keyword
Diese Routine prüft, ob der angegebene String ein Schlüsselwort ist.
itemStateChanged(ItemEvent). Method in class simu.ListFrame
Method to handle events for the ItemListener interface.
itemStateChanged(ItemEvent). Method in class simu.Simu
Method to handle events for the ItemListener interface.

K

Keyword(). Constructor for class util.Keyword

L

label. Variable in class absyn.Tr
labelObject(Absyn). Static method in class editor.Editor
initialisierung der Namenseingabe
LIST_OF_ALGORITHMS. Static variable in class tesc2.GraphOptimizer
Die Einträge des Arrays sind Namen für die verwendbaren Algorithmen.
listenEditor(). Static method in class editor.Editor
Gibt den Status des update-Listener zurueck
ListFrame(). Constructor for class simu.ListFrame
Constructor
ListFrame(Vector, boolean, Simu, int). Constructor for class simu.ListFrame
Constructor
location. Variable in class absyn.Absyn
Location(int). Constructor for class absyn.Location
LongLabel. Static variable in class editor.Editor

M

main(String[]). Static method in class util.ChartTools
Main: Nur zum internen Testen; nicht benutzen.
main(String[]). Static method in class stm.HAImport
main dient uns intern zum testen ohne GUI und sollte nicht verwendet werden.
main(String[]). Static method in class simu.ListFrame
main entrypoint - starts the part when it is run as an application
main(String[]). Static method in class gui.pest
main(String[]). Static method in class util.PrettyEx
main-Methode -> Ausgabe Statechart-Example.
main(String[]). Static method in class simu.Simu
main entrypoint - starts the part when it is run as an application
makeNStep(int). Method in class simu.Simu
Diese Methode fuehrt n Simulationsschritte aus ( im synchronen Betrieb ).
makeStep(). Method in class simu.Simu
Diese Methode macht genau einen Simulationsschritt, der entweder synchron oder asynchron ist.
makeTabCounter. Variable in class simu.Simu
MFalse(Bvar). Constructor for class absyn.MFalse
Constructor.
MFalse(Bvar, Location). Constructor for class absyn.MFalse
ModelCheck(GUIInterface). Constructor for class check.ModelCheck
Der Constructor des Syntax Checkers.
ModelCheck(GUIInterface, Editor). Constructor for class check.ModelCheck
Der Constructor des Syntax Checkers.
ModelCheck(GUIInterface, Editor, CheckConfig). Constructor for class check.ModelCheck
Der Constructor des Syntax Checkers.
mouseClicked(MouseEvent). Method in class simu.ListFrame
Method to handle events for the MouseListener interface.
mouseClicked(MouseEvent). Method in class simu.Simu
Method to handle events for the MouseListener interface.
mouseEntered(MouseEvent). Method in class simu.ListFrame
Method to handle events for the MouseListener interface.
mouseEntered(MouseEvent). Method in class simu.Simu
Method to handle events for the MouseListener interface.
mouseExited(MouseEvent). Method in class simu.ListFrame
Method to handle events for the MouseListener interface.
mouseExited(MouseEvent). Method in class simu.Simu
Method to handle events for the MouseListener interface.
mousePressed(MouseEvent). Method in class simu.ListFrame
Method to handle events for the MouseListener interface.
mousePressed(MouseEvent). Method in class simu.Simu
Method to handle events for the MouseListener interface.
mouseReleased(MouseEvent). Method in class simu.ListFrame
Method to handle events for the MouseListener interface.
mouseReleased(MouseEvent). Method in class simu.Simu
Method to handle events for the MouseListener interface.
MTrue(Bvar). Constructor for class absyn.MTrue
MTrue(Bvar, Location). Constructor for class absyn.MTrue

N

name. Variable in class absyn.Conname
name. Variable in class absyn.Connector
Connector name is used for initial bookkeeping only.
name. Variable in class absyn.SEvent
name. Variable in class absyn.State
name. Variable in class absyn.Statename
newdraw(). Static method in class editor.Editor
Aufruf der Drawdesk-Repaintmethode
next. Variable in class codegen.CodeGenTrans
Next transition
nextInt(). Method in class util.RandomIntGenerator
Bereichsanpassung
NORM_COLUMN. Static variable in class util.PrettyPrint
Standardoffset-Spalte.
NORM_TAB. Static variable in class util.PrettyPrint
Standardtabulator.
number. Variable in class codegen.CodeGenTrans
Number of transition.

O

OkDialog(Frame, String, String). Method in interface gui.GUIInterface
OkDialog Bringt einen modalen Dialog mit dem uebergebenen Titel, Nachricht und OK-Button auf den Bildschirm.
OkDialog(Frame, String, String). Method in class gui.pest
OkDialog(String, String). Method in interface gui.GUIInterface
Bringt einen modalen Dialog mit dem uebergebenen Titel, Nachricht und OK-Button auf den Bildschirm.
OkDialog(String, String). Method in class gui.pest
OR. Static variable in class absyn.Compguard
Or_State(Statename, StateList, TrList, StatenameList, ConnectorList). Constructor for class absyn.Or_State
Or_State(Statename, StateList, TrList, StatenameList, ConnectorList, CRectangle). Constructor for class absyn.Or_State
Or_State(Statename, StateList, TrList, StatenameList, ConnectorList, CRectangle, Location). Constructor for class absyn.Or_State

P

paint(Graphics). Method in class gui.pest
path. Variable in class absyn.Comppath
Path.
Path(String, Path). Constructor for class absyn.Path
PathList(Path, PathList). Constructor for class absyn.PathList
pathop. Variable in class absyn.Comppath
Path operation.
pest(). Constructor for class gui.pest
Pest_AbSyntax(). Constructor for class absyn.Pest_AbSyntax
Pest_CoordSyntax(). Constructor for class absyn.Pest_CoordSyntax
Pest_CoordSyntax(Location). Constructor for class absyn.Pest_CoordSyntax
Pest_NocoordSyntax(). Constructor for class absyn.Pest_NocoordSyntax
Pest_NocoordSyntax(Location). Constructor for class absyn.Pest_NocoordSyntax
points. Variable in class absyn.Tr
position. Variable in class absyn.Conname
position. Variable in class absyn.Connector
Position of the Connector.
position. Variable in class absyn.Statename
position. Variable in class absyn.TLabel
Position of the label.
PrettyEx(). Constructor for class util.PrettyEx
PrettyPrint(). Constructor for class util.PrettyPrint
PrettyPrint(int, int). Constructor for class util.PrettyPrint
Konstruktoren fuer PrettyPrint.

R

RandomIntGenerator(int, int). Constructor for class util.RandomIntGenerator
RandomIntGenerator wird mit zwei ganzahligen Werten min und max konstruiert.
rect. Variable in class absyn.State
Ref_State(Statename, CRectangle, Location, String, Syntax_Type). Constructor for class absyn.Ref_State
Ref_State(Statename, CRectangle, String, Syntax_Type). Constructor for class absyn.Ref_State
Ref_State(Statename, String, Syntax_Type). Constructor for class absyn.Ref_State
relabeltrans(Tr). Static method in class editor.Editor
removeGUIMenu(Menu). Method in interface gui.GUIInterface
Diese Funktion entfernt ein mit addGUIMenu eingefügtes Menu wieder aus der Menuzeile des GUI.
removeGUIMenu(Menu). Method in class gui.pest
report(Statechart). Method in class check.Crossreference
Führt die Crossreference aus.
resetSimu(). Method in class simu.Simu
Versetzt die Simulation in ihren Ausgangszustand zurueck Benutzt globale Objekte : SDaten, bvList, seList, simuCount Aufgerufen von : Actionhandler zu Button 4 Ruft auf : makeTab(BvarList), makeTab(SEventList)

S

saveStatechart(BufferedWriter, Statechart). Method in class tesc1.TESCSaver
Export eines Syntaxbaums in ein Tesc-File.
scrollbar1_AdjustmentValueChanged(AdjustmentEvent). Method in class simu.ListFrame
Wird ausgefuehrt, wenn der Benutzer einen ScrollbarEvent ausloest Liest die aktuelle Position des Scrollbars und veranlasst fill(), die TextFields und die Checkboxen auf den aktuellen Wert zu bringen.
setAlgorithm(int). Method in class tesc2.GraphOptimizer
Setzt den aktuellen Algorithmus
setCaption(TLabel). Method in class tesc1.TESCSaver
setzt TLabel.caption in TESC1-Syntax
setDebugLevel(boolean). Method in class simu.Simu
Benutzt globale Objekte : alle DebugLevel Aufgerufen von : Simu() Ruft auf : ----
setFontMetrics(FontMetrics). Method in class tesc2.GraphOptimizer
Setzt die aktuelle FontMetrics
SetListen(). Static method in class editor.Editor
Setzt den update-Listener auf true (nur fuer Editor-Events)
setStatechart(Statechart). Method in class tesc2.GraphOptimizer
Setzt das aktuelle Statechart
SEvent(String). Constructor for class absyn.SEvent
SEvent(String, Location). Constructor for class absyn.SEvent
SEventList(SEvent, SEventList). Constructor for class absyn.SEventList
SEventTab(SEvent, boolean). Constructor for class simu.SEventTab
SEventTab MainConstructor
Simu(). Constructor for class simu.Simu
Constructor
Simu(Statechart, Editor, GUIInterface). Constructor for class simu.Simu
Simulator: 3.
simuExit(). Method in interface gui.GUIInterface
simuExit Diese Funktion dient dazu,der GUI mitzuteilen,dass der Simulator geschlosen wurde.
simuExit(). Method in class gui.pest
source. Variable in class codegen.CodeGenTrans
Name of the source state.
source. Variable in class absyn.Tr
st_color(). Static method in class editor.Editor
Uebergabe der Statefarbe
start(). Method in class tesc2.GraphOptimizer
Optimiert aktuelles Statechart mit aktuellem Algorithmus
start(Absyn). Method in class util.PrettyPrint
Starte Ausgabe auf Bildschirm (Absyn).
start(CRectangle). Method in class util.PrettyPrint
Starte Ausgabe auf Bildschirm (java.awt.Rectangle).
start(int). Method in class tesc2.GraphOptimizer
Optimiert das aktuelle Statechart mit Algorithmus _algorithm
start(Location). Method in class util.PrettyPrint
Starte Ausgabe auf Bildschirm (Location).
start(Path). Method in class util.PrettyPrint
Starte Ausgabe auf Bildschirm (Path) = Liste von Namen.
start(PathList). Method in class util.PrettyPrint
Starte Ausgabe auf Bildschirm (PathList).
start(Point). Method in class util.PrettyPrint
Starte Ausgabe auf Bildschirm (java.awt.Point).
start(Point[]). Method in class util.PrettyPrint
Starte Ausgabe auf Bildschirm (java.awt.Point[]).
start(SEvent). Method in class util.PrettyPrint
Starte Ausgabe auf Bildschirm (SEvent).
start(SEventList). Method in class util.PrettyPrint
Starte Ausgabe auf Bildschirm (SEventList).
start(StateList). Method in class util.PrettyPrint
Starte Ausgabe auf Bildschirm (StateList)
start(Tr). Method in class util.PrettyPrint
Starte Ausgabe auf Bildschirm (Tr).
start(TrList). Method in class util.PrettyPrint
Starte Ausgabe auf Bildschirm (TrList).
state. Variable in class absyn.Statechart
State(). Constructor for class absyn.State
Statechart(SEventList, BvarList, PathList, State). Constructor for class absyn.Statechart
Statechart(SEventList, BvarList, PathList, State, Location). Constructor for class absyn.Statechart
Statechart(String). Constructor for class absyn.Statechart
StateChartHasChanged(). Method in interface gui.GUIInterface
StateChartHasChanged Diese Funktion dient,dazu der GUI mitzuteilen, dass an den aktuellen Statechart Änderungen vorgenommen wurden.
StateChartHasChanged(). Method in class gui.pest
StateList(State, StateList). Constructor for class absyn.StateList
Statename(String). Constructor for class absyn.Statename
Statename(String, CPoint). Constructor for class absyn.Statename
Statename(String, CPoint, Location). Constructor for class absyn.Statename
StatenameList(Statename, StatenameList). Constructor for class absyn.StatenameList
stmt. Variable in class absyn.ActionStmt
Contents of the statement.
Stringeingabe(String, String, String, Absyn). Static method in class editor.Editor
Aufruf des Eingabefensters der GUI
substates. Variable in class absyn.And_State
substates. Variable in class absyn.Or_State
Syntax_Type(). Constructor for class absyn.Syntax_Type

T

tail. Variable in class absyn.Aseq
Tail of the list.
tail. Variable in class absyn.BvarList
Tail of the list.
tail. Variable in class absyn.ConnectorList
Tail of the list.
tail. Variable in class absyn.Path
tail. Variable in class absyn.PathList
tail. Variable in class absyn.SEventList
tail. Variable in class absyn.StateList
tail. Variable in class absyn.StatenameList
tail. Variable in class absyn.TrList
target. Variable in class codegen.CodeGenTrans
Name of the target.
target. Variable in class absyn.Tr
tesc2Option(pest). Constructor for class gui.tesc2Option
Tesc_Syntax(). Constructor for class absyn.Tesc_Syntax
Tesc_Syntax(Location). Constructor for class absyn.Tesc_Syntax
TESCLoader(GUIInterface). Constructor for class tesc1.TESCLoader
Nach der Instanzierung von TESCLoader getStatechart(...) aufrufen
TESCSaver(GUIInterface). Constructor for class tesc1.TESCSaver
Schnittstelle zum Export eines Syntaxbaums in ein Tesc-File.
TLabel(Guard, Action). Constructor for class absyn.TLabel
Constructor.
TLabel(Guard, Action, CPoint). Constructor for class absyn.TLabel
Constructor with Position.
TLabel(Guard, Action, CPoint, Location). Constructor for class absyn.TLabel
Constructor with Position and Location.
TLabel(Guard, Action, CPoint, Location, String). Constructor for class absyn.TLabel
Constructor with Position, Location and Caption.
toString(). Method in class codegen.CodeGenException
Overides Throwable
toString(). Method in class absyn.Location
Tr(TrAnchor, TrAnchor, TLabel). Constructor for class absyn.Tr
Tr(TrAnchor, TrAnchor, TLabel, CPoint[]). Constructor for class absyn.Tr
Tr(TrAnchor, TrAnchor, TLabel, CPoint[], Location). Constructor for class absyn.Tr
tr_color(). Static method in class editor.Editor
Uebergabe der Transitionsfarbe
TrAnchor(). Constructor for class absyn.TrAnchor
TransTab(TransTabEntry, TrList, ConnectorList). Constructor for class simu.TransTab
Hilfsklasse fuer die Transitionstabelle
TransTabEntry(Path, Path, TLabel). Constructor for class simu.TransTabEntry
Hilfsklasse
TrList(Tr, TrList). Constructor for class absyn.TrList
TrList(Tr, TrList, Location). Constructor for class absyn.TrList
trs. Variable in class absyn.Or_State

U

UNDEFINED(). Constructor for class absyn.UNDEFINED
UNDEFINED(Location). Constructor for class absyn.UNDEFINED
undet. Variable in class absyn.GuardUndet
Identifier name.
update(Vector). Method in class simu.ListFrame
Uebernimmt die bvList bzw.
userMessage(String). Method in interface gui.GUIInterface
Diese Funktion gibt im Meldungsfenster den uebergebenen String aus.
userMessage(String). Method in class gui.pest

V

var. Variable in class absyn.Bvar
Contents of the variable.
var. Variable in class absyn.MFalse
Variable to change.
var. Variable in class absyn.MTrue
Variable to change.

W

work(). Static method in class editor.Editor
Gibt den derzeitigen Menustatus zurueck
work(boolean). Static method in class editor.Editor
Setzt den Menuestatus auf den uebergebenen Wert

Y

YesNoCancelDialog(Frame, String, String). Method in interface gui.GUIInterface
YesNoCancel wie OkDialog, mit YES, NO und CANCEL, statt OK.
YesNoCancelDialog(Frame, String, String). Method in class gui.pest
YesNoCancelDialog(String, String). Method in interface gui.GUIInterface
YesNoCancel wie OkDialog, mit YES, NO und CANCEL, statt OK.
YesNoCancelDialog(String, String). Method in class gui.pest
YesNoDialog(Frame, String, String). Method in interface gui.GUIInterface
YesNoDialog wie OkDialog, mit YES und NO statt OK.
YesNoDialog(Frame, String, String). Method in class gui.pest
YesNoDialog(String, String). Method in interface gui.GUIInterface
YesNoDialog wie OkDialog, mit YES und NO statt OK.
YesNoDialog(String, String). Method in class gui.pest