Class Haltepunkt

java.lang.Object
  |
  +--Haltepunkt

public class Haltepunkt
extends java.lang.Object

Diese Klasse kapselt eine Haltepunkt zum "debuggen" des Automaten

Version:
990604
Author:
Michael Stach <stach@bigfoot.de>

Field Summary
protected  char eingabe
          die Eingabe, bei der in dem Zustand gehalten werden soll
protected  Zustand zustand
          der Zustand, in dem gehalten werden soll
 
Constructor Summary
Haltepunkt(Haltepunkt h)
          legt eine Kopie von einem bereits vorhandem Haltepunkt an
Haltepunkt(Zustand zustand, char eingabe)
           
 
Method Summary
 char getEingabe()
          liefert das Eingabezeichen des Haltepunkts zurueck
 Zustand getZustand()
          liefert den Zustand des Haltepunkts zurueck
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

zustand

protected Zustand zustand
der Zustand, in dem gehalten werden soll

eingabe

protected char eingabe
die Eingabe, bei der in dem Zustand gehalten werden soll
Constructor Detail

Haltepunkt

public Haltepunkt(Zustand zustand,
                  char eingabe)
Parameters:
zustand - Zustand, bei dem gestoppt werden soll
eingabe - noetiges Eingabezeichen, um zu stoppen

Haltepunkt

public Haltepunkt(Haltepunkt h)
legt eine Kopie von einem bereits vorhandem Haltepunkt an
Parameters:
h - der Haltepunkt, dessen Daten uebernommen werden sollen
Method Detail

getZustand

public Zustand getZustand()
liefert den Zustand des Haltepunkts zurueck
Returns:
Zustand in dem gehalten werden soll

getEingabe

public char getEingabe()
liefert das Eingabezeichen des Haltepunkts zurueck
Returns:
Zeichen, bei dem gehalten werden soll