|
Class Summary |
| Absyn |
Abstract class to provide coordinates and locations. |
| Action |
Abstrakte Klasse f?r Aktionen (tau, Input, Output, Zuweisung) |
| Assign_action |
Aktion: Wertzuweisung |
| Astate |
Abstrakte Klasse f"ur Zustand |
| AstateList |
Eine Liste von Zustaenden (init oder nicht) |
| B_expr |
Bin"are Ausdr"ucke |
| Chandec |
Variablendeklaration. |
| ChandecList |
Liste fuer Kanal-Deklarationen. |
| Channel |
Klasse fuer Kanalnamen. |
| Constval |
Konstante Werte (Integers und Boolesche Werte) |
| Example |
Die Klasse soll ein Beispiel fuer ein Programm
int abstrakter Syntax bereitstellen. |
| Expr |
Abstrakte Klasse f"ur Ausdr"ucke |
| Initstate |
Initialer Zustand |
| Input_action |
Kommunikation: Eingabe |
| Label |
Klasse fuer Labels entsprechend der Grammatik. |
| Location |
Klasse f"ur die Speicherung der Zeilen. |
| M_AtomType |
Abstrakte Klasse fuer Mist Typen |
| M_AType |
Abstrakte Klasse fuer Mist Typen |
| M_Bool |
Abstrakte Klasse fuer Mist Typen |
| M_Chan |
Abstrakte Klasse fuer Mist Typen |
| M_Int |
Abstrakte Klasse fuer Mist Typen |
| M_Type |
Abstrakte Klasse fuer Mist Typen |
| Output_action |
Kommunikation: Ausgabe |
| Position |
Position, fuer die Graphische Darstellung. |
| Process |
One process = local variables + transitions |
| ProcessList |
Liste fuer Prozesse. |
| Program |
Toplevel syntactic contruct for Mist programs. |
| State |
Zustand (au"ser initialem Zustand) |
| Tau_action |
Tau-Aktion |
| Transition |
Class implementing a transition. |
| TransitionList |
Eine Liste von Transitionen |
| U_expr |
Un"are Ausdr"ucke |
| Vardec |
Variablendeklaration. |
| VardecList |
Liste fuer Variablen-Deklarationen. |
| Variable |
Variablen: der Einfachheit halber als String implementiert |