|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.bsvrz.vew.sim.sim.simulation.Zustand
public class Zustand
Zustand eines endlichen Automaten. Diese Implementierung speichert in einer Zustands-Instanz eine Hash-Tabelle mit Zustands-Übergängen und einen Namen.
Field Summary | |
---|---|
protected java.util.Hashtable<java.lang.Integer,Zustand> |
_uebergangHash
Hash-Tabelle, die die Zustands-Übergänge speichert |
Constructor Summary | |
---|---|
Zustand(java.lang.String name)
Erzeuge neuen Zustand, mit Zustandsnamen |
Method Summary | |
---|---|
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()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected java.util.Hashtable<java.lang.Integer,Zustand> _uebergangHash
Constructor Detail |
---|
public Zustand(java.lang.String name)
name
- Name des ZustandsMethod Detail |
---|
public 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 Übergangs
public int berechneUebergang(Zustand endZustand) throws java.lang.UnsupportedOperationException
endZustand
- der End-Zustand des zu berechnenden Übergangs
java.lang.UnsupportedOperationException
- falls ein Übergang zum Endzustand
für diese Instanz nicht definiert istpublic java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |