de.bsvrz.vew.bmvew.bmvew.meldung

Class EndlicherAutomat

java.lang.Object

de.bsvrz.vew.bmvew.bmvew.meldung.EndlicherAutomat

public class EndlicherAutomat
extends java.lang.Object

Die Klasse implementiert eine Zustandsmaschine

Field Summary

Fields

Modifier and Type	Field and Description
protected int	anzahlZustaende Die Anzahl der Zustaende in der Zustandsmaschine
protected Zustand[]	eaZustaende Das Feld der Zustaende
protected Zustand	momentZustand Der momentane Zustand

Constructor Summary

Constructors

Constructor and Description
EndlicherAutomat() Konstruktor
EndlicherAutomat(int maxZustaende) Konstruktor, mit max.
EndlicherAutomat(int maxZustaende, Zustand initialZustand) Konstruktor, mit max.
EndlicherAutomat(Zustand initialZustand) Konstruktor, mit initialem Zustand

Method Summary

Modifier and Type	Method and Description
void	addUebergang(Zustand start, int uebergang, Zustand end) Fügt einen Zustand zur Zustandsmaschine hinzu
int	addZustaende(Zustand[] zustaende) Fügt ein Feld von Zustaenden hinzu
int	addZustand(Zustand zustand) Fügt einen Zustand hinzu
int	getAnzahlZustaende()
Zustand	getMomentZustand() Gibt den momentanen Zustandder Zustandsmaschine zurück
Zustand	getZustand(int i) Holt den aktuellen Zustand
void	removeAlleZustaende() Entfernt alle Zustaende
void	setAnzahlZustaende(int anzahlZustaende)
void	setZustand(Zustand zustand) Setzt den Zustand der Zustandsmaschine
Zustand	uebergang(int uebergang) Realisert den Zustandsuebergang von einem Zustand zum anderen mit anhand des uebergebenen Index.

Methods inherited from class java.lang.Object

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

Field Detail

anzahlZustaende

protected int anzahlZustaende

Die Anzahl der Zustaende in der Zustandsmaschine

momentZustand

protected Zustand momentZustand

Der momentane Zustand

eaZustaende

protected Zustand[] eaZustaende

Das Feld der Zustaende

Constructor Detail

EndlicherAutomat

public EndlicherAutomat()

Konstruktor

EndlicherAutomat

public EndlicherAutomat(int maxZustaende)

Konstruktor, mit max. Anzahl der Zustaende

Parameters:

maxZustaende - Anzahl der Erlaubten Zustände

EndlicherAutomat

public EndlicherAutomat(Zustand initialZustand)

Konstruktor, mit initialem Zustand

Parameters:

initialZustand - Anfangszustand der Zustandsmaschine

EndlicherAutomat

public EndlicherAutomat(int maxZustaende,
                        Zustand initialZustand)

Konstruktor, mit max. Anzahl dr Zustände und initilem Zustand

Parameters:

maxZustaende - Anzahl der Erlaubten Zustände

initialZustand - Anfangszustand der Zustandsmaschine

Method Detail

getMomentZustand

public Zustand getMomentZustand()

Gibt den momentanen Zustandder Zustandsmaschine zurück

Returns:

derzeitiger Zustand

addZustand

public int addZustand(Zustand zustand)

Fügt einen Zustand hinzu

Parameters:

zustand - der Zustand der hinzugefuegt wird

Returns:

Anzahl der derzeitigen Zustaende

setZustand

public void setZustand(Zustand zustand)

Setzt den Zustand der Zustandsmaschine

Parameters:

zustand - der Zustand

addZustaende

public int addZustaende(Zustand[] zustaende)

Fügt ein Feld von Zustaenden hinzu

Parameters:

zustaende - Feld der Zustaende

Returns:

Antahl der Zustaende

removeAlleZustaende

public void removeAlleZustaende()

Entfernt alle Zustaende

addUebergang

public void addUebergang(Zustand start,
                         int uebergang,
                         Zustand end)

Fügt einen Zustand zur Zustandsmaschine hinzu

Parameters:

start - der Anfangszustand

uebergang - der Index des Übergangs

end - der Endzustand

uebergang

public Zustand uebergang(int uebergang)

Realisert den Zustandsuebergang von einem Zustand zum anderen mit anhand des uebergebenen Index. Die Methode erzeugt eine NullPointerException, wenn der Übergang nicht für den Zustand definiert ist

Parameters:

uebergang - der Index des Uebergangs

Returns:

der neue Zustand der Zustandsmaschine

getZustand

public Zustand getZustand(int i)

Holt den aktuellen Zustand

Parameters:

i - der Index des Zustands der geholt werden soll

Returns:

Den Zustand des Index

getAnzahlZustaende

public int getAnzahlZustaende()

setAnzahlZustaende

public void setAnzahlZustaende(int anzahlZustaende)