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

  public class ModelCar_MooreSimplified extends ModelCar
  {
    /////////////////////////////////////////////////////////////////////////////
    // Constructor
    /////////////////////////////////////////////////////////////////////////////

    public function ModelCar_MooreSimplified()
    {
      super
      (
        new MooreMachineSimplified
        ("motorAus",
         {motorAus:         [{starteMotor:        "motorAn",
                              stoppeMotor:        "fehlerMotorAus",
                              fahre:              "fehlerMotorAus",
                              fahreBisBenzinAlle: "fehlerMotorAus",
                              tanke:              "motorAus"
                             },
                             "motorAus"
                            ],
          fehlerMotorAus:   [{starteMotor:        "motorAn",
                              stoppeMotor:        "fehlerMotorAus",
                              fahre:              "fehlerMotorAus",
                              fahreBisBenzinAlle: "fehlerMotorAus",
                              tanke:              "motorAus"
                             },
                             "errorMotorAus"
                            ],
          motorAn:          [{starteMotor:        "fehlerMotorAn",
                              stoppeMotor:        "motorAus",
                              fahre:              "motorAn",
                              fahreBisBenzinAlle: "benzinAlle",
                              tanke:              "fehlerMotorAn"
                             },
                             "motorAn"
                            ],
          fehlerMotorAn:    [{starteMotor:        "fehlerMotorAn",
                              stoppeMotor:        "motorAus",
                              fahre:              "motorAn",
                              fahreBisBenzinAlle: "benzinAlle",
                              tanke:              "fehlerMotorAn"
                             },
                             "errorMotorAn"
                            ],
          gefahren:         [{starteMotor:        "fehlerMotorAn",
                              stoppeMotor:        "motorAus",
                              fahre:              "motorAn",
                              fahreBisBenzinAlle: "benzinAlle",
                              tanke:              "fehlerMotorAn"
                             },
                             "gefahren"
                            ],
          benzinAlle:       [{starteMotor:        "fehlerBenzinAlle",
                              stoppeMotor:        "fehlerBenzinAlle",
                              fahre:              "fehlerBenzinAlle",
                              fahreBisBenzinAlle: "fehlerBenzinAlle",
                              tanke:              "motorAus"
                             },
                             "gefahren"
                            ],
          fehlerBenzinAlle: [{starteMotor:        "fehlerBenzinAlle",
                              stoppeMotor:        "fehlerBenzinAlle",
                              fahre:              "fehlerBenzinAlle",
                              fahreBisBenzinAlle: "fehlerBenzinAlle",
                              tanke:              "motorAus"
                             },
                             "errorBenzinAlle"
                            ]
          }
        )
      );
    }

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