|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object | +--simulator.SimulatorPermTransitions
Klasse zum Abpruefen, ob eine Transition feuern kann
| 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 |
protected SimulatorProcess simProc
protected Transition actTrans
| Constructor Detail |
public SimulatorPermTransitions(SimulatorProcess _simProc,
Transition _actTrans)
| Method Detail |
protected boolean checkPermission()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||