private void VerifyRopSynchronizationImportMessageMoveSuccessResponse(
RopSynchronizationImportMessageMoveResponse ropSynchronizationImportMessageMoveResponse,
byte inputHandleIndex)
{
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4125");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4125
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropSynchronizationImportMessageMoveResponse.RopId.GetType(),
4125,
@"[In RopSynchronizationImportMessageMove ROP Success Response Buffer] RopId (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4127");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4127
Site.CaptureRequirementIfAreEqual<byte>(
(byte)RopId.RopSynchronizationImportMessageMove,
ropSynchronizationImportMessageMoveResponse.RopId,
4127,
@"[In RopSynchronizationImportMessageMove ROP Success Response Buffer, RopId (1 byte):] For this operation[RopSynchronizationImportMessageMove] this field is set to 0x78.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4128");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4128
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropSynchronizationImportMessageMoveResponse.InputHandleIndex.GetType(),
4128,
@"[In RopSynchronizationImportMessageMove ROP Success Response Buffer] InputHandleIndex (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4129");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4129
Site.CaptureRequirementIfAreEqual<byte>(
inputHandleIndex,
ropSynchronizationImportMessageMoveResponse.InputHandleIndex,
4129,
@"[In RopSynchronizationImportMessageMove ROP Success Response Buffer, InputHandleIndex (1 byte):] This index MUST be set to the value specified in the InputHandleIndex field in the request.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4131");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4131
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropSynchronizationImportMessageMoveResponse.ReturnValue.GetType(),
4131,
@"[In RopSynchronizationImportMessageMove ROP Success Response Buffer] ReturnValue (4 bytes): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4133");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4133
Site.CaptureRequirementIfAreEqual<uint>(
SuccessReturnValue,
ropSynchronizationImportMessageMoveResponse.ReturnValue,
4133,
@"[In RopSynchronizationImportMessageMove ROP Success Response Buffer, ReturnValue (4 bytes):] For this response[Success Response], this field is set to 0x00000000.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4134");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4134
Site.CaptureRequirementIfAreEqual<Type>(
typeof(ulong),
ropSynchronizationImportMessageMoveResponse.MessageId.GetType(),
4134,
@"[In RopSynchronizationImportMessageMove ROP Success Response Buffer] MessageId (8 bytes): An identifier.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4696");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4696
Site.CaptureRequirementIfAreEqual<ulong?>(
MessageIdForRops,
ropSynchronizationImportMessageMoveResponse.MessageId,
4696,
@"[In RopSynchronizationImportMessageMove ROP Success Response Buffer] MessageId (8 bytes): This field MUST be set to 0x0000000000000000.");
}