editor
Class Eprocess

java.lang.Object
  |
  +--editor.Eprocess

public class Eprocess

extends java.lang.Object

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

Field Summary

AbsyntInterface	ainterface
boolean	grid
Eprocess	last
Eprocess	next
Process	process
ProcessWindow	processwindow
ProcessList	proclist
Eprogram	program
Estate	statelist
Etransition	translist

Constructor Summary

Eprocess(Eprogram rootprogram, Process inprocess, ProcessList inproclist)
Wrappt einen Eprocess um den uebergebenen absynt.Process

Eprocess(Eprogram rootprogram, java.lang.String inname)
erzeugt einen neuen Process mit dem uebergeben Namen.

Method Summary

void	addState(Estate state) Fuegt einen Zustand in den Prozess ein
void	addState(java.lang.String sname, Expr inexpr, float x_cor, float y_cor, int type) Fuegt einen neuen Zustand anhand der uebergebenen Daten in den Process ein
void	addTransition(Etransition transition) Fuegt die Uebergebene Transition in den Process ein
boolean	checkProcessTitle(java.lang.String inname) Ueberprueft, ob der uebergebene Name mit dem Prozessnamen uebereinstimmt und liefert das Ergebnis dieser Ueberpruefung als boolean zurueck
boolean	checkStateName(java.lang.String inname) Checkt, ob bereits ein Zustand mit dem uebergebenen Namen im Prozess vorhanden ist.
Estate	getStateInRange(float x, float y, float range) liefert den letzten Zustand zurueck, der sich in der uebergebenen Umgebung befindet.
Etransition	getTransitionInRange(float x, float y, float range)
void	removeState(Estate instate) Entfernt den uebergebenen Zustand aus dem Process
void	toggleGrid() Schaltet das Raster an oder aus

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ainterface

public AbsyntInterface ainterface

next

public Eprocess next

last

public Eprocess last

statelist

public Estate statelist

translist

public Etransition translist

process

public Process process

proclist

public ProcessList proclist

grid

public boolean grid

program

public Eprogram program

processwindow

public ProcessWindow processwindow

Constructor Detail

Eprocess

public Eprocess(Eprogram rootprogram,
                java.lang.String inname)

erzeugt einen neuen Process mit dem uebergeben Namen.

Eprocess

public Eprocess(Eprogram rootprogram,
                Process inprocess,
                ProcessList inproclist)

Wrappt einen Eprocess um den uebergebenen absynt.Process

Method Detail

getStateInRange

public Estate getStateInRange(float x,
                              float y,
                              float range)

liefert den letzten Zustand zurueck, der sich in der uebergebenen Umgebung befindet. Ist kein Zustand in dieser Umgebung, so ist der Rueckgabewert "null"

getTransitionInRange

public Etransition getTransitionInRange(float x,
                                        float y,
                                        float range)

toggleGrid

public void toggleGrid()

Schaltet das Raster an oder aus

checkProcessTitle

public boolean checkProcessTitle(java.lang.String inname)

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

addState

public void addState(Estate state)

Fuegt einen Zustand in den Prozess ein

addState

public void addState(java.lang.String sname,
                     Expr inexpr,
                     float x_cor,
                     float y_cor,
                     int type)

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

removeState

public void removeState(Estate instate)

Entfernt den uebergebenen Zustand aus dem Process

addTransition

public void addTransition(Etransition transition)

Fuegt die Uebergebene Transition in den Process ein

checkStateName

public boolean checkStateName(java.lang.String inname)

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