public class Zustand
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.util.Hashtable<java.lang.Integer,Zustand> |
_uebergangHash
Hash-Tabelle, die die Zustands-Übergänge speichert
|
Constructor and Description |
---|
Zustand(java.lang.String name)
Erzeuge neuen Zustand, mit Zustandsnamen
|
Modifier and Type | Method and Description |
---|---|
int |
berechneUebergang(Zustand endZustand)
Berechnet für einen gegebenen End-Zustand die Id des Übergangs.
|
java.lang.String |
getName()
Bestimmt den Namen des Zustands
|
void |
hinzufuegenUebergang(int uebergang,
Zustand endZustand)
Füge neuen Zustands-Übergang zu diesem Zustand hinzu
|
Zustand |
realisiereUebergang(int uebergang)
Realisiere einen Übergang.
|
void |
setName(java.lang.String name)
Setze den Namen des Zustands
|
java.lang.String |
toString() |
protected java.util.Hashtable<java.lang.Integer,Zustand> _uebergangHash
public Zustand(java.lang.String name)
name
- Name des Zustandspublic void setName(java.lang.String name)
name
- neuer Name des Zustandspublic java.lang.String getName()
public void hinzufuegenUebergang(int uebergang, Zustand endZustand)
uebergang
- Id für den neuen ÜbergangendZustand
- End-Zustand des neuen Übergangspublic Zustand realisiereUebergang(int uebergang)
uebergang
- die Id des zu relisierenden Übergangspublic int berechneUebergang(Zustand endZustand) throws java.lang.UnsupportedOperationException
endZustand
- der End-Zustand des zu berechnenden Übergangsjava.lang.UnsupportedOperationException
- falls ein Übergang zum Endzustand
für diese Instanz nicht definiert istpublic java.lang.String toString()
toString
in class java.lang.Object