/////////////////////////////////////////////////////////////////////////////////
// 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 mvc.model
{
  import automaton.MealyMachine;

  public class ModelCar_Mealy extends ModelCar
  {
    /////////////////////////////////////////////////////////////////////////////
    // Constructor
    /////////////////////////////////////////////////////////////////////////////

    public function ModelCar_Mealy()
    {
      super
      (
        new MealyMachine
        ("motorAus",
         {motorAus:   {starteMotor:        "motorAn",
                       tanke:              ["motorAus",    "getankt"]
                      },
          motorAn:    {stoppeMotor:        "motorAus",
                       fahre:              ["motorAn",    "gefahren"],
                       fahreBisBenzinAlle: ["benzinAlle", "gefahren"]
                      },
          benzinAlle: {tanke:              ["motorAus",   "getankt"],
                       DEFAULT:            ["",           "errorBenzinAlle"]
                      }
         }
        )
      );
    }

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