simulator
Class SimulatorProcess

java.lang.Object
  |
  +--simulator.SimulatorProcess

public class SimulatorProcess

extends java.lang.Object

Klasse zum Darstellen eines Prozesszustandes

Version:

1.2, 07/03/2000

Author:

Michael Goemann, Michael Nimser

Field Summary

protected Astate	activeState Feld zum Merken des aktuell aktiven Prozesszustands
protected SimulatorDebug	debug Instanzfeld, um Zugriff auf Debugfunktionen zu haben
protected java.util.ArrayList	permittedTransitions Feld als ArrayList zum Vorhalten der in einem Zustand konzessionierten Transitionen
protected Process	progProcess Feld welches jeder Instanz vom Typ SimulatorProcess eine Referenz auf den jeweiligen Prozess aus dem zu simulierenden Programm zuweist.
protected java.util.ArrayList	varList Feld als ArrayList zur Repraesentation von den Variablen eines Prozesses.

Constructor Summary

protected

SimulatorProcess(Process _process) Konstruktor f?r einen Simulator-Prozess.

Method Summary

protected void	executeTransition(Transition _transition) Methode zur Realisierung eines Zustandsueberganges
protected java.util.ArrayList	fillInTransitions(java.util.ArrayList _ChannelList) Durchgehen aller Transitionen und abchecken, ob Input / Output actions dabeisind.
protected java.util.ArrayList	generatePermittedTransList() Methode zum Generieren der Liste von konzessionierten Transitionen eines Prozesses in einem Zustand.
protected SimulatorVariable	getVariable(Variable var) Methode, die einem die zu einer absynt-Variable die entsprechende SimulatorVariable aus der Arrayliste heraussucht.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

varList

protected java.util.ArrayList varList

Feld als ArrayList zur Repraesentation von den Variablen eines Prozesses. als ArrayList, damit dynamische Erweiterbarkeit gewaehrleistet werden kann.

activeState

protected Astate activeState

Feld zum Merken des aktuell aktiven Prozesszustands

permittedTransitions

protected java.util.ArrayList permittedTransitions

Feld als ArrayList zum Vorhalten der in einem Zustand konzessionierten Transitionen

progProcess

protected Process progProcess

Feld welches jeder Instanz vom Typ SimulatorProcess eine Referenz auf den jeweiligen Prozess aus dem zu simulierenden Programm zuweist.

debug

protected SimulatorDebug debug

Instanzfeld, um Zugriff auf Debugfunktionen zu haben

Constructor Detail

SimulatorProcess

protected SimulatorProcess(Process _process)

Konstruktor f?r einen Simulator-Prozess.

Parameters:

_process - Referenz auf den zu simulierenden Prozess macht derzeit noch nicht wirklich viel.

Method Detail

generatePermittedTransList

protected java.util.ArrayList generatePermittedTransList()

Methode zum Generieren der Liste von konzessionierten Transitionen eines Prozesses in einem Zustand. Dieses geschieht auf Prozessebene, d.h. Prozess?bergreifende Channelkonflikte sollen hier nicht br?cksichtigt werden.

fillInTransitions

protected java.util.ArrayList fillInTransitions(java.util.ArrayList _ChannelList)

Durchgehen aller Transitionen und abchecken, ob Input / Output actions dabeisind. Falls ja: Transition bei entsprechendem Channel als Reader / Writer eintragen.

getVariable

protected SimulatorVariable getVariable(Variable var)

Methode, die einem die zu einer absynt-Variable die entsprechende SimulatorVariable aus der Arrayliste heraussucht. Anmerkung : Durch den Checker sollte gew?hrleistet sein, da? ein Prozess keine zwei Variablen mit gleichem Namen enth?lt !!!

executeTransition

protected void executeTransition(Transition _transition)

Methode zur Realisierung eines Zustandsueberganges

Parameters:

Spezifiziert - die zu feuernde Transition