/// <summary>
/// Verify RopProgress Failure Response
/// </summary>
/// <param name="ropProgressResponse">The failure response of RopProgress request</param>
/// <param name="inputHandleIndex">The field of inputHandleIndex in RopProgress request</param>
private void VerifyRopProgressFailureResponse(RopProgressResponse ropProgressResponse, byte inputHandleIndex)
{
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R3147");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3147
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropProgressResponse.RopId.GetType(),
3147,
@"[In RopProgress ROP Failure Response Buffer]RopId (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R3149");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3149
Site.CaptureRequirementIfAreEqual<byte>(
(byte)RopId.RopProgress,
ropProgressResponse.RopId,
3149,
@"[In RopProgress ROP Failure Response Buffer,RopId (1 byte)]For this operation[RopProgress], this field is set to 0x50.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R3150");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3150
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropProgressResponse.InputHandleIndex.GetType(),
3150,
@"[In RopProgress ROP Failure Response Buffer]InputHandleIndex (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R3151");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3151
Site.CaptureRequirementIfAreEqual<byte>(
inputHandleIndex,
ropProgressResponse.InputHandleIndex,
3151,
@"[In RopProgress ROP Failure 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_R3153");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3153
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropProgressResponse.ReturnValue.GetType(),
3153,
@"[In RopProgress ROP Failure Response Buffer]ReturnValue (4 bytes): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R3155");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3155
Site.CaptureRequirementIfAreNotEqual<uint>(
SuccessReturnValue,
ropProgressResponse.ReturnValue,
3155,
@"[In RopProgress ROP Failure Response Buffer,ReturnValue (4 bytes)]For this response[Failure Response ], this field is set to a value other than 0x00000000.");
}
/// <summary>
/// Verify RopProgress Success Response
/// </summary>
/// <param name="ropProgressResponse">The success response of RopProgress request</param>
/// <param name="inputHandleIndex">The field of inputHandleIndex in RopProgress request</param>
private void VerifyRopProgressSuccessResponse(RopProgressResponse ropProgressResponse, byte inputHandleIndex)
{
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R3132");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3132
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropProgressResponse.RopId.GetType(),
3132,
@"[In RopProgress ROP Success Response Buffer]RopId (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R3134");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3134
Site.CaptureRequirementIfAreEqual<byte>(
(byte)RopId.RopProgress,
ropProgressResponse.RopId,
3134,
@"[In RopProgress ROP Success Response Buffer,RopId (1 byte)]For this operation[RopProgress], this field is set to 0x50.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R3135");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3135
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropProgressResponse.InputHandleIndex.GetType(),
3135,
@"[In RopProgress ROP Success Response Buffer]InputHandleIndex (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R3136");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3136
Site.CaptureRequirementIfAreEqual<byte>(
inputHandleIndex,
ropProgressResponse.InputHandleIndex,
3136,
@"[In RopProgress 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_R3138");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3138
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropProgressResponse.ReturnValue.GetType(),
3138,
@"[In RopProgress ROP Success Response Buffer]ReturnValue (4 bytes): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R3140");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3140
Site.CaptureRequirementIfAreEqual<uint>(
SuccessReturnValue,
ropProgressResponse.ReturnValue,
3140,
@"[In RopProgress 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_R3141");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3141
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropProgressResponse.LogonId.GetType(),
3141,
@"[In RopProgress ROP Success Response Buffer]LogonId (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R3143");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3143
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropProgressResponse.CompletedTaskCount.GetType(),
3143,
@"[In RopProgress ROP Success Response Buffer]CompletedTaskCount (4 bytes): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R3145");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R3145
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropProgressResponse.TotalTaskCount.GetType(),
3145,
@"[In RopProgress ROP Success Response Buffer]TotalTaskCount (4 bytes): An unsigned integer.");
}
