/// <summary>
/// Verify RopGetCollapseState Failure Response
/// </summary>
/// <param name="ropGetCollapseStateResponse">The response of RopGetCollapseState request</param>
/// <param name="inputHandleIndex">The field of InputHandleIndex in RopGetCollapseState request</param>
private void VerifyRopGetCollapseStateFailureResponse(RopGetCollapseStateResponse ropGetCollapseStateResponse, byte inputHandleIndex)
{
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1625");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1625
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropGetCollapseStateResponse.RopId.GetType(),
1625,
@"[In RopGetCollapseState ROP Failure Response Buffer] RopId (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1627");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1627
Site.CaptureRequirementIfAreEqual<byte>(
(byte)RopId.RopGetCollapseState,
ropGetCollapseStateResponse.RopId,
1627,
@"[In RopGetCollapseState ROP Failure Response Buffer] RopId (1 byte): For this operation[RopGetCollapseState], this field[RopId (1 byte)] is set to 0x6B.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1628");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1628
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropGetCollapseStateResponse.InputHandleIndex.GetType(),
1628,
@"[In RopGetCollapseState ROP Failure Response Buffer] InputHandleIndex (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1629");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1629
Site.CaptureRequirementIfAreEqual<byte>(
inputHandleIndex,
ropGetCollapseStateResponse.InputHandleIndex,
1629,
@"[In RopGetCollapseState 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_R1630");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1630
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropGetCollapseStateResponse.ReturnValue.GetType(),
1630,
@"[In RopGetCollapseState ROP Failure Response Buffer] ReturnValue (4 bytes): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1632");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1632
Site.CaptureRequirementIfAreNotEqual<uint>(
SuccessReturnValue,
ropGetCollapseStateResponse.ReturnValue,
1632,
@"[In RopGetCollapseState ROP Failure Response Buffer] ReturnValue (4 bytes): For this response[Failure Response], this field is set to a value other than 0x00000000.");
}
/// <summary>
/// Verify RopGetCollapseState Response
/// </summary>
/// <param name="getCollapseStateResponse">RopGetCollapseStateResponse structure data that needs verification</param>
private void VerifyRopGetCollapseStateResponse(RopGetCollapseStateResponse getCollapseStateResponse)
{
this.VerifyRPCLayerRequirement();
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCTABL_R294: the value of the CollapseStateSize field is:{0},and the length of CollapseState field is:{1} in response", getCollapseStateResponse.CollapseStateSize, getCollapseStateResponse.CollapseState.Length);
// Verify MS-OXCTABL requirement: MS-OXCTABL_R294
bool isVerifyR294 = getCollapseStateResponse.CollapseStateSize == getCollapseStateResponse.CollapseState.Length;
Site.CaptureRequirementIfIsTrue(
isVerifyR294,
294,
@"[In RopGetCollapseState ROP Response Buffer] CollapseStateSize (2 bytes): An unsigned integer that specifies the size, in bytes, of the CollapseState field.");
}
/// <summary>
/// Verify RopGetCollapseState Success Response
/// </summary>
/// <param name="ropGetCollapseStateResponse">The response of RopGetCollapseState request</param>
/// <param name="inputHandleIndex">The field of InputHandleIndex in RopGetCollapseState request</param>
private void VerifyRopGetCollapseStateSuccessResponse(RopGetCollapseStateResponse ropGetCollapseStateResponse, byte inputHandleIndex)
{
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1612");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1612
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropGetCollapseStateResponse.RopId.GetType(),
1612,
@"[In RopGetCollapseState ROP Success Response Buffer] RopId (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1614");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1614
Site.CaptureRequirementIfAreEqual<byte>(
(byte)RopId.RopGetCollapseState,
ropGetCollapseStateResponse.RopId,
1614,
@"[In RopGetCollapseState ROP Success Response Buffer] RopId (1 byte): For this operation[RopGetCollapseState], this field[RopId (1 byte)] is set to 0x6B.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1615");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1615
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropGetCollapseStateResponse.InputHandleIndex.GetType(),
1615,
@"[In RopGetCollapseState ROP Success Response Buffer] InputHandleIndex (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1616");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1616
Site.CaptureRequirementIfAreEqual<byte>(
inputHandleIndex,
ropGetCollapseStateResponse.InputHandleIndex,
1616,
@"[In RopGetCollapseState 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_R1617");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1617
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropGetCollapseStateResponse.ReturnValue.GetType(),
1617,
@"[In RopGetCollapseState ROP Success Response Buffer] ReturnValue (4 bytes): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1619");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1619
Site.CaptureRequirementIfAreEqual<uint>(
SuccessReturnValue,
ropGetCollapseStateResponse.ReturnValue,
1619,
@"[In RopGetCollapseState 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_R1620");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1620
Site.CaptureRequirementIfAreEqual<Type>(
typeof(ushort),
ropGetCollapseStateResponse.CollapseStateSize.GetType(),
1620,
@"[In RopGetCollapseState ROP Success Response Buffer] CollapseStateSize (2 bytes): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1622");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1622
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte[]),
ropGetCollapseStateResponse.CollapseState.GetType(),
1622,
@"[In RopGetCollapseState ROP Success Response Buffer] CollapseState (variable): An array of bytes.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R1623");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R1623
Site.CaptureRequirementIfAreEqual<ushort>(
ropGetCollapseStateResponse.CollapseStateSize,
(ushort)ropGetCollapseStateResponse.CollapseState.Length,
1623,
@"[In RopGetCollapseState ROP Success Response Buffer] CollapseState (variable): The size of this field, in bytes, is specified by the CollapseStateSize field.");
}