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

  public class ModelCar_MealySimplified extends ModelCar
  {
    /////////////////////////////////////////////////////////////////////////////
    // Constructor
    /////////////////////////////////////////////////////////////////////////////

    public function ModelCar_MealySimplified()
    {
      super
      ( 
        new MealyMachineSimplified
        ("motorAus",
         {motorAus:   {starteMotor:        ["motorAn",  "motorAn"],
                       stoppeMotor:        ["motorAus", "errorMotorAus"],
                       fahre:              ["motorAus", "errorMotorAus"],
                       fahreBisBenzinAlle: ["motorAus", "errorMotorAus"],
                       tanke:              ["motorAus", "getankt"]
                      },
          motorAn:    {starteMotor:        ["motorAn",    "errorMotorAn"],
                       stoppeMotor:        ["motorAus",   "motorAus"],
                       fahre:              ["motorAn",    "gefahren"],
                       fahreBisBenzinAlle: ["benzinAlle", "gefahren"],
                       tanke:              ["motorAn",    "errorMotorAn"]
                      },
          benzinAlle: {starteMotor:        ["benzinAlle", "errorBenzinAlle"],
                       stoppeMotor:        ["benzinAlle", "errorBenzinAlle"],
                       fahre:              ["benzinAlle", "errorBenzinAlle"],
                       fahreBisBenzinAlle: ["benzinAlle", "errorBenzinAlle"],
                       tanke:              ["motorAus",   "getankt"]
                      }
         }
        )
      );
    }

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