/////////////////////////////////////////////////////////////////////////////////
// Copyright © 2008-2010  W. Kowarschick 
//
// Dieses Werk darf unter den Bedingungen der Creative Common Lizenz by-nc 3.0 de
//   (http://creativecommons.org/licenses/by-nc/3.0/de/)
// vervielfaeltigt, verbreitet, publiziert und modifiziert werden.
/////////////////////////////////////////////////////////////////////////////////

package ldvcs.logic
{
  import automaton.MealyMachine;

  public class LogicCar_Mealy extends LogicCar
  {
    /////////////////////////////////////////////////////////////////////////////
    // Constructor
    /////////////////////////////////////////////////////////////////////////////

    public function LogicCar_Mealy()
    {
      super
      (
        new MealyMachine
        ("engineOff",
         {engineOff:    {startEngine:            "engineOn",
                         refuel:                 ["engineOff", "gotFuel"]
                        },
          engineOn:     {stopEngine:             "engineOff",
                         drive:                  ["engineOn",  "driven"],
                         driveUntilFuelConsumed: ["fuelConsumed", "driven"]
                        },
          fuelConsumed: {refuel:                 ["engineOff", "gotFuel"],
                         DEFAULT:                ["",          "errorFuelConsumed"]
                        }
         }
        )
      );
    }

    /////////////////////////////////////////////////////////////////////////////
    // End of Class 
    /////////////////////////////////////////////////////////////////////////////
  }
}