/// <summary>
/// Verify RopGetLocalReplicaIds Failure Response
/// </summary>
/// <param name="ropGetLocalReplicaIdsResponse">The failure response of RopGetLocalReplicaIds request</param>
/// <param name="inputHandleIndex">The field of InputHandleIndex in RopGetLocalReplicaIds request</param>
private void VerifyRopGetLocalReplicaIdsFailureResponse(RopGetLocalReplicaIdsResponse ropGetLocalReplicaIdsResponse, byte inputHandleIndex)
{
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4311");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4311
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropGetLocalReplicaIdsResponse.RopId.GetType(),
4311,
@"[In RopGetLocalReplicaIds ROP Failure Response Buffer] RopId (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4313");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4313
Site.CaptureRequirementIfAreEqual<byte>(
(byte)RopId.RopGetLocalReplicaIds,
ropGetLocalReplicaIdsResponse.RopId,
4313,
@"[In RopGetLocalReplicaIds ROP Failure Response Buffer, RopId (1 byte):] For this operation[RopGetLocalReplicaIds] this field is set to 0x7F.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4314");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4314
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropGetLocalReplicaIdsResponse.InputHandleIndex.GetType(),
4314,
@"[In RopGetLocalReplicaIds ROP Failure Response Buffer] InputHandleIndex (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4315");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4315
Site.CaptureRequirementIfAreEqual<byte>(
inputHandleIndex,
ropGetLocalReplicaIdsResponse.InputHandleIndex,
4315,
@"[In RopGetLocalReplicaIds ROP Failure Response Buffer, InputHandleIndex (1 byte):] This index MUST be set to the value specified in theInputHandleIndex field in the request.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4317");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4317
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropGetLocalReplicaIdsResponse.ReturnValue.GetType(),
4317,
@"[In RopGetLocalReplicaIds ROP Failure Response Buffer] ReturnValue (4 bytes): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4319");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4319
Site.CaptureRequirementIfAreNotEqual<uint>(
SuccessReturnValue,
ropGetLocalReplicaIdsResponse.ReturnValue,
4319,
@"[In RopGetLocalReplicaIds ROP Failure Response Buffer, ReturnValue (4 bytes):] For this response[Failure Response], this field is set to a value other than 0x00000000.");
}
/// <summary>
/// Verify RopGetLocalReplicaIds Success Response
/// </summary>
/// <param name="ropGetLocalReplicaIdsResponse">The success response of RopGetLocalReplicaIds request</param>
/// <param name="inputHandleIndex">The field of InputHandleIndex in RopGetLocalReplicaIds request</param>
private void VerifyRopGetLocalReplicaIdsSuccessResponse(RopGetLocalReplicaIdsResponse ropGetLocalReplicaIdsResponse, byte inputHandleIndex)
{
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4296");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4296
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropGetLocalReplicaIdsResponse.RopId.GetType(),
4296,
@"[In RopGetLocalReplicaIds ROP Success Response Buffer] RopId (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4298");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4298
Site.CaptureRequirementIfAreEqual<byte>(
(byte)RopId.RopGetLocalReplicaIds,
ropGetLocalReplicaIdsResponse.RopId,
4298,
@"[In RopGetLocalReplicaIds ROP Success Response Buffer, RopId (1 byte):] For this operation[RopGetLocalReplicaIds], this field is set to 0x7F.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4299");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4299
Site.CaptureRequirementIfAreEqual<Type>(
typeof(byte),
ropGetLocalReplicaIdsResponse.InputHandleIndex.GetType(),
4299,
@"[In RopGetLocalReplicaIds ROP Success Response Buffer] InputHandleIndex (1 byte): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4300");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4300
Site.CaptureRequirementIfAreEqual<byte>(
inputHandleIndex,
ropGetLocalReplicaIdsResponse.InputHandleIndex,
4300,
@"[In RopGetLocalReplicaIds 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_R4303");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4303
Site.CaptureRequirementIfAreEqual<Type>(
typeof(uint),
ropGetLocalReplicaIdsResponse.ReturnValue.GetType(),
4303,
@"[In RopGetLocalReplicaIds ROP Success Response Buffer] ReturnValue (4 bytes): An unsigned integer.");
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4305");
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4305
Site.CaptureRequirementIfAreEqual<uint>(
SuccessReturnValue,
ropGetLocalReplicaIdsResponse.ReturnValue,
4305,
@"[In RopGetLocalReplicaIds 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_R4306, actual type of ReplGuid is :{0}", ropGetLocalReplicaIdsResponse.ReplGuid.GetType().Name);
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4306
bool isVerifyR4306 = this.IsGUID(ropGetLocalReplicaIdsResponse.ReplGuid);
Site.CaptureRequirementIfIsTrue(
isVerifyR4306,
4306,
@"[In RopGetLocalReplicaIds ROP Success Response Buffer] ReplGuid (16 bytes): GUID.");
// Add the debug information
Site.Log.Add(
LogEntryKind.Debug,
"Verify MS-OXCROPS_R4309,The size of bytes is:{0},The type of GlobalCount is:{0}",
ropGetLocalReplicaIdsResponse.GlobalCount.Length,
ropGetLocalReplicaIdsResponse.GetType().ToString());
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4309
bool isVerifyR4309 =
(ropGetLocalReplicaIdsResponse.GlobalCount.GetType() == typeof(byte[])) &&
(ropGetLocalReplicaIdsResponse.GlobalCount.Length == 6);
Site.CaptureRequirementIfIsTrue(
isVerifyR4309,
4309,
@"[In RopGetLocalReplicaIds ROP Success Response Buffer] GlobalCount (6 bytes): An array of bytes.");
}
