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

  public class LogicCar_MooreNoDefaults extends LogicCar
  {
    /////////////////////////////////////////////////////////////////////////////
    // Constructor
    /////////////////////////////////////////////////////////////////////////////

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

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