public void Toggle() => machine.Fire(LampTrigger.Toggle);
private void Timer_Elapsed(object sender, System.Timers.ElapsedEventArgs e) { machine.Fire(TrafficLightTrigger.Timer); }
public void Push() => machine.Fire(LampTrigger.Push);
public override void PushUp() => machine.Fire(LampTrigger.PushUp);
public override void Push() { machine.Fire(LampTrigger.Push); }
private void Timer_Elapsed(object sender, ElapsedEventArgs e) { machine.Fire(LampTrigger.Timer); }