public TransitionButton(final Transition t) {
super(t.getName());
this.transition = t;
this.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
if (transition.canFire()) {
transition.fire();
System.out.println(pn);
fireStateChanged();
}
}
});
}
public String getText() {
if (null == transition) {
return null;
}
return transition.toString();
}
public boolean isEnabled() {
if (transition == null) {
return false;
}
return transition.canFire();
}
