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

A

Absyn - class absynt.Absyn.

Abstract class to provide coordinates and locations.

Absyn() - Constructor for class absynt.Absyn

absynt - package absynt

AbsyntInterface - class editor.einterface.AbsyntInterface.

AbsyntInterface() - Constructor for class editor.einterface.AbsyntInterface

accept(File) - Method in class gui.ExampleFileFilter

Return true if this file should be shown in the directory pane, false if it shouldn't.

accomplishAction(Label, Modstate) - Static method in class modcheck.LabelHandler

Fuehre Aktion eines Labels durch.

act - Variable in class absynt.Label

Action - class absynt.Action.

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

action_obj - Variable in class parser.Parser

Instance of action encapsulation class.

action_table() - Method in class parser.Parser

Access to parse-action table.

Action() - Constructor for class absynt.Action

actionPerformed(ActionEvent) - Method in class editor.SetTransitionDialog

actionPerformed(ActionEvent) - Method in class editor.Editor

actionPerformed(ActionEvent) - Method in class gui.NewSessionUI

active - Variable in class simulator.Simulator

Instanz-Feld als Flag f?r den Laufzustand eines Programmes im Simulator

activeState - Variable in class simulator.SimulatorProcess

Feld zum Merken des aktuell aktiven Prozesszustands

actTrans - Variable in class simulator.SimulatorPermTransitions

addExtension(String) - Method in class gui.ExampleFileFilter

Adds a filetype "dot" extension to filter against.

addMsg(String, int) - Method in class simulator.SimulatorDebug

Methode zum Hinzuf?gen einer Nachricht zu dem Debugstring

addReader(Transition) - Method in class simulator.SimulatorChannel

addState(Estate) - Method in class editor.Eprocess

Fuegt einen Zustand in den Prozess ein

addState(String, Expr, float, float, int) - Method in class editor.Eprocess

Fuegt einen neuen Zustand anhand der uebergebenen Daten in den Process ein

addTransition(Etransition) - Method in class editor.Eprocess

Fuegt die Uebergebene Transition in den Process ein

addWriter(Transition) - Method in class simulator.SimulatorChannel

Methoden zum eintragen der Writers / Readers

ainterface - Variable in class editor.Eprocess

ainterface - Variable in class editor.Eprogram

AND - Static variable in class absynt.Expr

AND - Static variable in class parser.sym

appendProgram(Program) - Method in class editor.Eprogram

fuegt ein uebergebenes Programm am Ende der Programmliste an.

askQuestion() - Method in class simulator.SimulatorProgram

assert - Variable in class absynt.Astate

ASSERT - Static variable in class parser.sym

ASSIGN - Static variable in class parser.sym

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

autorunState - Variable in class gui.SimUI

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.

BOOL - Static variable in class parser.sym

C

carried - Variable in class absynt.M_Chan

chan - Variable in class absynt.Output_action

chan - Variable in class absynt.Input_action

chan - Variable in class absynt.Chandec

chan_dekl(ChandecList, TransitionList) - Static method in class checks1.channelCheck

Chandec - class absynt.Chandec.

Variablendeklaration.

Chandec(Channel) - Constructor for class absynt.Chandec

Chandec(Channel, M_Chan) - 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 - Static variable in class parser.sym

Channel(String) - Constructor for class absynt.Channel

Channel(String, M_Type) - Constructor for class absynt.Channel

channelCheck - class checks1.channelCheck.

channelCheck() - Constructor for class checks1.channelCheck

ChannelEditor - class editor.ChannelEditor.

ChannelEditor(Editor, Program) - Constructor for class editor.ChannelEditor

erstellt einen ChannelEditor fuer das uebergebene absynt.Program

channelList - Variable in class simulator.SimulatorProgram

Instanzfeld f?r die Channel eines Programms als ArrayListe

chans - Variable in class absynt.Program

checkExpr(Label, Modstate) - Static method in class modcheck.LabelHandler

Pruefe Zulaessigkeit eines Labels.

checkPermission() - Method in class simulator.SimulatorPermTransitions

checkProcessTitle(String) - Method in class editor.Eprocess

Ueberprueft, ob der uebergebene Name mit dem Prozessnamen uebereinstimmt und liefert das Ergebnis dieser Ueberpruefung als boolean zurueck

checkProcessTitle(String) - Method in class editor.Eprogram

Prueft, ob bereits ein Process mit dem Uebergebenen Namen existiert.

checkProgramTitle(String) - Method in class editor.Eprogram

Prueft, ob der uebergebene Name bereits fuer ein Program vergeben ist.

checks - class checks1.checks.

checks() - Constructor for class checks1.checks

checks(Program) - Constructor for class checks1.checks

checks1 - package checks1

checkStateName(String) - Method in class editor.Eprocess

Checkt, ob bereits ein Zustand mit dem uebergebenen Namen im Prozess vorhanden ist.

checkStateName(String) - Method in class editor.Estate

checkWindow - class checks1.checkWindow.

checkWindow(String) - Constructor for class checks1.checkWindow

clear() - Method in class simulator.SimulatorDebug

Methode zum L?schen der Debugmeldungsliste

clone() - Method in class absynt.VardecList

clone() - Method in class absynt.Vardec

Methode zum Kopieren einer Vardec.

CloseProcess(String) - Method in class editor.Editor

CloseProcess(String) - Method in class gui.GUI

einen Process in der ProcessTable als hidden markieren

COMMA - Static variable in class parser.sym

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

copyAction(Action) - Method in class editor.einterface.AbsyntInterface

Kopiert eine Action und liefert diese zurueck

copyAssignAction(Assign_action) - Method in class editor.einterface.AbsyntInterface

Kopiert eine Assign_action und liefert diese zurueck

copyBexpr(B_expr) - Method in class editor.einterface.AbsyntInterface

Kopiert eine B_expr und liefert sie zurueck

copyChannel(Channel) - Method in class editor.einterface.AbsyntInterface

Kopiert einen Channel und liefert diesen zurueck

copyConstval(Constval) - Method in class editor.einterface.AbsyntInterface

Kopiert eine Constval und liefert diese zurueck

copyExpr(Expr) - Method in class editor.einterface.AbsyntInterface

Kopiert eine Expr und liefert diese zurueck

copyInputAction(Input_action) - Method in class editor.einterface.AbsyntInterface

Kopiert eine Input_action und liefert diese zurueck

copyLabel(Label) - Method in class editor.einterface.AbsyntInterface

Kopiert ein Label und liefert es zurueck

copyOutputAction(Output_action) - Method in class editor.einterface.AbsyntInterface

Kopiert eine Output_action und liefert diese zurueck

copyTauAction(Tau_action) - Method in class editor.einterface.AbsyntInterface

Kopiert eine Tau_action und liefert diese zurueck

copyTransition(Transition) - Method in class editor.einterface.AbsyntInterface

kopiert eine Transition und liefert sie zurueck

copyUexpr(U_expr) - Method in class editor.einterface.AbsyntInterface

Kopiert eine U_expr und liefert sie zurueck

copyVariable(Variable) - Method in class editor.einterface.AbsyntInterface

Kopiert eine Variable und liefert sie zurueck

cpane - Variable in class editor.DebugWindow

D

debug - Variable in class simulator.SimulatorBoolEvaluator

Instanzfeld, um Zugriff auf Debugfunktionen zu haben

debug - Variable in class simulator.SimulatorProcess

Instanzfeld, um Zugriff auf Debugfunktionen zu haben

debug - Variable in class simulator.SimulatorVariable

Instanzfeld, um Zugriff auf Debugfunktionen zu haben

debug - Variable in class simulator.SimulatorProgram

Instanzfeld f?r Debugmeldung-Generation

debug - Variable in class simulator.Simulator

Instanzfeld, um Zugriff auf Debugfunktionen zu haben

debug - Variable in class simulator.SimulatorExprEvaluator

Instanzfeld, um Zugriff auf Debugfunktionen zu haben

debugLvl - Static variable in class simulator.SimulatorDebug

Klassenfeld zum Vorhalten des Debuglevels Range von 0 bis 4

debugLvl - Variable in class simulator.Simulator

Instanzfeld fuer den Debuglevel Wert nur von 0 bis 4 zulaessig

debugLvl - Variable in class simulator.SimulatorDebugMsg

Ausgabe ab welchem Debuglevel ?

DebugWindow - class editor.DebugWindow.

destroy() - Method in class editor.Editor

Methode zum schliessen des Editors ueber die GUI

DIV - Static variable in class absynt.Expr

DIV - Static variable in class parser.sym

do_action(int, lr_parser, Stack, int) - Method in class parser.Parser

Invoke a user supplied parse action.

drawSelection(Graphics, int, int) - Method in class editor.Zeichenflaeche

dummy - class position1.dummy.

dummy() - Constructor for class position1.dummy

E

editCopy() - Method in class editor.Editor

editCut() - Method in class editor.Editor

editor - package editor

Editor - class editor.Editor.

editor_count - Static variable in class editor.Editor

editor_idcount - Static variable in class editor.Editor

editor.einterface - package editor.einterface

Editor(GUI, Program) - Constructor for class editor.Editor

Editor(GUI, Program, int, int, int, int) - Constructor for class editor.Editor

Konstruktoren

Editor(Program) - Constructor for class editor.Editor

EditorObject - class editor.EditorObject.

EditorObject() - Constructor for class editor.EditorObject

EditorSelection - class editor.EditorSelection.

EditorSelection() - Constructor for class editor.EditorSelection

EditorToolbar - class editor.EditorToolbar.

editPaste() - Method in class editor.Editor

ELSE - Static variable in class parser.sym

EOF - Static variable in class parser.sym

EOF_sym() - Method in class parser.Parser

EOF Symbol index.

Eprocess - class editor.Eprocess.

Diese Klasse dient dem Editor als Kapsel fuer einen Process der abstrakten Syntax

Eprocess(Eprogram, Process, ProcessList) - Constructor for class editor.Eprocess

Wrappt einen Eprocess um den uebergebenen absynt.Process

Eprocess(Eprogram, String) - Constructor for class editor.Eprocess

erzeugt einen neuen Process mit dem uebergeben Namen.

Eprogram - class editor.Eprogram.

Diese Klasse dient dem Editor als Kapsel fuer ein absynt.Program.

Eprogram(Program) - Constructor for class editor.Eprogram

Wrappt ein Eprogram um das uebergebene absynt.Program.

Eprogram(String) - Constructor for class editor.Eprogram

Erzeugt ein neues absynt.Program mit dem uebergebenen Namen.

EQ - Static variable in class absynt.Expr

EQ - Static variable in class parser.sym

equalsn(Position) - Method in class absynt.Position

tests, if the two positions are near each other

error - Static variable in class parser.sym

error_sym() - Method in class parser.Parser

error Symbol index.

Estate - class editor.Estate.

Estate(Estate, Astate, AstateList) - Constructor for class editor.Estate

wrappt einen Estate um einen gegebenen Astate mit Liste

Estate(String, Expr, float, float, int) - Constructor for class editor.Estate

Etransition - class editor.Etransition.

Etransition(Estate, Estate, Label) - Constructor for class editor.Etransition

Etransition(Etransition, Transition, TransitionList) - Constructor for class editor.Etransition

wrappt eine Etransition um eine uebergebene absynt.Transition mit Liste

Example - class absynt.Example.

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

Example() - Constructor for class absynt.Example

ExampleFileFilter - class gui.ExampleFileFilter.

A convenience implementation of FileFilter that filters out all files except for those type extensions that it knows about.

ExampleFileFilter() - Constructor for class gui.ExampleFileFilter

Creates a file filter.

ExampleFileFilter(String) - Constructor for class gui.ExampleFileFilter

Creates a file filter that accepts files with the given extension.

ExampleFileFilter(String[]) - Constructor for class gui.ExampleFileFilter

Creates a file filter from the given string array.

ExampleFileFilter(String[], String) - Constructor for class gui.ExampleFileFilter

Creates a file filter from the given string array and description.

ExampleFileFilter(String, String) - Constructor for class gui.ExampleFileFilter

Creates a file filter that accepts the given file type.

executeTransition(Transition) - Method in class simulator.SimulatorProcess

Methode zur Realisierung eines Zustandsueberganges

Expr - class absynt.Expr.

Abstrakte Klasse f"ur Ausdr"ucke

Expr() - Constructor for class absynt.Expr

F

FALSE - Static variable in class parser.sym

fillChannelList(ArrayList) - Method in class simulator.SimulatorProgram

Fuer jeden Prozess werden die Transitionen, Welche lesend oder schreibend mit Channels kommunizieren, als reader oder writer am entsprechenden Ort in die Channelliste eingetragen.

fillInTransitions(ArrayList) - Method in class simulator.SimulatorProcess

Durchgehen aller Transitionen und abchecken, ob Input / Output actions dabeisind.

G

generatePermittedTransList() - Method in class simulator.SimulatorProcess

Methode zum Generieren der Liste von konzessionierten Transitionen eines Prozesses in einem Zustand.

GEQ - Static variable in class absynt.Expr

GEQ - Static variable in class parser.sym

GET - Static variable in class parser.sym

getDescription() - Method in class gui.ExampleFileFilter

Returns the human readable description of this filter.

getErrorStates() - Method in class modcheck.MCheckException

Methode zur Rueckgabe der Fehler-Zustaende.

getExample1() - Static method in class absynt.Example

Methode, die ein Beispielprogramm konstruiert und liefert.

getExtension(File) - Method in class gui.ExampleFileFilter

Return the extension portion of the file's name .

getMessage() - Method in class modcheck.MCheckException

Methode zur Rueckgabe der Fehlermeldung, ueberschreibt java.Exception

getPreferredSize() - Method in class gui.NewSessionUI

getPreferredSize() - Method in class gui.SimUI

getProcessIds() - Method in class editor.Editor

getSel() - Method in class simulator.StrSelWin

getStateByLabel(Process, String) - Method in class editor.einterface.AbsyntInterface

getStateInRange(float, float, float) - Method in class editor.Eprocess

liefert den letzten Zustand zurueck, der sich in der uebergebenen Umgebung befindet.

getTransitionInRange(float, float, float) - Method in class editor.Eprocess

getVariable(Variable) - Method in class simulator.SimulatorProcess

Methode, die einem die zu einer absynt-Variable die entsprechende SimulatorVariable aus der Arrayliste heraussucht.

getWhole() - Method in class simulator.SimulatorDebug

Methode, die die gesamten Debugmeldungen eines Schrittes als normales Array je nach eingestelltem Debuglevel zur?ckgibt

giveResult() - Method in class simulator.SimulatorBoolEvaluator

Methode zum Ansto?en der Berechnung und R?ckgabe des Ergebnisses

giveResult() - Method in class simulator.SimulatorIntEvaluator

Methode zum Ansto?en der Berechnung und R?ckgabe des Ergebnisses

giveResult() - Method in class simulator.SimulatorExprEvaluator

Methode zum Wiedergeben des Wertes der Expression

GREATER - Static variable in class absynt.Expr

GREATER - Static variable in class parser.sym

grid - Variable in class editor.Eprocess

guard - Variable in class absynt.Label

gui - package gui

GUI - class gui.GUI.

GUI() - Constructor for class gui.GUI

Creates new form GUI

H

hasMoreElements() - Method in class absynt.AstateList

hasMoreElements() - Method in class absynt.VardecList

hasMoreElements() - Method in class absynt.TransitionList

hasMoreElements() - Method in class absynt.ChandecList

hasMoreElements() - Method in class absynt.ProcessList

hasMoreElements() - Method in class modcheck.ModstateList

head - Variable in class absynt.AstateList

head - Variable in class absynt.VardecList

head - Variable in class absynt.TransitionList

head - Variable in class absynt.ChandecList

head - Variable in class absynt.ProcessList

head - Variable in class modcheck.ModstateList

highlightState(Astate, Process, Program) - Method in class editor.Editor

highlightState(Astate, Process, Program) - Method in class gui.GUI

highlighting interface fuer simulator<-->editor

highlightTransition(Transition, Process, Program) - Method in class editor.Editor

highlightTransition(Transition, Process, Program) - Method in class gui.GUI

highlighting interface fuer simulator<-->editor

I

IF - Static variable in class parser.sym

init - Variable in class absynt.Process

init_actions() - Method in class parser.Parser

Action encapsulation object initializer.

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

INT - Static variable in class parser.sym

internalFrameActivated(InternalFrameEvent) - Method in class editor.Editor

internalFrameClosed(InternalFrameEvent) - Method in class editor.Editor

internalFrameClosing(InternalFrameEvent) - Method in class editor.Editor

internalFrameDeactivated(InternalFrameEvent) - Method in class editor.Editor

internalFrameDeiconified(InternalFrameEvent) - Method in class editor.Editor

internalFrameIconified(InternalFrameEvent) - Method in class editor.Editor

internalFrameOpened(InternalFrameEvent) - Method in class editor.Editor

isExtensionListInDescription() - Method in class gui.ExampleFileFilter

Returns whether the extension list (.jpg, .gif, etc) should show up in the human readable description.

isGrid() - Method in class editor.ProcessWindow

isProgramRunning() - Method in class simulator.Simulator

Methode zum Erfragen, ob das Programm im Simulator noch aktiv ist.

iterations - Variable in class position2.PositionFR

Anzahl der durchzuf?hrenden Iterationen

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

LabelHandler - class modcheck.LabelHandler.

LabelHandler() - Constructor for class modcheck.LabelHandler

last - Variable in class editor.Eprocess

last - Variable in class editor.Eprogram

LBRACE - Static variable in class parser.sym

left_expr - Variable in class absynt.B_expr

LEQ - Static variable in class absynt.Expr

LEQ - Static variable in class parser.sym

LESS - Static variable in class absynt.Expr

LESS - Static variable in class parser.sym

location - Variable in class absynt.Absyn

Location - class absynt.Location.

Klasse f"ur die Speicherung der Zeilen.

Location(int) - Constructor for class absynt.Location

LPAREN - Static variable in class parser.sym

M

M_AtomType - class absynt.M_AtomType.

Abstrakte Klasse fuer Mist Typen

M_AtomType() - Constructor for class absynt.M_AtomType

M_AType - class absynt.M_AType.

Abstrakte Klasse fuer Mist Typen

M_AType() - Constructor for class absynt.M_AType

M_Bool - class absynt.M_Bool.

Abstrakte Klasse fuer Mist Typen

M_Bool() - Constructor for class absynt.M_Bool

M_Chan - class absynt.M_Chan.

Abstrakte Klasse fuer Mist Typen

M_Chan(M_AtomType) - Constructor for class absynt.M_Chan

M_Int - class absynt.M_Int.

Abstrakte Klasse fuer Mist Typen

M_Int() - Constructor for class absynt.M_Int

M_Type - class absynt.M_Type.

Abstrakte Klasse fuer Mist Typen

M_Type() - Constructor for class absynt.M_Type

main(String[]) - Static method in class utils.PpExample

main-Methode -> Ausgabe des Beispiels

main(String[]) - Static method in class editor.Editor

main(String[]) - Static method in class gui.GUI

main(String[]) - Static method in class position2.PositionGrav

makeChannelList() - Method in class simulator.SimulatorProgram

Methode zum Generieren der Kanal-Liste

makeNewInitState(String, Expr, Position) - Method in class editor.einterface.AbsyntInterface

Erzeugt einen neuen InitZustand anhand der uebergebene Daten und liefert ihn zurueck

makeNewProcess() - Method in class editor.einterface.AbsyntInterface

Erzeugt einen leeren Prozess und liefert ihn zurueck

makeNewProgram() - Method in class editor.einterface.AbsyntInterface

erzeugt ein leeres Program und liefert es zurueck

makeNewState(String, Expr, Position) - Method in class editor.einterface.AbsyntInterface

Erzeugt einen neuen Zustand anhand der uebergebenen Parameter und liefert diesen zurueck

makeNewTransition(Astate, Astate, Label) - Method in class editor.einterface.AbsyntInterface

Erzeugt eine neue Transition mit uebergebenen Zustaenden und Label und liefert sie zurueck

makeNewTransitionList() - Method in class editor.einterface.AbsyntInterface

Erzeugt eine leere TransitionList und gibt sie zurueck

makeProcessList() - Method in class simulator.SimulatorProgram

Methode zum Generieren der Prozess-Liste

maxFitness - Static variable in class position2.PositionGrav

maxGenerations - Static variable in class position2.PositionGrav

MCheckException - exception modcheck.MCheckException.

MCheckException(String, Astate[]) - Constructor for class modcheck.MCheckException

Konstruktor MCheckException

MINUS - Static variable in class absynt.Expr

MINUS - Static variable in class parser.sym

modcheck - package modcheck

Modelchecker - class modcheck.Modelchecker.

Modelchecker-Klasse.

Modelchecker() - Constructor for class modcheck.Modelchecker

Modstate - class modcheck.Modstate.

Modstate ist Zustand f?r Modelchecker es besteht aus Astate und VardecList

Modstate(Astate, VardecList) - Constructor for class modcheck.Modstate

ModstateList - class modcheck.ModstateList.

Liste von Modelchecker-Zustaenden

ModstateList(Modstate, ModstateList) - Constructor for class modcheck.ModstateList

mouseClicked(MouseEvent) - Method in class editor.Zeichenflaeche

mouseDragged(MouseEvent) - Method in class editor.Zeichenflaeche

mouseEntered(MouseEvent) - Method in class editor.Zeichenflaeche

mouseExited(MouseEvent) - Method in class editor.Zeichenflaeche

mouseMoved(MouseEvent) - Method in class editor.Zeichenflaeche

mousePressed(MouseEvent) - Method in class editor.Zeichenflaeche

mouseReleased(MouseEvent) - Method in class editor.Zeichenflaeche

msg - Static variable in class simulator.SimulatorDebug

Klassenfeld, f?r Aufnahme der Debugmeldungen.

msg - Variable in class simulator.SimulatorDebugMsg

auszugebende Meldung

myProgram - Variable in class gui.SimUI

mySim - Variable in class gui.SimUI

N

name - Variable in class absynt.Channel

name - Variable in class absynt.Process

name - Variable in class absynt.Astate

name - Variable in class absynt.Program

name - Variable in class absynt.Variable

name - Variable in class simulator.SimulatorVariable

Instanzfeld fuer Namen der Variable, muss identisch zu entsprechenden Variablennamen aus abstrakter Syntax sein.

NAME - Static variable in class parser.sym

NEG - Static variable in class absynt.Expr

NEG - Static variable in class parser.sym

NEQ - Static variable in class absynt.Expr

NEQ - Static variable in class parser.sym

NewProcess() - Method in class editor.Editor

newProcess(String) - Method in class editor.Eprogram

erzeugt einen neuen Process mit dem uebergebenen Namen.

NewProcess(String) - Method in class gui.GUI

einen neuen Process in die ProcessTable aufnehmen

NewSessionUI - class gui.NewSessionUI.

NewSessionUI(GUI, String, boolean) - Constructor for class gui.NewSessionUI

next - Variable in class absynt.AstateList

next - Variable in class absynt.VardecList

next - Variable in class absynt.TransitionList

next - Variable in class absynt.ChandecList

next - Variable in class absynt.ProcessList

next - Variable in class editor.Eprocess

next - Variable in class editor.Eprogram

next - Variable in class modcheck.ModstateList

nextElement() - Method in class absynt.AstateList

nextElement() - Method in class absynt.VardecList

nextElement() - Method in class absynt.TransitionList

nextElement() - Method in class absynt.ChandecList

nextElement() - Method in class absynt.ProcessList

nextElement() - Method in class modcheck.ModstateList

NORM_COLUMN - Static variable in class utils.PrettyPrint

NORM_TAB - Static variable in class utils.PrettyPrint

NUMBER - Static variable in class parser.sym

O

op - Variable in class absynt.B_expr

op - Variable in class absynt.U_expr

OpenProcess(String) - Method in class editor.Editor

OpenProcess(String) - Method in class gui.GUI

einen Process in der ProcessTable als visible markieren

OR - Static variable in class absynt.Expr

OR - Static variable in class parser.sym

Output_action - class absynt.Output_action.

Kommunikation: Ausgabe

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

output(Action) - Method in class utils.PrettyPrint

output(Assign_action) - Method in class utils.PrettyPrint

output(Astate) - Method in class utils.PrettyPrint

output(AstateList) - Method in class utils.PrettyPrint

output(B_expr) - Method in class utils.PrettyPrint

output(Chandec) - Method in class utils.PrettyPrint

output(ChandecList) - Method in class utils.PrettyPrint

output(Channel) - Method in class utils.PrettyPrint

output(Constval) - Method in class utils.PrettyPrint

output(Input_action) - Method in class utils.PrettyPrint

output(Label) - Method in class utils.PrettyPrint

output(M_Chan) - Method in class utils.PrettyPrint

output(Output_action) - Method in class utils.PrettyPrint

output(Process) - Method in class utils.PrettyPrint

output(ProcessList) - Method in class utils.PrettyPrint

output(Program) - Method in class utils.PrettyPrint

output(Tau_action) - Method in class utils.PrettyPrint

output(Transition) - Method in class utils.PrettyPrint

output(TransitionList) - Method in class utils.PrettyPrint

output(U_expr) - Method in class utils.PrettyPrint

output(Vardec) - Method in class utils.PrettyPrint

output(VardecList) - Method in class utils.PrettyPrint

output(Variable) - Method in class utils.PrettyPrint

P

p - Variable in class simulator.Simulator

Instanz-Feld f?r ein Programm in abstrakter Syntax.

paint(Graphics) - Method in class editor.Zeichenflaeche

ParseException - exception parser.ParseException.

Exception-Class um Ausnahmen an die aufrufenden Klassen weiterzuleiten.

parseExpression(String) - Method in class parser.Parser

public method to parse a single expression

public Methode um einen einzelnen Ausdruck zu parsen

parseFile(File) - Method in class parser.Parser

public Methode um eine Datei zu parsen

parser - package parser

Parser - class parser.Parser.

CUP v0.10k generated parser.

Parser() - Constructor for class parser.Parser

Default constructor.

Parser(Scanner) - Constructor for class parser.Parser

Constructor which sets the default scanner.

permittedTransitions - Variable in class simulator.SimulatorProcess

Feld als ArrayList zum Vorhalten der in einem Zustand konzessionierten Transitionen

PLUS - Static variable in class absynt.Expr

PLUS - Static variable in class parser.sym

PopupMenuState - class editor.PopupMenuState.

PopupMenuState(Estate, int, int) - Constructor for class editor.PopupMenuState

pos - Variable in class absynt.Astate

Position - class absynt.Position.

Position, fuer die Graphische Darstellung.

Position - interface position1.Position.

Position - interface position2.Position.

Position() - Constructor for class absynt.Position

Position(float, float) - Constructor for class absynt.Position

position1 - package position1

position2 - package position2

PositionEmp - class position1.PositionEmp.

Empirisches Platzieren der Zustaende eines Processes.

PositionEmp() - Constructor for class position1.PositionEmp

PositionFR - class position2.PositionFR.

PositionFR() - Constructor for class position2.PositionFR

PositionGrav - class position1.PositionGrav.

PositionGrav - class position2.PositionGrav.

PositionGrav() - Constructor for class position1.PositionGrav

PositionGrav() - Constructor for class position2.PositionGrav

positioniere(Process) - Method in class position1.PositionGrav

positioniere(Process) - Method in interface position1.Position

setzt die Positionen aller Zust?nde eines Prozesses neu

positioniere(Process) - Method in class position1.PositionEmp

Dies ist die Implementation des Interfaces und die einzige Methode, die von extern aufgerufen wird.

positioniere(Process) - Method in class position1.dummy

positioniere(Process) - Method in class position2.PositionZufall

positioniere(Process) - Method in interface position2.Positionierung

setzt die Positionen aller Zust?nde eines Prozesses neu

positioniere(Process) - Method in interface position2.Position

setzt die Positionen aller Zust?nde eines Prozesses neu

positioniere(Process) - Method in class position2.PositionGrav

findet kluge Positionen f?r Zust?nde im ?bergebenen Prozess.

positioniere(Process) - Method in class position2.PositionFR

Hauptfunktion: positioniert in Anlehnung an einem Algorithmus aus der Diplom-Arbeit von Stefan Meier die in dem Process enthaltenen Zust?nde.

Positionierung - interface position2.Positionierung.

PositionZufall - class position2.PositionZufall.

PositionZufall() - Constructor for class position2.PositionZufall

PpExample - class utils.PpExample.

PpExample() - Constructor for class utils.PpExample

PrettyPrint - class utils.PrettyPrint.

PrettyPrint() - Constructor for class utils.PrettyPrint

PrettyPrint(int, int) - Constructor for class utils.PrettyPrint

print() - Method in class absynt.Vardec

print(Absyn) - Method in class utils.PrettyPrint

process - Variable in class editor.Eprocess

Process - class absynt.Process.

One process = local variables + transitions

PROCESS - Static variable in class parser.sym

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

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

processlist - Variable in class editor.Eprogram

processList - Variable in class simulator.SimulatorProgram

Instanzfeld f?r die Prozesse und deren Zust?nde eines Programms als ArrayListe

ProcessList - class absynt.ProcessList.

Liste fuer Prozesse.

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

Ein Konstruktor mit Location is hier ueberfluessig

processwindow - Variable in class editor.Eprocess

ProcessWindow - class editor.ProcessWindow.

ProcessWindow(Editor, Eprocess) - Constructor for class editor.ProcessWindow

proclist - Variable in class editor.Eprocess

procs - Variable in class absynt.Program

production_table() - Method in class parser.Parser

Access to production table.

progChannel - Variable in class simulator.SimulatorChannel

Feld das jeder Instanz vom Typ SimulatorChannel eine Referenz auf den Channel aus dem zu simulierenden Programm zuweist

progProcess - Variable in class simulator.SimulatorProcess

Feld welches jeder Instanz vom Typ SimulatorProcess eine Referenz auf den jeweiligen Prozess aus dem zu simulierenden Programm zuweist.

progProgram - Variable in class simulator.SimulatorProgram

Instanzfeld , das die Referenz auf das zu simulierende Programm enth?lt.

program - Variable in class editor.Eprocess

program - Variable in class editor.Eprogram

Program - class absynt.Program.

Toplevel syntactic contruct for Mist programs.

PROGRAM - Static variable in class parser.sym

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

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

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

PUT - Static variable in class parser.sym

R

RBRACE - Static variable in class parser.sym

readerList - Variable in class simulator.SimulatorChannel

reduce_table() - Method in class parser.Parser

Access to reduce_goto table.

refresh() - Method in class editor.Editor

refresh(Program) - Method in class editor.Editor

RemoveProcess(String) - Method in class editor.Editor

RemoveProcess(String) - Method in class gui.GUI

einen Process aus der ProcessTable entfernen

removeState(Estate) - Method in class editor.Eprocess

Entfernt den uebergebenen Zustand aus dem Process

repaint(long, int, int, int, int) - Method in class editor.Zeichenflaeche

repaint(Rectangle) - Method in class editor.Zeichenflaeche

report_error(String, Object) - Method in class parser.Parser

report_fatal_error(String, Object) - Method in class parser.Parser

right_expr - Variable in class absynt.B_expr

RPAREN - Static variable in class parser.sym

S

SEMICOL - Static variable in class parser.sym

setDebugLvl(int) - Method in class simulator.SimulatorDebug

Methode zum Setzen des Debuglevels

setDebugLvl(int) - Method in class simulator.Simulator

Methode zum Einstellen des Debuglevels Je hoeher der Debuglevel desto ausfuehrlicher sind die generierten Ausgaben

setDescription(String) - Method in class gui.ExampleFileFilter

Sets the human readable description of this filter.

setExtensionListInDescription(boolean) - Method in class gui.ExampleFileFilter

Determines whether the extension list (.jpg, .gif, etc) should show up in the human readable description.

SetTransitionDialog - class editor.SetTransitionDialog.

SetTransitionDialog init or edit the given transition for states a and b Wenn eine Transition zwischen den States a und b gesetzt wird, werden auch weitere Parameter fuer die jeweilige Transitionsart gebraucht.

sim - Variable in class simulator.SimulatorProgram

Referenz auf oberste Klasse "Simulator"

simProc - Variable in class simulator.SimulatorPermTransitions

SimUI - class gui.SimUI.

SimUI(Simulator, Program) - Constructor for class gui.SimUI

Creates new form SimUI

simulator - package simulator

Simulator - class simulator.Simulator.

class Simulator zum schrittweisen Simulieren von Mist-Programmen.

Simulator() - Constructor for class simulator.Simulator

Schafft ein neues Objekt vom Typ Simulator Diese Methode NICHT benutzen, da nur f?r interne Testzwecke !!!!

Simulator(GUI) - Constructor for class simulator.Simulator

Schafft ein neues Objekt vom Typ Simulator

SimulatorBoolEvaluator - class simulator.SimulatorBoolEvaluator.

Klasse zum Auswerten von booleschen Expressions in einem Prozess Wir haben keine Ordnung auf den booleschen Constanten definiert, d.h.

SimulatorBoolEvaluator(SimulatorProcess, Expr) - Constructor for class simulator.SimulatorBoolEvaluator

Konstruktor f?r einen Expression Evaluator mit Prozesskontext

SimulatorBoolValue - class simulator.SimulatorBoolValue.

Klasse zur Darstellung einer booleschen Variablen in dem Simulator

SimulatorBoolValue(boolean) - Constructor for class simulator.SimulatorBoolValue

SimulatorChannel - class simulator.SimulatorChannel.

Klasse zur Simulation von Channels

SimulatorChannel(Channel) - Constructor for class simulator.SimulatorChannel

SimulatorDebug - class simulator.SimulatorDebug.

Klasse zum Speichern und Ausgeben von Debugmeldungen eines Simulator-Schrittes

SimulatorDebug() - Constructor for class simulator.SimulatorDebug

Konstruktor

SimulatorDebug(int) - Constructor for class simulator.SimulatorDebug

Konstruktor mit Debuglvl (von Sumulator.java aus)

SimulatorDebugMsg - class simulator.SimulatorDebugMsg.

Klasse zur Modellierung einer Debugmeldung

SimulatorDebugMsg(String, int) - Constructor for class simulator.SimulatorDebugMsg

SimulatorExprEvaluator - class simulator.SimulatorExprEvaluator.

Klasse zum Auswerten von Expressions in einem Prozess, dient der Verzweigung zu den typspezifischen Expressionevaluatoren

SimulatorExprEvaluator(SimulatorProcess, Expr) - Constructor for class simulator.SimulatorExprEvaluator

Konstruktor f?r einen Expression Evaluator, der in einem Prozesskontext arbeitet

SimulatorIntEvaluator - class simulator.SimulatorIntEvaluator.

Klasse zum Auswerten von Integer-Expressions in einem Prozess

SimulatorIntEvaluator(SimulatorProcess, Expr) - Constructor for class simulator.SimulatorIntEvaluator

Konstruktor f?r einen Expression Evaluator mit Prozesskontext

SimulatorIntValue - class simulator.SimulatorIntValue.

Klasse zur Darstellung einer Integer Variablen in dem Simulator

SimulatorIntValue(int) - Constructor for class simulator.SimulatorIntValue

SimulatorPermTransitions - class simulator.SimulatorPermTransitions.

Klasse zum Abpruefen, ob eine Transition feuern kann

SimulatorPermTransitions(SimulatorProcess, Transition) - Constructor for class simulator.SimulatorPermTransitions

SimulatorProcess - class simulator.SimulatorProcess.

Klasse zum Darstellen eines Prozesszustandes

SimulatorProcess(Process) - Constructor for class simulator.SimulatorProcess

Konstruktor f?r einen Simulator-Prozess.

SimulatorProgram - class simulator.SimulatorProgram.

class SimulatorProgramState - Klasse die den Zustand eines im Ablauf befindlichen Mist-Programms modelliert.

SimulatorProgram(Simulator) - Constructor for class simulator.SimulatorProgram

Konstruktor f?r ein SimulatorProgramm

SimulatorValue - class simulator.SimulatorValue.

Abstrakte Klasse zum Darstellen des Wertes einer Prozessvariablen

SimulatorValue() - Constructor for class simulator.SimulatorValue

SimulatorVariable - class simulator.SimulatorVariable.

Klasse zum Darstellen von einer Prozessvariablen

SimulatorVariable(SimulatorProcess, Vardec) - Constructor for class simulator.SimulatorVariable

Konstruktor, um eine in Absynt deklarierte Variable im Simulator handhabbar zu machen

source - Variable in class absynt.Transition

start_check() - Method in class checks1.checks

start_check(AstateList, TransitionList) - Static method in class checks1.StateCheck

start_check(ChandecList, TransitionList) - Static method in class checks1.channelCheck

start_check(VardecList, TransitionList) - Static method in class checks1.varCheck

start_check(VardecList, TransitionList) - Static method in class checks1.VarCheck

start_modcheck(Program) - Method in class modcheck.Modelchecker

start_production() - Method in class parser.Parser

Indicates start production.

start_state() - Method in class parser.Parser

Indicates start state.

start(Program) - Method in class simulator.Simulator

Methode zum Anfahren der Simulation.

state - Variable in class modcheck.Modstate

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

StateCheck - class checks1.StateCheck.

StateCheck() - Constructor for class checks1.StateCheck

statelist - Variable in class editor.Eprocess

states - Variable in class absynt.Process

step() - Method in class simulator.Simulator

Methode zum Ausf?hren des n?chsten Programmschrittes.

steps - Variable in class absynt.Process

StrSelWin - class simulator.StrSelWin.

StrSelWin(String, String, String[], boolean) - Constructor for class simulator.StrSelWin

Creates new form StrSelWin

sub_expr - Variable in class absynt.U_expr

sym - class parser.sym.

CUP generated class containing symbol constants.

sym() - Constructor for class parser.sym

syntax_error(Symbol) - Method in class parser.Parser

T

target - Variable in class absynt.Transition

Tau_action - class absynt.Tau_action.

Tau-Aktion

Tau_action() - Constructor for class absynt.Tau_action

text - Variable in class checks1.checkWindow

textarea - Variable in class editor.DebugWindow

TIMES - Static variable in class absynt.Expr

TIMES - Static variable in class parser.sym

toggleGrid() - Method in class editor.ProcessWindow

toggleGrid() - Method in class editor.Eprocess

Schaltet das Raster an oder aus

TopMenuBar - class editor.TopMenuBar.

TopMenuToolbar - class editor.TopMenuToolbar.

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

translist - Variable in class editor.Eprocess

TRUE - Static variable in class parser.sym

type - Variable in class absynt.Expr

type - Variable in class absynt.Channel

type - Variable in class absynt.Vardec

type - Variable in class absynt.Chandec

U

U_expr - class absynt.U_expr.

Un"are Ausdr"ucke

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

unhighlightState(Astate, Process, Program) - Method in class editor.Editor

unhighlightState(Astate, Process, Program) - Method in class gui.GUI

highlighting interface fuer simulator<-->editor

unhighlightTransition(Transition, Process, Program) - Method in class editor.Editor

unhighlightTransition(Transition, Process, Program) - Method in class gui.GUI

highlighting interface fuer simulator<-->editor

unrecovered_syntax_error(Symbol) - Method in class parser.Parser

update(Graphics) - Method in class editor.Zeichenflaeche

utils - package utils

V

val - Variable in class absynt.Constval

Als konstante Werte sind Integers und boolesche Werte.

val - Variable in class absynt.Assign_action

val - Variable in class absynt.Output_action

val - Variable in class absynt.Vardec

value - Variable in class simulator.SimulatorBoolValue

Boolesches Instanzfeld , f?r den Wert der Variablen.

value - Variable in class simulator.SimulatorVariable

Referenz auf den Wert der Variablen

value - Variable in class simulator.SimulatorIntValue

Integer Instanzfeld , f?r den Wert der Variablen.

var - Variable in class absynt.Assign_action

var - Variable in class absynt.Input_action

var - Variable in class absynt.Vardec

varCheck - class checks1.varCheck.

VarCheck - class checks1.VarCheck.

varCheck() - Constructor for class checks1.varCheck

VarCheck() - Constructor for class checks1.VarCheck

Vardec - class absynt.Vardec.

Variablendeklaration.

Vardec(Variable) - Constructor for class absynt.Vardec

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

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

Momentan 3 Konstruktoren.

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

VariablenEditor - class editor.VariablenEditor.

VariablenEditor(Editor, Process) - Constructor for class editor.VariablenEditor

erstellt einen ChannelEditor fuer das uebergebene absynt.Program

varList - Variable in class simulator.SimulatorProcess

Feld als ArrayList zur Repraesentation von den Variablen eines Prozesses.

vars - Variable in class absynt.Process

vars - Variable in class modcheck.Modstate

W

WHILE - Static variable in class parser.sym

windowActivated(WindowEvent) - Method in class editor.SetTransitionDialog

windowActivated(WindowEvent) - Method in class editor.VariablenEditor

windowActivated(WindowEvent) - Method in class editor.ChannelEditor

windowActivated(WindowEvent) - Method in class editor.Editor

windowClosed(WindowEvent) - Method in class editor.SetTransitionDialog

windowClosed(WindowEvent) - Method in class editor.VariablenEditor

windowClosed(WindowEvent) - Method in class editor.ChannelEditor

windowClosed(WindowEvent) - Method in class editor.Editor

windowClosing(WindowEvent) - Method in class editor.SetTransitionDialog

windowClosing(WindowEvent) - Method in class editor.VariablenEditor

windowClosing(WindowEvent) - Method in class editor.ChannelEditor

windowClosing(WindowEvent) - Method in class editor.Editor

windowDeactivated(WindowEvent) - Method in class editor.SetTransitionDialog

windowDeactivated(WindowEvent) - Method in class editor.VariablenEditor

windowDeactivated(WindowEvent) - Method in class editor.ChannelEditor

windowDeactivated(WindowEvent) - Method in class editor.Editor

windowDeiconified(WindowEvent) - Method in class editor.SetTransitionDialog

windowDeiconified(WindowEvent) - Method in class editor.VariablenEditor

windowDeiconified(WindowEvent) - Method in class editor.ChannelEditor

windowDeiconified(WindowEvent) - Method in class editor.Editor

windowIconified(WindowEvent) - Method in class editor.SetTransitionDialog

windowIconified(WindowEvent) - Method in class editor.VariablenEditor

windowIconified(WindowEvent) - Method in class editor.ChannelEditor

windowIconified(WindowEvent) - Method in class editor.Editor

windowOpened(WindowEvent) - Method in class editor.SetTransitionDialog

windowOpened(WindowEvent) - Method in class editor.VariablenEditor

windowOpened(WindowEvent) - Method in class editor.ChannelEditor

windowOpened(WindowEvent) - Method in class editor.Editor

writerList - Variable in class simulator.SimulatorChannel

Feld als Array fuer

X

x - Variable in class absynt.Position

Y

y - Variable in class absynt.Position

Z

Zeichenflaeche - class editor.Zeichenflaeche.

Zeichenflaeche, auf der nachher die Zustaende und Uebergaenge gezeichnet werden sollen

_

_action_table - Static variable in class parser.Parser

Parse-action table.

_production_table - Static variable in class parser.Parser

Production table.

_reduce_table - Static variable in class parser.Parser

reduce_goto table.

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