de.bsvrz.vew.sim.sim.simulation
Class Zustand

java.lang.Object
  extended by de.bsvrz.vew.sim.sim.simulation.Zustand

public class Zustand
extends java.lang.Object

Zustand eines endlichen Automaten. Diese Implementierung speichert in einer Zustands-Instanz eine Hash-Tabelle mit Zustands-Übergängen und einen Namen.

Version:
$Revision: 1.3 $ / $Date: 2008/10/31 13:30:31 $ / ($Author: Sans $)
Author:
Dambach-Werke GmbH, Stefan Sans

Field Summary
private  java.lang.String _name
          Name des Zustands
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

_name

private java.lang.String _name
Name des Zustands


_uebergangHash

protected java.util.Hashtable<java.lang.Integer,Zustand> _uebergangHash
Hash-Tabelle, die die Zustands-Übergänge speichert

Constructor Detail

Zustand

public Zustand(java.lang.String name)
Erzeuge neuen Zustand, mit Zustandsnamen

Parameters:
name - Name des Zustands
Method Detail

setName

public void setName(java.lang.String name)
Setze den Namen des Zustands

Parameters:
name - neuer Name des Zustands

getName

public java.lang.String getName()
Bestimmt den Namen des Zustands

Returns:
Name des Zustands

hinzufuegenUebergang

public void hinzufuegenUebergang(int uebergang,
                                 Zustand endZustand)
Füge neuen Zustands-Übergang zu diesem Zustand hinzu

Parameters:
uebergang - Id für den neuen Übergang
endZustand - End-Zustand des neuen Übergangs

realisiereUebergang

public Zustand realisiereUebergang(int uebergang)
Realisiere einen Übergang. Diese Methode ändert nichts an dieser Instanz, sondern gibt den Endzustand des zu relisierenden Übergangs zurück.

Parameters:
uebergang - die Id des zu relisierenden Übergangs
Returns:
den Endzustand des zu relisierenden Übergangs odet null, falls der Übergang nich definiert ist

berechneUebergang

public int berechneUebergang(Zustand endZustand)
                      throws java.lang.UnsupportedOperationException
Berechnet für einen gegebenen End-Zustand die Id des Übergangs.

Parameters:
endZustand - der End-Zustand des zu berechnenden Übergangs
Returns:
die Id des Übergangs Id des Übergangs, zu dem diese Instanz den Anfangszustand und der übergebene Zustand den Endzustand bildet
Throws:
java.lang.UnsupportedOperationException - falls ein Übergang zum Endzustand für diese Instanz nicht definiert ist

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object