/////////////////////////////////////////////////////////////////////////////////
// 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.MooreMachine;

  public class LogicCar_Moore extends LogicCar
  {
    /////////////////////////////////////////////////////////////////////////////
    // Constructor
    /////////////////////////////////////////////////////////////////////////////

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

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