private void VerifyMessageProcessingEventsAndSequencingRules(List<uint> serverOHTable)
{
bool isNotEqual = true;
for (int i = 0; i < serverOHTable.Count; i++)
{
if (i != serverOHTable.Count - 1)
{
// Add the debug information
Site.Log.Add(LogEntryKind.Debug, "Verify MS-OXCROPS_R4560, the actual server object handle is [{0}: {1}]", i, serverOHTable[i]);
// The last index value 0xFFFFFFFF used to initialize unused entries
// of a Server object handle table for multiple ROPS
if (serverOHTable[i] == HandleValueForUnusedEntries)
{
isNotEqual = false;
break;
}
}
}
// Verify MS-OXCROPS requirement: MS-OXCROPS_R4560
bool isVerifyR4560 = isNotEqual;
Site.CaptureRequirementIfIsTrue(
isVerifyR4560,
4560,
@"[In Processing a ROP Input Buffer] Because the Server object handle value 0xFFFFFFFF is used to initialize unused entries of a Server object handle table, a server MUST NOT assign that value to a created Server Object.");
}
#endregion