simulator
Class SimulatorPermTransitions

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

public class SimulatorPermTransitions
extends java.lang.Object

Klasse zum Abpruefen, ob eine Transition feuern kann

Version:
1.0, 17/07/2000
Author:
Michael Goemann, Michael Nimser

Field Summary
protected  Transition actTrans
           
protected  SimulatorProcess simProc
           
 
Constructor Summary
SimulatorPermTransitions(SimulatorProcess _simProc, Transition _actTrans)
           
 
Method Summary
protected  boolean checkPermission()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

simProc

protected SimulatorProcess simProc

actTrans

protected Transition actTrans
Constructor Detail

SimulatorPermTransitions

public SimulatorPermTransitions(SimulatorProcess _simProc,
                                Transition _actTrans)
Method Detail

checkPermission

protected boolean checkPermission()