/////////////////////////////////////////////////////////////////////////////////
// Copyright © 2008  W. 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 ldvcs.logic
{
  import automaton.MealyMachineNoDefaults;

  public class LogicCar_MealyNoDefaults extends LogicCar
  {
    /////////////////////////////////////////////////////////////////////////////
    // Constructor
    /////////////////////////////////////////////////////////////////////////////

    public function LogicCar_MealyNoDefaults()
    {
      super
      ( 
        new MealyMachineNoDefaults
        ("engineOff",
         {engineOff:    {startEngine:            ["engineOn",  "engineOn"],
                         stopEngine:             ["engineOff", "errorEngineOff"],
                         drive:                  ["engineOff", "errorEngineOff"],
                         driveUntilFuelConsumed: ["engineOff", "errorEngineOff"],
                         refuel:                 ["engineOff", "gotFuel"]
                        },
          engineOn:     {startEngine:            ["engineOn",  "errorEngineOn"],
                         stopEngine:             ["engineOff", "engineOff"],
                         drive:                  ["engineOn",  "driven"],
                         driveUntilFuelConsumed: ["fuelConsumed", "driven"],
                         refuel:                 ["engineOn",  "errorEngineOn"]
                        },
          fuelConsumed: {startEngine:            ["fuelConsumed", "errorFuelConsumed"],
                         stopEngine:             ["fuelConsumed", "errorFuelConsumed"],
                         drive:                  ["fuelConsumed", "errorFuelConsumed"],
                         driveUntilFuelConsumed: ["fuelConsumed", "errorFuelConsumed"],
                         refuel:                 ["engineOff", "gotFuel"]
                        }
         }
        )
      );
    }

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