/// <summary>
/// Verify RopFreeBookmark Response
/// </summary>
/// <param name="ropFreeBookmarkResponse">The response of RopFreeBookmark request</param>
/// <param name="inputHandleIndex">The field of InputHandleIndex in RopFreeBookmark request</param>
private void VerifyRopFreeBookmarkResponse(RopFreeBookmarkResponse ropFreeBookmarkResponse, byte inputHandleIndex)
{
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1509");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1509
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropFreeBookmarkResponse.RopId.GetType(),
1509,
@"[In RopFreeBookmark ROP Response Buffer] RopId (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1511");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1511
Site.CaptureRequirementIfAreEqual<byte>(
(byte)RopId.RopFreeBookmark,
ropFreeBookmarkResponse.RopId,
1511,
@"[In RopFreeBookmark ROP Response Buffer] RopId (1 byte): For this operation[RopFreeBookmark], this field[RopId (1 byte)] is set to 0x89.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1512");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1512
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropFreeBookmarkResponse.InputHandleIndex.GetType(),
1512,
@"[In RopFreeBookmark ROP Response Buffer] InputHandleIndex (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1513");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1513
Site.CaptureRequirementIfAreEqual<byte>(
inputHandleIndex,
ropFreeBookmarkResponse.InputHandleIndex,
1513,
@"[In RopFreeBookmark ROP 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_R1514");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1514
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropFreeBookmarkResponse.ReturnValue.GetType(),
1514,
@"[In RopFreeBookmark ROP Response Buffer] ReturnValue (4 bytes): An unsigned integer.");
}
