/////////////////////////////////////////////////////////////////////////////////
// Copyright (C) 2010  Wolfgang Kowarschick
//
// Permission is granted to copy, distribute and/or modify this document
// under the terms of the WK License, Version 1.0 (WKL 1.0) or any later
// version published by Wolfgang Kowarschick.
/////////////////////////////////////////////////////////////////////////////////

package wki.automaton 
{
  import flash.events.IEventDispatcher;

  /**
   *  @autor       Wolfgang Kowarschick
   *  @category    interface
   *  @langversion 3.0
   */
  public interface WKI_Automaton extends IEventDispatcher 
  {
    /////////////////////////////////////////////////////////////////////////////
    // Methods
    /////////////////////////////////////////////////////////////////////////////

    function reset(): void;
    function doAction(p_action: String): void;

    /////////////////////////////////////////////////////////////////////////////
    // End of interface
    /////////////////////////////////////////////////////////////////////////////
  }
}

/////////////////////////////////////////////////////////////////////////////////
// End of File
/////////////////////////////////////////////////////////////////////////////////