private void VerifyRopQueryPositionSuccessResponse(RopQueryPositionResponse ropQueryPositionResponse, byte inputHandleIndex)
{
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1267");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1267
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropQueryPositionResponse.RopId.GetType(),
1267,
@"[In RopQueryPosition ROP Success Response Buffer] RopId (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1269");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1269
Site.CaptureRequirementIfAreEqual<byte>(
(byte)RopId.RopQueryPosition,
ropQueryPositionResponse.RopId,
1269,
@"[In RopQueryPosition ROP Success Response Buffer] RopId (1 byte): For this operation[RopQueryPosition], this field[RopId (1 byte)] is set to 0x17.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1270");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1270
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropQueryPositionResponse.InputHandleIndex.GetType(),
1270,
@"[In RopQueryPosition ROP Success Response Buffer] InputHandleIndex (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1271");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1271
Site.CaptureRequirementIfAreEqual<byte>(
inputHandleIndex,
ropQueryPositionResponse.InputHandleIndex,
1271,
@"[In RopQueryPosition ROP Success Response Buffer] InputHandleIndex (1 byte): This index[InputHandleIndex] 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_R1272");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1272
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropQueryPositionResponse.ReturnValue.GetType(),
1272,
@"[In RopQueryPosition ROP Success Response Buffer] ReturnValue (4 bytes): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1274");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1274
Site.CaptureRequirementIfAreEqual<uint>(
SuccessReturnValue,
ropQueryPositionResponse.ReturnValue,
1274,
@"[In RopQueryPosition 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_R1275");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1275
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropQueryPositionResponse.Numerator.GetType(),
1275,
@"[In RopQueryPosition ROP Success Response Buffer] Numerator (4 bytes): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1277");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1277
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropQueryPositionResponse.Denominator.GetType(),
1277,
@"[In RopQueryPosition ROP Success Response Buffer] Denominator (4 bytes): An unsigned integer.");
}