A B C D E G H I L M N O P R S T U V X Y

A

Absyn - class absynt.Absyn.

Abstract class to provide coordinates and locations.

Absyn() - Constructor for class absynt.Absyn

act - Variable in class absynt.Label

Action - class absynt.Action.

Abstrakte Klasse f?r Aktionen (tau, Input, Output, Zuweisung)

Action() - Constructor for class absynt.Action

AND - Static variable in class absynt.Expr

assert - Variable in class absynt.Astate

Assign_action - class absynt.Assign_action.

Aktion: Wertzuweisung

Assign_action(Variable, Expr) - Constructor for class absynt.Assign_action

Astate - class absynt.Astate.

Abstrakte Klasse f"ur Zustand

Astate() - Constructor for class absynt.Astate

AstateList - class absynt.AstateList.

Eine Liste von Zustaenden (init oder nicht)

AstateList(Astate, AstateList) - Constructor for class absynt.AstateList

B

B_expr - class absynt.B_expr.

Bin"are Ausdr"ucke

B_expr(Expr, int, Expr) - Constructor for class absynt.B_expr

Konstructor in ``Infix''-Konvention.

C

chan - Variable in class absynt.Chandec

chan - Variable in class absynt.Input_action

chan - Variable in class absynt.Output_action

Chandec - class absynt.Chandec.

Variablendeklaration.

Chandec(Channel) - Constructor for class absynt.Chandec

ChandecList - class absynt.ChandecList.

Liste fuer Kanal-Deklarationen.

ChandecList(Chandec, ChandecList) - Constructor for class absynt.ChandecList

Ein Konstruktor mit Location is hier ueberfluessig

Channel - class absynt.Channel.

Klasse fuer Kanalnamen.

Channel(String) - Constructor for class absynt.Channel

chans - Variable in class absynt.Program

Constval - class absynt.Constval.

Konstante Werte (Integers und Boolesche Werte)

Constval(boolean) - Constructor for class absynt.Constval

2 uberladene Konstruktoren.

Constval(int) - Constructor for class absynt.Constval

D

DIV - Static variable in class absynt.Expr

E

EQ - Static variable in class absynt.Expr

Example - class absynt.Example.

Die Klasse soll ein Beispiel fuer ein Programm int abstrakter Syntax bereitstellen.

Example() - Constructor for class absynt.Example

Expr - class absynt.Expr.

Abstrakte Klasse f"ur Ausdr"ucke

Expr() - Constructor for class absynt.Expr

G

GEQ - Static variable in class absynt.Expr

getExample1() - Static method in class absynt.Example

Methode, die ein Beispielprogramm konstruiert und liefert.

GREATER - Static variable in class absynt.Expr

guard - Variable in class absynt.Label

H

hasMoreElements() - Method in class absynt.AstateList

hasMoreElements() - Method in class absynt.ChandecList

hasMoreElements() - Method in class absynt.ProcessList

hasMoreElements() - Method in class absynt.TransitionList

hasMoreElements() - Method in class absynt.VardecList

I

Initstate - class absynt.Initstate.

Initialer Zustand

Initstate(String, Expr) - Constructor for class absynt.Initstate

Initstate(String, Expr, Position) - Constructor for class absynt.Initstate

Input_action - class absynt.Input_action.

Kommunikation: Eingabe

Input_action(Channel, Variable) - Constructor for class absynt.Input_action

L

lab - Variable in class absynt.Transition

Label - class absynt.Label.

Klasse fuer Labels entsprechend der Grammatik.

Label(Expr, Action) - Constructor for class absynt.Label

left_expr - Variable in class absynt.B_expr

LEQ - Static variable in class absynt.Expr

LESS - Static variable in class absynt.Expr

location - Variable in class absynt.Absyn

Location - class absynt.Location.

Klasse f"ur die Speicherung der Zeilen.

Location(int) - Constructor for class absynt.Location

M

MINUS - Static variable in class absynt.Expr

N

name - Variable in class absynt.Astate

name - Variable in class absynt.Channel

name - Variable in class absynt.Variable

NEG - Static variable in class absynt.Expr

nextElement() - Method in class absynt.AstateList

nextElement() - Method in class absynt.ChandecList

nextElement() - Method in class absynt.ProcessList

nextElement() - Method in class absynt.TransitionList

nextElement() - Method in class absynt.VardecList

O

OR - Static variable in class absynt.Expr

Output_action - class absynt.Output_action.

Kommunikation: Ausgabe

Output_action(Channel, Expr) - Constructor for class absynt.Output_action

P

PLUS - Static variable in class absynt.Expr

pos - Variable in class absynt.Astate

Position - class absynt.Position.

Position, fuer die Graphische Darstellung.

Position() - Constructor for class absynt.Position

Process - class absynt.Process.

One process = local variables + transitions

Process(VardecList, TransitionList, AstateList) - Constructor for class absynt.Process

ProcessList - class absynt.ProcessList.

Liste fuer Prozesse.

ProcessList(Process, ProcessList) - Constructor for class absynt.ProcessList

Ein Konstruktor mit Location is hier ueberfluessig

procs - Variable in class absynt.Program

Program - class absynt.Program.

Toplevel syntactic contruct for Mist programs.

Program(ChandecList, ProcessList) - Constructor for class absynt.Program

Haupt-konstruktor, ?bernimmt schlicht die Argumente in die Felder

R

right_expr - Variable in class absynt.B_expr

S

source - Variable in class absynt.Transition

State - class absynt.State.

Zustand (au"ser initialem Zustand)

State(String, Expr) - Constructor for class absynt.State

State(String, Expr, Position) - Constructor for class absynt.State

states - Variable in class absynt.Process

steps - Variable in class absynt.Process

T

target - Variable in class absynt.Transition

Tau_action - class absynt.Tau_action.

Tau-Aktion

Tau_action() - Constructor for class absynt.Tau_action

TIMES - Static variable in class absynt.Expr

toString() - Method in class absynt.Location

Transition - class absynt.Transition.

Class implementing a transition.

Transition(Astate, Astate, Label) - Constructor for class absynt.Transition

TransitionList - class absynt.TransitionList.

Eine Liste von Transitionen

TransitionList(Transition, TransitionList) - Constructor for class absynt.TransitionList

U

U_expr - class absynt.U_expr.

Un"are Ausdr"ucke

U_expr() - Constructor for class absynt.U_expr

V

val - Variable in class absynt.Assign_action

val - Variable in class absynt.Constval

Als konstante Werte sind Integers und boolesche Werte.

val - Variable in class absynt.Output_action

val - Variable in class absynt.Vardec

var - Variable in class absynt.Assign_action

var - Variable in class absynt.Input_action

var - Variable in class absynt.Vardec

Vardec - class absynt.Vardec.

Variablendeklaration.

Vardec(Variable) - Constructor for class absynt.Vardec

Zwei Konstruktoren: einer fuer die reine Deklaration, eine, falls man die Variable deklariert und gleich mit einem Wert fuellt.

Vardec(Variable, Expr) - Constructor for class absynt.Vardec

VardecList - class absynt.VardecList.

Liste fuer Variablen-Deklarationen.

VardecList(Vardec, VardecList) - Constructor for class absynt.VardecList

Ein Konstruktor mit Location ist ueberfluessig.

Variable - class absynt.Variable.

Variablen: der Einfachheit halber als String implementiert

Variable(String) - Constructor for class absynt.Variable

vars - Variable in class absynt.Process

X

x - Variable in class absynt.Position

Y

y - Variable in class absynt.Position

A B C D E G H I L M N O P R S T U V X Y