vanted.petrinetelements
Interface TransitionListener

All Known Implementing Classes:
PNJFern

public interface TransitionListener

The listener interface for receiving transition events. The class that is interested in processing a transition event implements this interface, and the object created with that class is registered with a component using the component's addTransitionListener method. When the transition event occurs, that object's appropriate method is invoked.

Author:
Kevin Pucknat

Method Summary
 void fire(Transition transition)
          Fire.
 boolean isEnabled(Transition transition)
          Checks if is enabled.
 

Method Detail

fire

void fire(Transition transition)
Fire.

Parameters:
transition - the transition

isEnabled

boolean isEnabled(Transition transition)
Checks if is enabled.

Parameters:
transition - the transition
Returns:
true, if is enabled