public void MSOXCFXICS_S06_SyncICSContentsFAI_TestSuite3() {
this.Manager.BeginTest("MSOXCFXICS_S06_SyncICSContentsFAI_TestSuite3");
this.Manager.Comment("reaching state \'S6\'");
bool temp129;
this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
this.IMS_OXCFXICSAdapterInstance.CheckMAPIHTTPTransportSupported(out temp129);
this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp129);
this.Manager.Comment("reaching state \'S7\'");
int temp171 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S06_SyncICSContentsFAI_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCFXICS_S06_SyncICSContentsFAI_TestSuite3CheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S06_SyncICSContentsFAI_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCFXICS_S06_SyncICSContentsFAI_TestSuite3CheckMAPIHTTPTransportSupportedChecker1)));
if ((temp171 == 0)) {
this.Manager.Comment("reaching state \'S14\'");
this.Manager.Comment("executing step \'call Connect(1,PrivateMailboxServer)\'");
this.IMS_OXCFXICSAdapterInstance.Connect(1, ((Microsoft.Protocols.TestSuites.Common.ConnectionType)(1)));
this.Manager.Comment("reaching state \'S19\'");
this.Manager.Comment("checking step \'return Connect\'");
this.Manager.Comment("reaching state \'S23\'");
int temp130;
int temp131;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp132;
this.Manager.Comment("executing step \'call Logon(1,Private,out _,out _)\'");
temp132 = this.IMS_OXCFXICSAdapterInstance.Logon(1, ((Microsoft.Protocols.TestSuites.Common.LogonFlags)(1)), out temp130, out temp131);
this.Manager.Comment("reaching state \'S27\'");
this.Manager.Comment("checking step \'return Logon/[out 1,out 1]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 1, temp130, "logonHandleIndex of Logon, state S27");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 1, temp131, "inboxFolderIdIndex of Logon, state S27");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp132, "return of Logon, state S27");
this.Manager.Comment("reaching state \'S31\'");
int temp133;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp134;
this.Manager.Comment("executing step \'call OpenFolder(1,1,1,out _)\'");
temp134 = this.IMS_OXCFXICSAdapterInstance.OpenFolder(1, 1, 1, out temp133);
this.Manager.Comment("reaching state \'S35\'");
this.Manager.Comment("checking step \'return OpenFolder/[out 2]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 2, temp133, "folderHandleIndex of OpenFolder, state S35");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp134, "return of OpenFolder, state S35");
this.Manager.Comment("reaching state \'S39\'");
int temp135;
int temp136;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp137;
this.Manager.Comment("executing step \'call CreateFolder(1,2,\"test\",out _,out _)\'");
temp137 = this.IMS_OXCFXICSAdapterInstance.CreateFolder(1, 2, "test", out temp135, out temp136);
this.Manager.Checkpoint("MS-OXCFXICS_R1890");
this.Manager.Comment("reaching state \'S43\'");
this.Manager.Comment("checking step \'return CreateFolder/[out 2,out 3]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 2, temp135, "folderIdIndex of CreateFolder, state S43");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 3, temp136, "folderHandleIndex of CreateFolder, state S43");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp137, "return of CreateFolder, state S43");
this.Manager.Comment("reaching state \'S47\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp138;
this.Manager.Comment("executing step \'call GetLocalReplicaIds(1,1,3)\'");
temp138 = this.IMS_OXCFXICSAdapterInstance.GetLocalReplicaIds(1, 1, 3u);
this.Manager.Checkpoint("MS-OXCFXICS_R925");
this.Manager.Comment("reaching state \'S51\'");
this.Manager.Comment("checking step \'return GetLocalReplicaIds/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp138, "return of GetLocalReplicaIds, state S51");
this.Manager.Comment("reaching state \'S55\'");
int temp139;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp140;
this.Manager.Comment("executing step \'call SynchronizationOpenCollector(1,3,Contents,out _)\'");
temp140 = this.IMS_OXCFXICSAdapterInstance.SynchronizationOpenCollector(1, 3, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.SynchronizationTypes)(1)), out temp139);
this.Manager.Checkpoint("MS-OXCFXICS_R778");
this.Manager.Checkpoint("MS-OXCFXICS_R769");
this.Manager.Comment("reaching state \'S59\'");
this.Manager.Comment("checking step \'return SynchronizationOpenCollector/[out 4]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 4, temp139, "synchronizationHandleIndex of SynchronizationOpenCollector, state S59");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp140, "return of SynchronizationOpenCollector, state S59");
this.Manager.Comment("reaching state \'S63\'");
int temp141;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp142;
this.Manager.Comment("executing step \'call SynchronizationImportMessageChange(1,4,0,Associated,out _)\'");
temp142 = this.IMS_OXCFXICSAdapterInstance.SynchronizationImportMessageChange(1, 4, 0, Microsoft.Protocols.TestSuites.Common.ImportFlag.Associated, out temp141);
this.Manager.Checkpoint("MS-OXCFXICS_R813");
this.Manager.Checkpoint("MS-OXCFXICS_R805");
this.Manager.Checkpoint("MS-OXCFXICS_R1897");
this.Manager.Checkpoint("MS-OXCFXICS_R2449");
this.Manager.Checkpoint("MS-OXCFXICS_R782");
this.Manager.Comment("reaching state \'S67\'");
this.Manager.Comment("checking step \'return SynchronizationImportMessageChange/[out 5]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 5, temp141, "importMessageHandleIndex of SynchronizationImportMessageChange, state S67");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp142, "return of SynchronizationImportMessageChange, state S67");
this.Manager.Comment("reaching state \'S71\'");
int temp143;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp144;
this.Manager.Comment("executing step \'call SaveChangesMessage(1,5,out _)\'");
temp144 = this.IMS_OXCFXICSAdapterInstance.SaveChangesMessage(1, 5, out temp143);
this.Manager.Checkpoint("MS-OXCFXICS_R1910");
this.Manager.Checkpoint("MS-OXCFXICS_R1906");
this.Manager.Checkpoint("MS-OXCFXICS_R1898");
this.Manager.Comment("reaching state \'S75\'");
this.Manager.Comment("checking step \'return SaveChangesMessage/[out 3]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 3, temp143, "messageIdIndex of SaveChangesMessage, state S75");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp144, "return of SaveChangesMessage, state S75");
this.Manager.Comment("reaching state \'S79\'");
int temp145;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp146;
this.Manager.Comment("executing step \'call SynchronizationConfigure(1,3,Contents,Unicode|ForceUnicode,U" +
"nicode|FAI,Eid,[\"PidTagCreationTime\"],out _)\'");
temp146 = this.IMS_OXCFXICSAdapterInstance.SynchronizationConfigure(1, 3, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.SynchronizationTypes)(1)), ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.SendOptionAlls)(9)), ((Microsoft.Protocols.TestSuites.Common.SynchronizationFlag)(17)), ((Microsoft.Protocols.TestSuites.Common.SynchronizationExtraFlag)(1)), this.Make<Microsoft.Modeling.Sequence<string>>(new string[] {
"Rep"}, new object[] {
this.Make<Microsoft.Xrt.Runtime.RuntimeList<string>>(new string[] {
"Head",
"Tail"}, new object[] {
"PidTagCreationTime",
((Microsoft.Xrt.Runtime.RuntimeList<string>)(null))})}), out temp145);
this.Manager.Checkpoint("MS-OXCFXICS_R669");
this.Manager.Checkpoint("MS-OXCFXICS_R641");
this.Manager.Comment("reaching state \'S83\'");
this.Manager.Comment("checking step \'return SynchronizationConfigure/[out 6]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 6, temp145, "downloadcontextHandleIndex of SynchronizationConfigure, state S83");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp146, "return of SynchronizationConfigure, state S83");
this.Manager.Comment("reaching state \'S87\'");
bool temp147;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(2657,out _)\'");
this.IMS_OXCFXICSAdapterInstance.CheckRequirementEnabled(2657, out temp147);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp147);
this.Manager.Comment("reaching state \'S91\'");
int temp170 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S06_SyncICSContentsFAI_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCFXICS_S06_SyncICSContentsFAI_TestSuite3CheckRequirementEnabledChecker)), new ExpectedReturn(S06_SyncICSContentsFAI_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCFXICS_S06_SyncICSContentsFAI_TestSuite3CheckRequirementEnabledChecker1)));
if ((temp170 == 0)) {
this.Manager.Comment("reaching state \'S98\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp148;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagIdsetGiven,True,0)\'");
temp148 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties)(0)), true, 0);
this.Manager.Comment("reaching state \'S106\'");
this.Manager.Comment("checking step \'return SynchronizationUploadState/InvalidParameter\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult.InvalidParameter, temp148, "return of SynchronizationUploadState, state S106");
this.Manager.Comment("reaching state \'S114\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp149;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagCnsetSeen,False,0)\'");
temp149 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties)(1)), false, 0);
this.Manager.Comment("reaching state \'S122\'");
this.Manager.Comment("checking step \'return SynchronizationUploadState/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp149, "return of SynchronizationUploadState, state S122");
this.Manager.Comment("reaching state \'S130\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp150;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagCnsetSeenFAI,False,0)\'");
temp150 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties.PidTagCnsetSeenFAI, false, 0);
this.Manager.Comment("reaching state \'S138\'");
this.Manager.Comment("checking step \'return SynchronizationUploadState/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp150, "return of SynchronizationUploadState, state S138");
this.Manager.Comment("reaching state \'S146\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp151;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagCnsetRead,False,0)\'");
temp151 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties.PidTagCnsetRead, false, 0);
this.Manager.Comment("reaching state \'S154\'");
this.Manager.Comment("checking step \'return SynchronizationUploadState/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp151, "return of SynchronizationUploadState, state S154");
this.Manager.Comment("reaching state \'S162\'");
int temp152;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFastTransferStream temp153;
bool temp154;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp155;
this.Manager.Comment("executing step \'call FastTransferSourceGetBuffer(1,6,Normal,out _,out _,out _)\'");
temp155 = this.IMS_OXCFXICSAdapterInstance.FastTransferSourceGetBuffer(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.BufferSize.Normal, out temp152, out temp153, out temp154);
this.Manager.Checkpoint("MS-OXCFXICS_R384");
this.Manager.Checkpoint("MS-OXCFXICS_R3321");
this.Manager.Checkpoint("MS-OXCFXICS_R2188");
this.Manager.Checkpoint("MS-OXCFXICS_R1180");
this.Manager.Checkpoint("MS-OXCFXICS_R1135");
this.Manager.Checkpoint("MS-OXCFXICS_R1137");
this.Manager.Checkpoint("MS-OXCFXICS_R2197");
this.Manager.Checkpoint("MS-OXCFXICS_R1363");
this.Manager.Checkpoint("MS-OXCFXICS_R1172");
this.Manager.Checkpoint("MS-OXCFXICS_R2172");
this.Manager.Checkpoint("MS-OXCFXICS_R2044");
this.Manager.Checkpoint("MS-OXCFXICS_R2247");
this.Manager.Checkpoint("MS-OXCFXICS_R190701");
this.Manager.Checkpoint("MS-OXCFXICS_R532");
this.Manager.Comment("reaching state \'S170\'");
this.Manager.Comment("checking step \'return FastTransferSourceGetBuffer/[out 1,out AbstractFastTransfer" +
"Stream(StreamType=contentsSync,AbstractHierarchySync=AbstractHierarchySync(Folde" +
"rchangeInfo=AbstractFolderChange(IsPidTagFolderIdExist=False,IsPidTagParentFolde" +
"rIdExist=False,IsPidTagSourceKeyValueZero=False,IsPidTagParentSourceKeyValueZero" +
"=False),FolderCount=0,FinalICSState=AbstractState(AbstractICSStateIndex=0,IdSetG" +
"iven=null,IsNewCnsetReadPropertyChangeNumber=False,IsNewCnsetSeenFAIPropertyChan" +
"geNumber=False,IsNewCnsetSeenPropertyChangeNumber=False),IsParentFolderBeforeChi" +
"ld=False,AbstractDeletion=AbstractDeletion(IsDeletionPresent=False,IdSetDeleted=" +
"null,IsPidTagIdsetNoLongerInScopeExist=False,IsPidTagIdsetExpiredExist=False)),A" +
"bstractContentsSync=AbstractContentsSync(IsprogessTotalPresent=False,MessageInfo" +
"={AbstractMessageChangeInfo(IsProgressPerMessagePresent=False,FollowedFAIMessage" +
"=False,IsMessageChangeFull=True,IsPidTagMidExist=True,IsPidTagMessageSizeExist=F" +
"alse,IsPidTagChangeNumberExist=False,MessageIdIndex=3,IsRTFformat=False)},Abstra" +
"ctDeletion=AbstractDeletion(IsDeletionPresent=False,IdSetDeleted={},IsPidTagIdse" +
"tNoLongerInScopeExist=False,IsPidTagIdsetExpiredExist=False),IsReadStateChangesE" +
"xist=False,FinalICSState=AbstractState(AbstractICSStateIndex=1,IdSetGiven={3},Is" +
"NewCnsetReadPropertyChangeNumber=False,IsNewCnsetSeenFAIPropertyChangeNumber=Tru" +
"e,IsNewCnsetSeenPropertyChangeNumber=False),IsSortByMessageDeliveryTime=False,Is" +
"SortByLastModificationTime=False),AbstractFolderContent=AbstractFolderContent(Is" +
"PidTagEcWarningOut=False,IsNoPermissionObjNotOut=False,IsPidTagNewFXFolderOut=Fa" +
"lse,IsFolderContentNotOut=False,IsFolderPropertiesNotOut=False,IsSubFolderPreced" +
"edByPidTagFXDelProp=False,AbsFolderMessage=AbstractFolderMessage(IsFolderMessage" +
"sPrecededByPidTagFXDelProp=False,MessageList=AbstractMessageList(IsPidTagEcWarni" +
"ngOut=False,AbsMessage=AbsMessage(AbsMessageContent=AbstractMessageContent(IsNoP" +
"ermissionMessageNotOut=False,AbsMessageChildren=AbstractMessageChildren(Attachme" +
"ntPrecededByPidTagFXDelProp=False,RecipientPrecededByPidTagFXDelProp=False),Stri" +
"ngPropertiesInUnicode=False,StringPropertiesInUnicodeCodePage=False,StringProper" +
"tiesInOtherCodePage=False,IsRTFFormat=False))))),AbstractTopFolder=AbstractTopFo" +
"lder(AbsFolderContent=AbstractFolderContent(IsPidTagEcWarningOut=False,IsNoPermi" +
"ssionObjNotOut=False,IsPidTagNewFXFolderOut=False,IsFolderContentNotOut=False,Is" +
"FolderPropertiesNotOut=False,IsSubFolderPrecededByPidTagFXDelProp=False,AbsFolde" +
"rMessage=AbstractFolderMessage(IsFolderMessagesPrecededByPidTagFXDelProp=False,M" +
"essageList=AbstractMessageList(IsPidTagEcWarningOut=False,AbsMessage=AbsMessage(" +
"AbsMessageContent=AbstractMessageContent(IsNoPermissionMessageNotOut=False,AbsMe" +
"ssageChildren=AbstractMessageChildren(AttachmentPrecededByPidTagFXDelProp=False," +
"RecipientPrecededByPidTagFXDelProp=False),StringPropertiesInUnicode=False,String" +
"PropertiesInUnicodeCodePage=False,StringPropertiesInOtherCodePage=False,IsRTFFor" +
"mat=False))))),SubFolderInScope=False),AbstractState=AbstractState(AbstractICSSt" +
"ateIndex=0,IdSetGiven=null,IsNewCnsetReadPropertyChangeNumber=False,IsNewCnsetSe" +
"enFAIPropertyChangeNumber=False,IsNewCnsetSeenPropertyChangeNumber=False),Abstra" +
"ctMessageContent=AbstractMessageContent(IsNoPermissionMessageNotOut=False,AbsMes" +
"sageChildren=AbstractMessageChildren(AttachmentPrecededByPidTagFXDelProp=False,R" +
"ecipientPrecededByPidTagFXDelProp=False),StringPropertiesInUnicode=False,StringP" +
"ropertiesInUnicodeCodePage=False,StringPropertiesInOtherCodePage=False,IsRTFForm" +
"at=False),AbstractMessageList=AbstractMessageList(IsPidTagEcWarningOut=False,Abs" +
"Message=AbsMessage(AbsMessageContent=AbstractMessageContent(IsNoPermissionMessag" +
"eNotOut=False,AbsMessageChildren=AbstractMessageChildren(AttachmentPrecededByPid" +
"TagFXDelProp=False,RecipientPrecededByPidTagFXDelProp=False),StringPropertiesInU" +
"nicode=False,StringPropertiesInUnicodeCodePage=False,StringPropertiesInOtherCode" +
"Page=False,IsRTFFormat=False))),IsSameReadstateChangeNumber=False),out False]:Su" +
"ccess\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 1, temp152, "transferBufferIndex of FastTransferSourceGetBuffer, state S170");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFastTransferStream>(this.Manager, this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFastTransferStream>(new string[] {
"StreamType",
"AbstractHierarchySync",
"AbstractContentsSync",
"AbstractFolderContent",
"AbstractTopFolder",
"AbstractState",
"AbstractMessageContent",
"AbstractMessageList",
"IsSameReadstateChangeNumber"}, new object[] {
Microsoft.Protocols.TestSuites.MS_OXCFXICS.FastTransferStreamType.contentsSync,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractHierarchySync>(new string[] {
"FolderchangeInfo",
"FolderCount",
"FinalICSState",
"IsParentFolderBeforeChild",
"AbstractDeletion"}, new object[] {
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFolderChange>(new string[] {
"IsPidTagFolderIdExist",
"IsPidTagParentFolderIdExist",
"IsPidTagSourceKeyValueZero",
"IsPidTagParentSourceKeyValueZero"}, new object[] {
false,
false,
false,
false}),
0,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractState>(new string[] {
"AbstractICSStateIndex",
"IdSetGiven",
"IsNewCnsetReadPropertyChangeNumber",
"IsNewCnsetSeenFAIPropertyChangeNumber",
"IsNewCnsetSeenPropertyChangeNumber"}, new object[] {
0,
((Microsoft.Modeling.Set<int>)(null)),
false,
false,
false}),
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractDeletion>(new string[] {
"IsDeletionPresent",
"IdSetDeleted",
"IsPidTagIdsetNoLongerInScopeExist",
"IsPidTagIdsetExpiredExist"}, new object[] {
false,
((Microsoft.Modeling.Set<int>)(null)),
false,
false})}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractContentsSync>(new string[] {
"IsprogessTotalPresent",
"MessageInfo",
"AbstractDeletion",
"IsReadStateChangesExist",
"FinalICSState",
"IsSortByMessageDeliveryTime",
"IsSortByLastModificationTime"}, new object[] {
false,
this.Make<Microsoft.Modeling.Set<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChangeInfo>>(new string[] {
"Rep"}, new object[] {
Microsoft.Xrt.Runtime.RuntimeSupport.UpdateMap<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChangeInfo, Microsoft.Xrt.Runtime.Singleton>(Microsoft.Xrt.Runtime.RuntimeSupport.MakeMap<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChangeInfo, Microsoft.Xrt.Runtime.Singleton>(), this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChangeInfo>(new string[] {
"IsProgressPerMessagePresent",
"FollowedFAIMessage",
"IsMessageChangeFull",
"IsPidTagMidExist",
"IsPidTagMessageSizeExist",
"IsPidTagChangeNumberExist",
"MessageIdIndex",
"IsRTFformat"}, new object[] {
false,
false,
true,
true,
false,
false,
3,
false}), this.Make<Microsoft.Xrt.Runtime.RuntimeMapElement<Microsoft.Xrt.Runtime.Singleton>>(new string[] {
"Element"}, new object[] {
Microsoft.Xrt.Runtime.Singleton.Single}))}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractDeletion>(new string[] {
"IsDeletionPresent",
"IdSetDeleted",
"IsPidTagIdsetNoLongerInScopeExist",
"IsPidTagIdsetExpiredExist"}, new object[] {
false,
this.Make<Microsoft.Modeling.Set<int>>(new string[] {
"Rep"}, new object[] {
Microsoft.Xrt.Runtime.RuntimeSupport.MakeMap<int, Microsoft.Xrt.Runtime.Singleton>()}),
false,
false}),
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractState>(new string[] {
"AbstractICSStateIndex",
"IdSetGiven",
"IsNewCnsetReadPropertyChangeNumber",
"IsNewCnsetSeenFAIPropertyChangeNumber",
"IsNewCnsetSeenPropertyChangeNumber"}, new object[] {
1,
this.Make<Microsoft.Modeling.Set<int>>(new string[] {
"Rep"}, new object[] {
Microsoft.Xrt.Runtime.RuntimeSupport.UpdateMap<int, Microsoft.Xrt.Runtime.Singleton>(Microsoft.Xrt.Runtime.RuntimeSupport.MakeMap<int, Microsoft.Xrt.Runtime.Singleton>(), 3, this.Make<Microsoft.Xrt.Runtime.RuntimeMapElement<Microsoft.Xrt.Runtime.Singleton>>(new string[] {
"Element"}, new object[] {
Microsoft.Xrt.Runtime.Singleton.Single}))}),
false,
true,
false}),
false,
false}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFolderContent>(new string[] {
"IsPidTagEcWarningOut",
"IsNoPermissionObjNotOut",
"IsPidTagNewFXFolderOut",
"IsFolderContentNotOut",
"IsFolderPropertiesNotOut",
"IsSubFolderPrecededByPidTagFXDelProp",
"AbsFolderMessage"}, new object[] {
false,
false,
false,
false,
false,
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFolderMessage>(new string[] {
"IsFolderMessagesPrecededByPidTagFXDelProp",
"MessageList"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageList>(new string[] {
"IsPidTagEcWarningOut",
"AbsMessage"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbsMessage>(new string[] {
"AbsMessageContent"}, new object[] {
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageContent>(new string[] {
"IsNoPermissionMessageNotOut",
"AbsMessageChildren",
"StringPropertiesInUnicode",
"StringPropertiesInUnicodeCodePage",
"StringPropertiesInOtherCodePage",
"IsRTFFormat"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChildren>(new string[] {
"AttachmentPrecededByPidTagFXDelProp",
"RecipientPrecededByPidTagFXDelProp"}, new object[] {
false,
false}),
false,
false,
false,
false})})})})}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractTopFolder>(new string[] {
"AbsFolderContent",
"SubFolderInScope"}, new object[] {
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFolderContent>(new string[] {
"IsPidTagEcWarningOut",
"IsNoPermissionObjNotOut",
"IsPidTagNewFXFolderOut",
"IsFolderContentNotOut",
"IsFolderPropertiesNotOut",
"IsSubFolderPrecededByPidTagFXDelProp",
"AbsFolderMessage"}, new object[] {
false,
false,
false,
false,
false,
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFolderMessage>(new string[] {
"IsFolderMessagesPrecededByPidTagFXDelProp",
"MessageList"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageList>(new string[] {
"IsPidTagEcWarningOut",
"AbsMessage"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbsMessage>(new string[] {
"AbsMessageContent"}, new object[] {
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageContent>(new string[] {
"IsNoPermissionMessageNotOut",
"AbsMessageChildren",
"StringPropertiesInUnicode",
"StringPropertiesInUnicodeCodePage",
"StringPropertiesInOtherCodePage",
"IsRTFFormat"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChildren>(new string[] {
"AttachmentPrecededByPidTagFXDelProp",
"RecipientPrecededByPidTagFXDelProp"}, new object[] {
false,
false}),
false,
false,
false,
false})})})})}),
false}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractState>(new string[] {
"AbstractICSStateIndex",
"IdSetGiven",
"IsNewCnsetReadPropertyChangeNumber",
"IsNewCnsetSeenFAIPropertyChangeNumber",
"IsNewCnsetSeenPropertyChangeNumber"}, new object[] {
0,
((Microsoft.Modeling.Set<int>)(null)),
false,
false,
false}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageContent>(new string[] {
"IsNoPermissionMessageNotOut",
"AbsMessageChildren",
"StringPropertiesInUnicode",
"StringPropertiesInUnicodeCodePage",
"StringPropertiesInOtherCodePage",
"IsRTFFormat"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChildren>(new string[] {
"AttachmentPrecededByPidTagFXDelProp",
"RecipientPrecededByPidTagFXDelProp"}, new object[] {
false,
false}),
false,
false,
false,
false}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageList>(new string[] {
"IsPidTagEcWarningOut",
"AbsMessage"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbsMessage>(new string[] {
"AbsMessageContent"}, new object[] {
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageContent>(new string[] {
"IsNoPermissionMessageNotOut",
"AbsMessageChildren",
"StringPropertiesInUnicode",
"StringPropertiesInUnicodeCodePage",
"StringPropertiesInOtherCodePage",
"IsRTFFormat"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChildren>(new string[] {
"AttachmentPrecededByPidTagFXDelProp",
"RecipientPrecededByPidTagFXDelProp"}, new object[] {
false,
false}),
false,
false,
false,
false})})}),
false}), temp153, "abstractFastTransferStream of FastTransferSourceGetBuffer, state S170");
TestManagerHelpers.AssertAreEqual<bool>(this.Manager, false, temp154, "transferDataSmallOrEqualToBufferSize of FastTransferSourceGetBuffer, state S170");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp155, "return of FastTransferSourceGetBuffer, state S170");
this.Manager.Comment("reaching state \'S178\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp156;
this.Manager.Comment("executing step \'call SetLocalReplicaMidsetDeleted(1,3,[0])\'");
temp156 = this.IMS_OXCFXICSAdapterInstance.SetLocalReplicaMidsetDeleted(1, 3, this.Make<Microsoft.Modeling.Sequence<int>>(new string[] {
"Rep"}, new object[] {
this.Make<Microsoft.Xrt.Runtime.RuntimeList<int>>(new string[] {
"Head",
"Tail"}, new object[] {
0,
((Microsoft.Xrt.Runtime.RuntimeList<int>)(null))})}));
this.Manager.Checkpoint("MS-OXCFXICS_R2269");
this.Manager.Checkpoint("MS-OXCFXICS_R940");
this.Manager.Comment("reaching state \'S186\'");
this.Manager.Comment("checking step \'return SetLocalReplicaMidsetDeleted/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp156, "return of SetLocalReplicaMidsetDeleted, state S186");
this.Manager.Comment("reaching state \'S194\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp157;
this.Manager.Comment("executing step \'call Release(1,4)\'");
temp157 = this.IMS_OXCFXICSAdapterInstance.Release(1, 4);
this.Manager.Comment("reaching state \'S202\'");
this.Manager.Comment("checking step \'return Release/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp157, "return of Release, state S202");
this.Manager.Comment("reaching state \'S210\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp158;
this.Manager.Comment("executing step \'call Release(1,6)\'");
temp158 = this.IMS_OXCFXICSAdapterInstance.Release(1, 6);
this.Manager.Comment("reaching state \'S218\'");
this.Manager.Comment("checking step \'return Release/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp158, "return of Release, state S218");
this.Manager.Comment("reaching state \'S226\'");
goto label6;
}
if ((temp170 == 1)) {
this.Manager.Comment("reaching state \'S99\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp159;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagIdsetGiven,True,0)\'");
temp159 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties)(0)), true, 0);
this.Manager.Checkpoint("MS-OXCFXICS_R2657");
this.Manager.Comment("reaching state \'S107\'");
this.Manager.Comment("checking step \'return SynchronizationUploadState/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp159, "return of SynchronizationUploadState, state S107");
this.Manager.Comment("reaching state \'S115\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp160;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagCnsetSeen,False,0)\'");
temp160 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties)(1)), false, 0);
this.Manager.Comment("reaching state \'S123\'");
this.Manager.Comment("checking step \'return SynchronizationUploadState/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp160, "return of SynchronizationUploadState, state S123");
this.Manager.Comment("reaching state \'S131\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp161;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagCnsetSeenFAI,False,0)\'");
temp161 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties.PidTagCnsetSeenFAI, false, 0);
this.Manager.Comment("reaching state \'S139\'");
this.Manager.Comment("checking step \'return SynchronizationUploadState/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp161, "return of SynchronizationUploadState, state S139");
this.Manager.Comment("reaching state \'S147\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp162;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagCnsetRead,False,0)\'");
temp162 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties.PidTagCnsetRead, false, 0);
this.Manager.Comment("reaching state \'S155\'");
this.Manager.Comment("checking step \'return SynchronizationUploadState/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp162, "return of SynchronizationUploadState, state S155");
this.Manager.Comment("reaching state \'S163\'");
int temp163;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFastTransferStream temp164;
bool temp165;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp166;
this.Manager.Comment("executing step \'call FastTransferSourceGetBuffer(1,6,Normal,out _,out _,out _)\'");
temp166 = this.IMS_OXCFXICSAdapterInstance.FastTransferSourceGetBuffer(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.BufferSize.Normal, out temp163, out temp164, out temp165);
this.Manager.Checkpoint("MS-OXCFXICS_R384");
this.Manager.Checkpoint("MS-OXCFXICS_R3321");
this.Manager.Checkpoint("MS-OXCFXICS_R2188");
this.Manager.Checkpoint("MS-OXCFXICS_R1180");
this.Manager.Checkpoint("MS-OXCFXICS_R1135");
this.Manager.Checkpoint("MS-OXCFXICS_R1137");
this.Manager.Checkpoint("MS-OXCFXICS_R2197");
this.Manager.Checkpoint("MS-OXCFXICS_R1363");
this.Manager.Checkpoint("MS-OXCFXICS_R1172");
this.Manager.Checkpoint("MS-OXCFXICS_R2172");
this.Manager.Checkpoint("MS-OXCFXICS_R2044");
this.Manager.Checkpoint("MS-OXCFXICS_R2247");
this.Manager.Checkpoint("MS-OXCFXICS_R190701");
this.Manager.Checkpoint("MS-OXCFXICS_R532");
this.Manager.Comment("reaching state \'S171\'");
this.Manager.Comment("checking step \'return FastTransferSourceGetBuffer/[out 1,out AbstractFastTransfer" +
"Stream(StreamType=contentsSync,AbstractHierarchySync=AbstractHierarchySync(Folde" +
"rchangeInfo=AbstractFolderChange(IsPidTagFolderIdExist=False,IsPidTagParentFolde" +
"rIdExist=False,IsPidTagSourceKeyValueZero=False,IsPidTagParentSourceKeyValueZero" +
"=False),FolderCount=0,FinalICSState=AbstractState(AbstractICSStateIndex=0,IdSetG" +
"iven=null,IsNewCnsetReadPropertyChangeNumber=False,IsNewCnsetSeenFAIPropertyChan" +
"geNumber=False,IsNewCnsetSeenPropertyChangeNumber=False),IsParentFolderBeforeChi" +
"ld=False,AbstractDeletion=AbstractDeletion(IsDeletionPresent=False,IdSetDeleted=" +
"null,IsPidTagIdsetNoLongerInScopeExist=False,IsPidTagIdsetExpiredExist=False)),A" +
"bstractContentsSync=AbstractContentsSync(IsprogessTotalPresent=False,MessageInfo" +
"={AbstractMessageChangeInfo(IsProgressPerMessagePresent=False,FollowedFAIMessage" +
"=False,IsMessageChangeFull=True,IsPidTagMidExist=True,IsPidTagMessageSizeExist=F" +
"alse,IsPidTagChangeNumberExist=False,MessageIdIndex=3,IsRTFformat=False)},Abstra" +
"ctDeletion=AbstractDeletion(IsDeletionPresent=False,IdSetDeleted={},IsPidTagIdse" +
"tNoLongerInScopeExist=False,IsPidTagIdsetExpiredExist=False),IsReadStateChangesE" +
"xist=False,FinalICSState=AbstractState(AbstractICSStateIndex=1,IdSetGiven={3},Is" +
"NewCnsetReadPropertyChangeNumber=False,IsNewCnsetSeenFAIPropertyChangeNumber=Tru" +
"e,IsNewCnsetSeenPropertyChangeNumber=False),IsSortByMessageDeliveryTime=False,Is" +
"SortByLastModificationTime=False),AbstractFolderContent=AbstractFolderContent(Is" +
"PidTagEcWarningOut=False,IsNoPermissionObjNotOut=False,IsPidTagNewFXFolderOut=Fa" +
"lse,IsFolderContentNotOut=False,IsFolderPropertiesNotOut=False,IsSubFolderPreced" +
"edByPidTagFXDelProp=False,AbsFolderMessage=AbstractFolderMessage(IsFolderMessage" +
"sPrecededByPidTagFXDelProp=False,MessageList=AbstractMessageList(IsPidTagEcWarni" +
"ngOut=False,AbsMessage=AbsMessage(AbsMessageContent=AbstractMessageContent(IsNoP" +
"ermissionMessageNotOut=False,AbsMessageChildren=AbstractMessageChildren(Attachme" +
"ntPrecededByPidTagFXDelProp=False,RecipientPrecededByPidTagFXDelProp=False),Stri" +
"ngPropertiesInUnicode=False,StringPropertiesInUnicodeCodePage=False,StringProper" +
"tiesInOtherCodePage=False,IsRTFFormat=False))))),AbstractTopFolder=AbstractTopFo" +
"lder(AbsFolderContent=AbstractFolderContent(IsPidTagEcWarningOut=False,IsNoPermi" +
"ssionObjNotOut=False,IsPidTagNewFXFolderOut=False,IsFolderContentNotOut=False,Is" +
"FolderPropertiesNotOut=False,IsSubFolderPrecededByPidTagFXDelProp=False,AbsFolde" +
"rMessage=AbstractFolderMessage(IsFolderMessagesPrecededByPidTagFXDelProp=False,M" +
"essageList=AbstractMessageList(IsPidTagEcWarningOut=False,AbsMessage=AbsMessage(" +
"AbsMessageContent=AbstractMessageContent(IsNoPermissionMessageNotOut=False,AbsMe" +
"ssageChildren=AbstractMessageChildren(AttachmentPrecededByPidTagFXDelProp=False," +
"RecipientPrecededByPidTagFXDelProp=False),StringPropertiesInUnicode=False,String" +
"PropertiesInUnicodeCodePage=False,StringPropertiesInOtherCodePage=False,IsRTFFor" +
"mat=False))))),SubFolderInScope=False),AbstractState=AbstractState(AbstractICSSt" +
"ateIndex=0,IdSetGiven=null,IsNewCnsetReadPropertyChangeNumber=False,IsNewCnsetSe" +
"enFAIPropertyChangeNumber=False,IsNewCnsetSeenPropertyChangeNumber=False),Abstra" +
"ctMessageContent=AbstractMessageContent(IsNoPermissionMessageNotOut=False,AbsMes" +
"sageChildren=AbstractMessageChildren(AttachmentPrecededByPidTagFXDelProp=False,R" +
"ecipientPrecededByPidTagFXDelProp=False),StringPropertiesInUnicode=False,StringP" +
"ropertiesInUnicodeCodePage=False,StringPropertiesInOtherCodePage=False,IsRTFForm" +
"at=False),AbstractMessageList=AbstractMessageList(IsPidTagEcWarningOut=False,Abs" +
"Message=AbsMessage(AbsMessageContent=AbstractMessageContent(IsNoPermissionMessag" +
"eNotOut=False,AbsMessageChildren=AbstractMessageChildren(AttachmentPrecededByPid" +
"TagFXDelProp=False,RecipientPrecededByPidTagFXDelProp=False),StringPropertiesInU" +
"nicode=False,StringPropertiesInUnicodeCodePage=False,StringPropertiesInOtherCode" +
"Page=False,IsRTFFormat=False))),IsSameReadstateChangeNumber=False),out False]:Su" +
"ccess\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 1, temp163, "transferBufferIndex of FastTransferSourceGetBuffer, state S171");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFastTransferStream>(this.Manager, this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFastTransferStream>(new string[] {
"StreamType",
"AbstractHierarchySync",
"AbstractContentsSync",
"AbstractFolderContent",
"AbstractTopFolder",
"AbstractState",
"AbstractMessageContent",
"AbstractMessageList",
"IsSameReadstateChangeNumber"}, new object[] {
Microsoft.Protocols.TestSuites.MS_OXCFXICS.FastTransferStreamType.contentsSync,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractHierarchySync>(new string[] {
"FolderchangeInfo",
"FolderCount",
"FinalICSState",
"IsParentFolderBeforeChild",
"AbstractDeletion"}, new object[] {
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFolderChange>(new string[] {
"IsPidTagFolderIdExist",
"IsPidTagParentFolderIdExist",
"IsPidTagSourceKeyValueZero",
"IsPidTagParentSourceKeyValueZero"}, new object[] {
false,
false,
false,
false}),
0,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractState>(new string[] {
"AbstractICSStateIndex",
"IdSetGiven",
"IsNewCnsetReadPropertyChangeNumber",
"IsNewCnsetSeenFAIPropertyChangeNumber",
"IsNewCnsetSeenPropertyChangeNumber"}, new object[] {
0,
((Microsoft.Modeling.Set<int>)(null)),
false,
false,
false}),
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractDeletion>(new string[] {
"IsDeletionPresent",
"IdSetDeleted",
"IsPidTagIdsetNoLongerInScopeExist",
"IsPidTagIdsetExpiredExist"}, new object[] {
false,
((Microsoft.Modeling.Set<int>)(null)),
false,
false})}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractContentsSync>(new string[] {
"IsprogessTotalPresent",
"MessageInfo",
"AbstractDeletion",
"IsReadStateChangesExist",
"FinalICSState",
"IsSortByMessageDeliveryTime",
"IsSortByLastModificationTime"}, new object[] {
false,
this.Make<Microsoft.Modeling.Set<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChangeInfo>>(new string[] {
"Rep"}, new object[] {
Microsoft.Xrt.Runtime.RuntimeSupport.UpdateMap<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChangeInfo, Microsoft.Xrt.Runtime.Singleton>(Microsoft.Xrt.Runtime.RuntimeSupport.MakeMap<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChangeInfo, Microsoft.Xrt.Runtime.Singleton>(), this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChangeInfo>(new string[] {
"IsProgressPerMessagePresent",
"FollowedFAIMessage",
"IsMessageChangeFull",
"IsPidTagMidExist",
"IsPidTagMessageSizeExist",
"IsPidTagChangeNumberExist",
"MessageIdIndex",
"IsRTFformat"}, new object[] {
false,
false,
true,
true,
false,
false,
3,
false}), this.Make<Microsoft.Xrt.Runtime.RuntimeMapElement<Microsoft.Xrt.Runtime.Singleton>>(new string[] {
"Element"}, new object[] {
Microsoft.Xrt.Runtime.Singleton.Single}))}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractDeletion>(new string[] {
"IsDeletionPresent",
"IdSetDeleted",
"IsPidTagIdsetNoLongerInScopeExist",
"IsPidTagIdsetExpiredExist"}, new object[] {
false,
this.Make<Microsoft.Modeling.Set<int>>(new string[] {
"Rep"}, new object[] {
Microsoft.Xrt.Runtime.RuntimeSupport.MakeMap<int, Microsoft.Xrt.Runtime.Singleton>()}),
false,
false}),
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractState>(new string[] {
"AbstractICSStateIndex",
"IdSetGiven",
"IsNewCnsetReadPropertyChangeNumber",
"IsNewCnsetSeenFAIPropertyChangeNumber",
"IsNewCnsetSeenPropertyChangeNumber"}, new object[] {
1,
this.Make<Microsoft.Modeling.Set<int>>(new string[] {
"Rep"}, new object[] {
Microsoft.Xrt.Runtime.RuntimeSupport.UpdateMap<int, Microsoft.Xrt.Runtime.Singleton>(Microsoft.Xrt.Runtime.RuntimeSupport.MakeMap<int, Microsoft.Xrt.Runtime.Singleton>(), 3, this.Make<Microsoft.Xrt.Runtime.RuntimeMapElement<Microsoft.Xrt.Runtime.Singleton>>(new string[] {
"Element"}, new object[] {
Microsoft.Xrt.Runtime.Singleton.Single}))}),
false,
true,
false}),
false,
false}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFolderContent>(new string[] {
"IsPidTagEcWarningOut",
"IsNoPermissionObjNotOut",
"IsPidTagNewFXFolderOut",
"IsFolderContentNotOut",
"IsFolderPropertiesNotOut",
"IsSubFolderPrecededByPidTagFXDelProp",
"AbsFolderMessage"}, new object[] {
false,
false,
false,
false,
false,
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFolderMessage>(new string[] {
"IsFolderMessagesPrecededByPidTagFXDelProp",
"MessageList"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageList>(new string[] {
"IsPidTagEcWarningOut",
"AbsMessage"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbsMessage>(new string[] {
"AbsMessageContent"}, new object[] {
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageContent>(new string[] {
"IsNoPermissionMessageNotOut",
"AbsMessageChildren",
"StringPropertiesInUnicode",
"StringPropertiesInUnicodeCodePage",
"StringPropertiesInOtherCodePage",
"IsRTFFormat"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChildren>(new string[] {
"AttachmentPrecededByPidTagFXDelProp",
"RecipientPrecededByPidTagFXDelProp"}, new object[] {
false,
false}),
false,
false,
false,
false})})})})}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractTopFolder>(new string[] {
"AbsFolderContent",
"SubFolderInScope"}, new object[] {
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFolderContent>(new string[] {
"IsPidTagEcWarningOut",
"IsNoPermissionObjNotOut",
"IsPidTagNewFXFolderOut",
"IsFolderContentNotOut",
"IsFolderPropertiesNotOut",
"IsSubFolderPrecededByPidTagFXDelProp",
"AbsFolderMessage"}, new object[] {
false,
false,
false,
false,
false,
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFolderMessage>(new string[] {
"IsFolderMessagesPrecededByPidTagFXDelProp",
"MessageList"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageList>(new string[] {
"IsPidTagEcWarningOut",
"AbsMessage"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbsMessage>(new string[] {
"AbsMessageContent"}, new object[] {
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageContent>(new string[] {
"IsNoPermissionMessageNotOut",
"AbsMessageChildren",
"StringPropertiesInUnicode",
"StringPropertiesInUnicodeCodePage",
"StringPropertiesInOtherCodePage",
"IsRTFFormat"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChildren>(new string[] {
"AttachmentPrecededByPidTagFXDelProp",
"RecipientPrecededByPidTagFXDelProp"}, new object[] {
false,
false}),
false,
false,
false,
false})})})})}),
false}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractState>(new string[] {
"AbstractICSStateIndex",
"IdSetGiven",
"IsNewCnsetReadPropertyChangeNumber",
"IsNewCnsetSeenFAIPropertyChangeNumber",
"IsNewCnsetSeenPropertyChangeNumber"}, new object[] {
0,
((Microsoft.Modeling.Set<int>)(null)),
false,
false,
false}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageContent>(new string[] {
"IsNoPermissionMessageNotOut",
"AbsMessageChildren",
"StringPropertiesInUnicode",
"StringPropertiesInUnicodeCodePage",
"StringPropertiesInOtherCodePage",
"IsRTFFormat"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChildren>(new string[] {
"AttachmentPrecededByPidTagFXDelProp",
"RecipientPrecededByPidTagFXDelProp"}, new object[] {
false,
false}),
false,
false,
false,
false}),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageList>(new string[] {
"IsPidTagEcWarningOut",
"AbsMessage"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbsMessage>(new string[] {
"AbsMessageContent"}, new object[] {
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageContent>(new string[] {
"IsNoPermissionMessageNotOut",
"AbsMessageChildren",
"StringPropertiesInUnicode",
"StringPropertiesInUnicodeCodePage",
"StringPropertiesInOtherCodePage",
"IsRTFFormat"}, new object[] {
false,
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChildren>(new string[] {
"AttachmentPrecededByPidTagFXDelProp",
"RecipientPrecededByPidTagFXDelProp"}, new object[] {
false,
false}),
false,
false,
false,
false})})}),
false}), temp164, "abstractFastTransferStream of FastTransferSourceGetBuffer, state S171");
TestManagerHelpers.AssertAreEqual<bool>(this.Manager, false, temp165, "transferDataSmallOrEqualToBufferSize of FastTransferSourceGetBuffer, state S171");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp166, "return of FastTransferSourceGetBuffer, state S171");
this.Manager.Comment("reaching state \'S179\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp167;
this.Manager.Comment("executing step \'call SetLocalReplicaMidsetDeleted(1,3,[0])\'");
temp167 = this.IMS_OXCFXICSAdapterInstance.SetLocalReplicaMidsetDeleted(1, 3, this.Make<Microsoft.Modeling.Sequence<int>>(new string[] {
"Rep"}, new object[] {
this.Make<Microsoft.Xrt.Runtime.RuntimeList<int>>(new string[] {
"Head",
"Tail"}, new object[] {
0,
((Microsoft.Xrt.Runtime.RuntimeList<int>)(null))})}));
this.Manager.Checkpoint("MS-OXCFXICS_R2269");
this.Manager.Checkpoint("MS-OXCFXICS_R940");
this.Manager.Comment("reaching state \'S187\'");
this.Manager.Comment("checking step \'return SetLocalReplicaMidsetDeleted/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp167, "return of SetLocalReplicaMidsetDeleted, state S187");
this.Manager.Comment("reaching state \'S195\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp168;
this.Manager.Comment("executing step \'call Release(1,4)\'");
temp168 = this.IMS_OXCFXICSAdapterInstance.Release(1, 4);
this.Manager.Comment("reaching state \'S203\'");
this.Manager.Comment("checking step \'return Release/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp168, "return of Release, state S203");
this.Manager.Comment("reaching state \'S211\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp169;
this.Manager.Comment("executing step \'call Release(1,6)\'");
temp169 = this.IMS_OXCFXICSAdapterInstance.Release(1, 6);
this.Manager.Comment("reaching state \'S219\'");
this.Manager.Comment("checking step \'return Release/Success\'");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp169, "return of Release, state S219");
this.Manager.Comment("reaching state \'S227\'");
goto label6;
}
throw new InvalidOperationException("never reached");
label6:
;
goto label7;
}
if ((temp171 == 1)) {
this.Manager.Comment("reaching state \'S15\'");
goto label7;
}
throw new InvalidOperationException("never reached");
label7:
;
this.Manager.EndTest();
}
