public void SetLEDsHandler(SetLEDs update) { // handle setting LEDs from the outside world _wm.SetLEDs(update.Body.LED1, update.Body.LED2, update.Body.LED3, update.Body.LED4); _state.LEDs = update.Body; update.ResponsePort.Post(DefaultUpdateResponseType.Instance); }
public void SetLEDsHandler(SetLEDs update) { // handle setting LEDs from the outside world _wm.SetLEDs(update.Body.LED1, update.Body.LED2, update.Body.LED3, update.Body.LED4); _state.LEDState = update.Body; update.ResponsePort.Post(DefaultUpdateResponseType.Instance); }