|
||||||||||
| 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 Zustands| Method 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 | |||||||||