internal async void SendSimInitializeRequest() { var serverUri = _communication.SimulatorServerUri; if (serverUri == null) { return; } var param0 = new GeneralSimInitializeRequestParams { SupportedFormats = _supportedScoreFileFormats }; var @params = new object[] { param0 }; var rpcResult = await SendRequestAsync(serverUri, CommonProtocolMethodNames.General_SimInitialize, @params, null); if (!rpcResult.StatusCode.IsSuccessful()) { // TODO: Handle HTTP protocol errors. return; } Debug.Assert(rpcResult.ResponseObject != null, "result.ResponseObject != null"); if (!JsonRpcHelper.IsResponseValid(rpcResult.ResponseObject)) { // TODO: Handle malformed RPC object. Debug.Print("RPC response is invalid."); return; } if (JsonRpcHelper.IsResponseSuccessful(rpcResult.ResponseObject)) { var response = JsonRpcHelper.TranslateAsResponse(rpcResult.ResponseObject); Debug.Assert(response.Result != null, "response.Result != null"); var result = response.GetResult <GeneralSimInitializeResponseResult>(); Debug.Assert(result != null, nameof(result) + " != null"); var selectedFormat = result.SelectedFormat; if (selectedFormat == null) { // No common format } else { // Select it as the common format } } else { var error = JsonRpcHelper.TranslateAsResponse(rpcResult.ResponseObject); } }
internal async void SendReloadRequest([NotNull] EditReloadRequestParams param0) { var serverUri = _communication.SimulatorServerUri; if (serverUri == null) { return; } var @params = new object[] { param0 }; var result = await SendRequestAsync(serverUri, CommonProtocolMethodNames.Edit_Reload, @params, null); if (!result.StatusCode.IsSuccessful()) { // TODO: Handle HTTP protocol errors. return; } Debug.Assert(result.ResponseObject != null, "result.ResponseObject != null"); if (!JsonRpcHelper.IsResponseValid(result.ResponseObject)) { // TODO: Handle malformed RPC object. Debug.Print("RPC response is invalid."); return; } if (JsonRpcHelper.IsResponseSuccessful(result.ResponseObject)) { var response = JsonRpcHelper.TranslateAsResponse(result.ResponseObject); } else { var error = JsonRpcHelper.TranslateAsResponse(result.ResponseObject); } }