Package org.svvrl.goal.core.aut

Interface AutomatonListener

All Superinterfaces:
java.util.EventListener
All Known Implementing Classes:
AccDialog, AltAutomatonCanvas, AutomatonCanvas, FSACanvas, GameCanvas, SDBW, TwoWayAltAutomatonCanvas
public interface AutomatonListener
extends java.util.EventListener
An AutomatonListener is a listener that is interested in changes of an automaton.
Author:
Ming-Hsien Tsai

  • Method Summary

    Modifier and Type Method Description
    void accChanged​(AccEvent e)
    Invoked when the acceptance condition of the automaton has been changed.
    void automatonChanged​(AutomatonEvent e)
    Invoked when we only know some parts of the automaton have been changed.
    void stateChanged​(StateEvent e)
    Invoked when a state of the automaton has been changed.
    void transitionChanged​(TransitionEvent e)
    Invoked when a transition of the automaton has been changed.

  • Method Details

    • stateChanged

      void stateChanged​(StateEvent e)
      Invoked when a state of the automaton has been changed.
      Parameters:
      e - a state event

    • transitionChanged

      void transitionChanged​(TransitionEvent e)
      Invoked when a transition of the automaton has been changed.
      Parameters:
      e - a transition event

    • accChanged

      void accChanged​(AccEvent e)
      Invoked when the acceptance condition of the automaton has been changed.
      Parameters:
      e - an acceptance condition event

    • automatonChanged

      void automatonChanged​(AutomatonEvent e)
      Invoked when we only know some parts of the automaton have been changed.
      Parameters:
      e - an automaton event