public void MSOXCFXICS_S07_SyncICSStateDownload_TestSuite2() {
this.Manager.BeginTest("MSOXCFXICS_S07_SyncICSStateDownload_TestSuite2");
this.Manager.Comment("reaching state \'S4\'");
bool temp134;
this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
this.IMS_OXCFXICSAdapterInstance.CheckMAPIHTTPTransportSupported(out temp134);
this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp134);
this.Manager.Comment("reaching state \'S5\'");
int temp200 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S07_SyncICSStateDownload_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCFXICS_S07_SyncICSStateDownload_TestSuite2CheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S07_SyncICSStateDownload_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCFXICS_S07_SyncICSStateDownload_TestSuite2CheckMAPIHTTPTransportSupportedChecker1)));
if ((temp200 == 0)) {
this.Manager.Comment("reaching state \'S12\'");
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 \'S18\'");
this.Manager.Comment("checking step \'return Connect\'");
this.Manager.Comment("reaching state \'S22\'");
int temp135;
int temp136;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp137;
this.Manager.Comment("executing step \'call Logon(1,Private,out _,out _)\'");
temp137 = this.IMS_OXCFXICSAdapterInstance.Logon(1, ((Microsoft.Protocols.TestSuites.Common.LogonFlags)(1)), out temp135, out temp136);
this.Manager.Comment("reaching state \'S26\'");
this.Manager.Comment("checking step \'return Logon/[out 1,out 1]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 1, temp135, "logonHandleIndex of Logon, state S26");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 1, temp136, "inboxFolderIdIndex of Logon, state S26");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp137, "return of Logon, state S26");
this.Manager.Comment("reaching state \'S30\'");
int temp138;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp139;
this.Manager.Comment("executing step \'call OpenFolder(1,1,1,out _)\'");
temp139 = this.IMS_OXCFXICSAdapterInstance.OpenFolder(1, 1, 1, out temp138);
this.Manager.Comment("reaching state \'S34\'");
this.Manager.Comment("checking step \'return OpenFolder/[out 2]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 2, temp138, "folderHandleIndex of OpenFolder, state S34");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp139, "return of OpenFolder, state S34");
this.Manager.Comment("reaching state \'S38\'");
int temp140;
int temp141;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp142;
this.Manager.Comment("executing step \'call CreateFolder(1,2,\"test\",out _,out _)\'");
temp142 = this.IMS_OXCFXICSAdapterInstance.CreateFolder(1, 2, "test", out temp140, out temp141);
this.Manager.Checkpoint("MS-OXCFXICS_R1890");
this.Manager.Comment("reaching state \'S42\'");
this.Manager.Comment("checking step \'return CreateFolder/[out 2,out 3]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 2, temp140, "folderIdIndex of CreateFolder, state S42");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 3, temp141, "folderHandleIndex of CreateFolder, state S42");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp142, "return of CreateFolder, state S42");
this.Manager.Comment("reaching state \'S46\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp143;
this.Manager.Comment("executing step \'call GetLocalReplicaIds(1,1,3)\'");
temp143 = this.IMS_OXCFXICSAdapterInstance.GetLocalReplicaIds(1, 1, 3u);
this.Manager.Checkpoint("MS-OXCFXICS_R925");
this.Manager.Comment("reaching state \'S50\'");
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)), temp143, "return of GetLocalReplicaIds, state S50");
this.Manager.Comment("reaching state \'S54\'");
int temp144;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp145;
this.Manager.Comment("executing step \'call SynchronizationOpenCollector(1,3,Contents,out _)\'");
temp145 = this.IMS_OXCFXICSAdapterInstance.SynchronizationOpenCollector(1, 3, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.SynchronizationTypes)(1)), out temp144);
this.Manager.Checkpoint("MS-OXCFXICS_R778");
this.Manager.Checkpoint("MS-OXCFXICS_R769");
this.Manager.Comment("reaching state \'S58\'");
this.Manager.Comment("checking step \'return SynchronizationOpenCollector/[out 4]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 4, temp144, "synchronizationHandleIndex of SynchronizationOpenCollector, state S58");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp145, "return of SynchronizationOpenCollector, state S58");
this.Manager.Comment("reaching state \'S62\'");
int temp146;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp147;
this.Manager.Comment("executing step \'call SynchronizationImportMessageChange(1,4,0,Normal,out _)\'");
temp147 = this.IMS_OXCFXICSAdapterInstance.SynchronizationImportMessageChange(1, 4, 0, ((Microsoft.Protocols.TestSuites.Common.ImportFlag)(0)), out temp146);
this.Manager.Checkpoint("MS-OXCFXICS_R814");
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 \'S66\'");
this.Manager.Comment("checking step \'return SynchronizationImportMessageChange/[out 5]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 5, temp146, "importMessageHandleIndex of SynchronizationImportMessageChange, state S66");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp147, "return of SynchronizationImportMessageChange, state S66");
this.Manager.Comment("reaching state \'S70\'");
int temp148;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp149;
this.Manager.Comment("executing step \'call SaveChangesMessage(1,5,out _)\'");
temp149 = this.IMS_OXCFXICSAdapterInstance.SaveChangesMessage(1, 5, out temp148);
this.Manager.Checkpoint("MS-OXCFXICS_R1910");
this.Manager.Checkpoint("MS-OXCFXICS_R1906");
this.Manager.Checkpoint("MS-OXCFXICS_R1898");
this.Manager.Comment("reaching state \'S74\'");
this.Manager.Comment("checking step \'return SaveChangesMessage/[out 3]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 3, temp148, "messageIdIndex of SaveChangesMessage, state S74");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp149, "return of SaveChangesMessage, state S74");
this.Manager.Comment("reaching state \'S78\'");
int temp150;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp151;
this.Manager.Comment("executing step \'call SynchronizationConfigure(1,3,Contents,Unicode,Unicode|Normal" +
",CN,[\"PidTagCreationTime\"],out _)\'");
temp151 = this.IMS_OXCFXICSAdapterInstance.SynchronizationConfigure(1, 3, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.SynchronizationTypes)(1)), ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.SendOptionAlls)(1)), ((Microsoft.Protocols.TestSuites.Common.SynchronizationFlag)(33)), Microsoft.Protocols.TestSuites.Common.SynchronizationExtraFlag.CN, 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 temp150);
this.Manager.Checkpoint("MS-OXCFXICS_R669");
this.Manager.Checkpoint("MS-OXCFXICS_R641");
this.Manager.Comment("reaching state \'S82\'");
this.Manager.Comment("checking step \'return SynchronizationConfigure/[out 6]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 6, temp150, "downloadcontextHandleIndex of SynchronizationConfigure, state S82");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp151, "return of SynchronizationConfigure, state S82");
this.Manager.Comment("reaching state \'S86\'");
bool temp152;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(2657,out _)\'");
this.IMS_OXCFXICSAdapterInstance.CheckRequirementEnabled(2657, out temp152);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp152);
this.Manager.Comment("reaching state \'S90\'");
int temp199 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S07_SyncICSStateDownload_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCFXICS_S07_SyncICSStateDownload_TestSuite2CheckRequirementEnabledChecker)), new ExpectedReturn(S07_SyncICSStateDownload_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCFXICS_S07_SyncICSStateDownload_TestSuite2CheckRequirementEnabledChecker1)));
if ((temp199 == 0)) {
this.Manager.Comment("reaching state \'S96\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp153;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagIdsetGiven,True,0)\'");
temp153 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties)(0)), true, 0);
this.Manager.Comment("reaching state \'S104\'");
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, temp153, "return of SynchronizationUploadState, state S104");
this.Manager.Comment("reaching state \'S112\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp154;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagCnsetSeen,False,0)\'");
temp154 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties)(1)), false, 0);
this.Manager.Comment("reaching state \'S120\'");
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)), temp154, "return of SynchronizationUploadState, state S120");
this.Manager.Comment("reaching state \'S128\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp155;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagCnsetRead,False,0)\'");
temp155 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties.PidTagCnsetRead, false, 0);
this.Manager.Comment("reaching state \'S136\'");
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)), temp155, "return of SynchronizationUploadState, state S136");
this.Manager.Comment("reaching state \'S144\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp156;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagCnsetSeenFAI,False,0)\'");
temp156 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties.PidTagCnsetSeenFAI, false, 0);
this.Manager.Comment("reaching state \'S152\'");
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)), temp156, "return of SynchronizationUploadState, state S152");
this.Manager.Comment("reaching state \'S160\'");
int temp157;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFastTransferStream temp158;
bool temp159;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp160;
this.Manager.Comment("executing step \'call FastTransferSourceGetBuffer(1,6,Normal,out _,out _,out _)\'");
temp160 = this.IMS_OXCFXICSAdapterInstance.FastTransferSourceGetBuffer(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.BufferSize.Normal, out temp157, out temp158, out temp159);
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_R1136");
this.Manager.Checkpoint("MS-OXCFXICS_R2196");
this.Manager.Checkpoint("MS-OXCFXICS_R716002");
this.Manager.Checkpoint("MS-OXCFXICS_R718001");
this.Manager.Checkpoint("MS-OXCFXICS_R1172");
this.Manager.Checkpoint("MS-OXCFXICS_R2174");
this.Manager.Checkpoint("MS-OXCFXICS_R2043");
this.Manager.Checkpoint("MS-OXCFXICS_R2246");
this.Manager.Checkpoint("MS-OXCFXICS_R1907");
this.Manager.Checkpoint("MS-OXCFXICS_R532");
this.Manager.Comment("reaching state \'S168\'");
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=False,IsPidTagMessageSizeExist=" +
"False,IsPidTagChangeNumberExist=True,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=Fal" +
"se,IsNewCnsetSeenPropertyChangeNumber=True),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, temp157, "transferBufferIndex of FastTransferSourceGetBuffer, state S168");
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,
false,
false,
true,
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,
false,
true}),
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}), temp158, "abstractFastTransferStream of FastTransferSourceGetBuffer, state S168");
TestManagerHelpers.AssertAreEqual<bool>(this.Manager, false, temp159, "transferDataSmallOrEqualToBufferSize of FastTransferSourceGetBuffer, state S168");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp160, "return of FastTransferSourceGetBuffer, state S168");
this.Manager.Comment("reaching state \'S176\'");
int temp161;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp162;
this.Manager.Comment("executing step \'call SynchronizationConfigure(1,3,Contents,Unicode,Unicode|Normal" +
",Eid,[\"PidTagCreationTime\"],out _)\'");
temp162 = this.IMS_OXCFXICSAdapterInstance.SynchronizationConfigure(1, 3, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.SynchronizationTypes)(1)), ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.SendOptionAlls)(1)), ((Microsoft.Protocols.TestSuites.Common.SynchronizationFlag)(33)), ((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 temp161);
this.Manager.Checkpoint("MS-OXCFXICS_R669");
this.Manager.Checkpoint("MS-OXCFXICS_R641");
this.Manager.Comment("reaching state \'S184\'");
this.Manager.Comment("checking step \'return SynchronizationConfigure/[out 7]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 7, temp161, "downloadcontextHandleIndex of SynchronizationConfigure, state S184");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp162, "return of SynchronizationConfigure, state S184");
this.Manager.Comment("reaching state \'S192\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp163;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,7,PidTagIdsetGiven,True,1)\'");
temp163 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 7, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties)(0)), true, 1);
this.Manager.Comment("reaching state \'S200\'");
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, temp163, "return of SynchronizationUploadState, state S200");
this.Manager.Comment("reaching state \'S208\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp164;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,7,PidTagCnsetSeen,False,1)\'");
temp164 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 7, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties)(1)), false, 1);
this.Manager.Comment("reaching state \'S216\'");
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)), temp164, "return of SynchronizationUploadState, state S216");
this.Manager.Comment("reaching state \'S224\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp165;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,7,PidTagCnsetRead,False,1)\'");
temp165 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 7, Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties.PidTagCnsetRead, false, 1);
this.Manager.Comment("reaching state \'S232\'");
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)), temp165, "return of SynchronizationUploadState, state S232");
this.Manager.Comment("reaching state \'S240\'");
int temp166;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp167;
this.Manager.Comment("executing step \'call SynchronizationGetTransferState(1,7,out _)\'");
temp167 = this.IMS_OXCFXICSAdapterInstance.SynchronizationGetTransferState(1, 7, out temp166);
this.Manager.Checkpoint("MS-OXCFXICS_R765");
this.Manager.Checkpoint("MS-OXCFXICS_R758");
this.Manager.Comment("reaching state \'S248\'");
this.Manager.Comment("checking step \'return SynchronizationGetTransferState/[out 8]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 8, temp166, "stateHandleIndex of SynchronizationGetTransferState, state S248");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp167, "return of SynchronizationGetTransferState, state S248");
this.Manager.Comment("reaching state \'S256\'");
int temp168;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFastTransferStream temp169;
bool temp170;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp171;
this.Manager.Comment("executing step \'call FastTransferSourceGetBuffer(1,8,Normal,out _,out _,out _)\'");
temp171 = this.IMS_OXCFXICSAdapterInstance.FastTransferSourceGetBuffer(1, 8, Microsoft.Protocols.TestSuites.MS_OXCFXICS.BufferSize.Normal, out temp168, out temp169, out temp170);
this.Manager.Checkpoint("MS-OXCFXICS_R3323");
this.Manager.Checkpoint("MS-OXCFXICS_R532");
this.Manager.Comment("reaching state \'S264\'");
this.Manager.Comment("checking step \'return FastTransferSourceGetBuffer/[out 2,out AbstractFastTransfer" +
"Stream(StreamType=state,AbstractHierarchySync=AbstractHierarchySync(Folderchange" +
"Info=AbstractFolderChange(IsPidTagFolderIdExist=False,IsPidTagParentFolderIdExis" +
"t=False,IsPidTagSourceKeyValueZero=False,IsPidTagParentSourceKeyValueZero=False)" +
",FolderCount=0,FinalICSState=AbstractState(AbstractICSStateIndex=0,IdSetGiven=nu" +
"ll,IsNewCnsetReadPropertyChangeNumber=False,IsNewCnsetSeenFAIPropertyChangeNumbe" +
"r=False,IsNewCnsetSeenPropertyChangeNumber=False),IsParentFolderBeforeChild=Fals" +
"e,AbstractDeletion=AbstractDeletion(IsDeletionPresent=False,IdSetDeleted=null,Is" +
"PidTagIdsetNoLongerInScopeExist=False,IsPidTagIdsetExpiredExist=False)),Abstract" +
"ContentsSync=AbstractContentsSync(IsprogessTotalPresent=False,MessageInfo=null,A" +
"bstractDeletion=AbstractDeletion(IsDeletionPresent=False,IdSetDeleted=null,IsPid" +
"TagIdsetNoLongerInScopeExist=False,IsPidTagIdsetExpiredExist=False),IsReadStateC" +
"hangesExist=False,FinalICSState=AbstractState(AbstractICSStateIndex=0,IdSetGiven" +
"=null,IsNewCnsetReadPropertyChangeNumber=False,IsNewCnsetSeenFAIPropertyChangeNu" +
"mber=False,IsNewCnsetSeenPropertyChangeNumber=False),IsSortByMessageDeliveryTime" +
"=False,IsSortByLastModificationTime=False),AbstractFolderContent=AbstractFolderC" +
"ontent(IsPidTagEcWarningOut=False,IsNoPermissionObjNotOut=False,IsPidTagNewFXFol" +
"derOut=False,IsFolderContentNotOut=False,IsFolderPropertiesNotOut=False,IsSubFol" +
"derPrecededByPidTagFXDelProp=False,AbsFolderMessage=AbstractFolderMessage(IsFold" +
"erMessagesPrecededByPidTagFXDelProp=False,MessageList=AbstractMessageList(IsPidT" +
"agEcWarningOut=False,AbsMessage=AbsMessage(AbsMessageContent=AbstractMessageCont" +
"ent(IsNoPermissionMessageNotOut=False,AbsMessageChildren=AbstractMessageChildren" +
"(AttachmentPrecededByPidTagFXDelProp=False,RecipientPrecededByPidTagFXDelProp=Fa" +
"lse),StringPropertiesInUnicode=False,StringPropertiesInUnicodeCodePage=False,Str" +
"ingPropertiesInOtherCodePage=False,IsRTFFormat=False))))),AbstractTopFolder=Abst" +
"ractTopFolder(AbsFolderContent=AbstractFolderContent(IsPidTagEcWarningOut=False," +
"IsNoPermissionObjNotOut=False,IsPidTagNewFXFolderOut=False,IsFolderContentNotOut" +
"=False,IsFolderPropertiesNotOut=False,IsSubFolderPrecededByPidTagFXDelProp=False" +
",AbsFolderMessage=AbstractFolderMessage(IsFolderMessagesPrecededByPidTagFXDelPro" +
"p=False,MessageList=AbstractMessageList(IsPidTagEcWarningOut=False,AbsMessage=Ab" +
"sMessage(AbsMessageContent=AbstractMessageContent(IsNoPermissionMessageNotOut=Fa" +
"lse,AbsMessageChildren=AbstractMessageChildren(AttachmentPrecededByPidTagFXDelPr" +
"op=False,RecipientPrecededByPidTagFXDelProp=False),StringPropertiesInUnicode=Fal" +
"se,StringPropertiesInUnicodeCodePage=False,StringPropertiesInOtherCodePage=False" +
",IsRTFFormat=False))))),SubFolderInScope=False),AbstractState=AbstractState(Abst" +
"ractICSStateIndex=2,IdSetGiven={3},IsNewCnsetReadPropertyChangeNumber=False,IsNe" +
"wCnsetSeenFAIPropertyChangeNumber=False,IsNewCnsetSeenPropertyChangeNumber=False" +
"),AbstractMessageContent=AbstractMessageContent(IsNoPermissionMessageNotOut=Fals" +
"e,AbsMessageChildren=AbstractMessageChildren(AttachmentPrecededByPidTagFXDelProp" +
"=False,RecipientPrecededByPidTagFXDelProp=False),StringPropertiesInUnicode=False" +
",StringPropertiesInUnicodeCodePage=False,StringPropertiesInOtherCodePage=False,I" +
"sRTFFormat=False),AbstractMessageList=AbstractMessageList(IsPidTagEcWarningOut=F" +
"alse,AbsMessage=AbsMessage(AbsMessageContent=AbstractMessageContent(IsNoPermissi" +
"onMessageNotOut=False,AbsMessageChildren=AbstractMessageChildren(AttachmentPrece" +
"dedByPidTagFXDelProp=False,RecipientPrecededByPidTagFXDelProp=False),StringPrope" +
"rtiesInUnicode=False,StringPropertiesInUnicodeCodePage=False,StringPropertiesInO" +
"therCodePage=False,IsRTFFormat=False))),IsSameReadstateChangeNumber=False),out F" +
"alse]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 2, temp168, "transferBufferIndex of FastTransferSourceGetBuffer, state S264");
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.state,
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,
((Microsoft.Modeling.Set<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChangeInfo>)(null)),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractDeletion>(new string[] {
"IsDeletionPresent",
"IdSetDeleted",
"IsPidTagIdsetNoLongerInScopeExist",
"IsPidTagIdsetExpiredExist"}, new object[] {
false,
((Microsoft.Modeling.Set<int>)(null)),
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}),
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[] {
2,
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,
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}), temp169, "abstractFastTransferStream of FastTransferSourceGetBuffer, state S264");
TestManagerHelpers.AssertAreEqual<bool>(this.Manager, false, temp170, "transferDataSmallOrEqualToBufferSize of FastTransferSourceGetBuffer, state S264");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp171, "return of FastTransferSourceGetBuffer, state S264");
this.Manager.Comment("reaching state \'S272\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp172;
this.Manager.Comment("executing step \'call Release(1,8)\'");
temp172 = this.IMS_OXCFXICSAdapterInstance.Release(1, 8);
this.Manager.Comment("reaching state \'S280\'");
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)), temp172, "return of Release, state S280");
this.Manager.Comment("reaching state \'S288\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp173;
this.Manager.Comment("executing step \'call Release(1,7)\'");
temp173 = this.IMS_OXCFXICSAdapterInstance.Release(1, 7);
this.Manager.Comment("reaching state \'S296\'");
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)), temp173, "return of Release, state S296");
this.Manager.Comment("reaching state \'S304\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp174;
this.Manager.Comment("executing step \'call Release(1,6)\'");
temp174 = this.IMS_OXCFXICSAdapterInstance.Release(1, 6);
this.Manager.Comment("reaching state \'S312\'");
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)), temp174, "return of Release, state S312");
this.Manager.Comment("reaching state \'S320\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp175;
this.Manager.Comment("executing step \'call Release(1,4)\'");
temp175 = this.IMS_OXCFXICSAdapterInstance.Release(1, 4);
this.Manager.Comment("reaching state \'S328\'");
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)), temp175, "return of Release, state S328");
this.Manager.Comment("reaching state \'S336\'");
goto label4;
}
if ((temp199 == 1)) {
this.Manager.Comment("reaching state \'S97\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp176;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagIdsetGiven,True,0)\'");
temp176 = 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 \'S105\'");
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)), temp176, "return of SynchronizationUploadState, state S105");
this.Manager.Comment("reaching state \'S113\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp177;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagCnsetSeen,False,0)\'");
temp177 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties)(1)), false, 0);
this.Manager.Comment("reaching state \'S121\'");
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)), temp177, "return of SynchronizationUploadState, state S121");
this.Manager.Comment("reaching state \'S129\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp178;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagCnsetRead,False,0)\'");
temp178 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties.PidTagCnsetRead, false, 0);
this.Manager.Comment("reaching state \'S137\'");
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)), temp178, "return of SynchronizationUploadState, state S137");
this.Manager.Comment("reaching state \'S145\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp179;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,6,PidTagCnsetSeenFAI,False,0)\'");
temp179 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties.PidTagCnsetSeenFAI, false, 0);
this.Manager.Comment("reaching state \'S153\'");
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)), temp179, "return of SynchronizationUploadState, state S153");
this.Manager.Comment("reaching state \'S161\'");
int temp180;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFastTransferStream temp181;
bool temp182;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp183;
this.Manager.Comment("executing step \'call FastTransferSourceGetBuffer(1,6,Normal,out _,out _,out _)\'");
temp183 = this.IMS_OXCFXICSAdapterInstance.FastTransferSourceGetBuffer(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.BufferSize.Normal, out temp180, out temp181, out temp182);
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_R1136");
this.Manager.Checkpoint("MS-OXCFXICS_R2196");
this.Manager.Checkpoint("MS-OXCFXICS_R716002");
this.Manager.Checkpoint("MS-OXCFXICS_R718001");
this.Manager.Checkpoint("MS-OXCFXICS_R1172");
this.Manager.Checkpoint("MS-OXCFXICS_R2174");
this.Manager.Checkpoint("MS-OXCFXICS_R2043");
this.Manager.Checkpoint("MS-OXCFXICS_R2246");
this.Manager.Checkpoint("MS-OXCFXICS_R1907");
this.Manager.Checkpoint("MS-OXCFXICS_R532");
this.Manager.Comment("reaching state \'S169\'");
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=False,IsPidTagMessageSizeExist=" +
"False,IsPidTagChangeNumberExist=True,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=Fal" +
"se,IsNewCnsetSeenPropertyChangeNumber=True),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, temp180, "transferBufferIndex of FastTransferSourceGetBuffer, state S169");
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,
false,
false,
true,
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,
false,
true}),
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}), temp181, "abstractFastTransferStream of FastTransferSourceGetBuffer, state S169");
TestManagerHelpers.AssertAreEqual<bool>(this.Manager, false, temp182, "transferDataSmallOrEqualToBufferSize of FastTransferSourceGetBuffer, state S169");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp183, "return of FastTransferSourceGetBuffer, state S169");
this.Manager.Comment("reaching state \'S177\'");
int temp184;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp185;
this.Manager.Comment("executing step \'call SynchronizationConfigure(1,3,Contents,Unicode,Unicode|Normal" +
",Eid,[\"PidTagCreationTime\"],out _)\'");
temp185 = this.IMS_OXCFXICSAdapterInstance.SynchronizationConfigure(1, 3, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.SynchronizationTypes)(1)), ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.SendOptionAlls)(1)), ((Microsoft.Protocols.TestSuites.Common.SynchronizationFlag)(33)), ((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 temp184);
this.Manager.Checkpoint("MS-OXCFXICS_R669");
this.Manager.Checkpoint("MS-OXCFXICS_R641");
this.Manager.Comment("reaching state \'S185\'");
this.Manager.Comment("checking step \'return SynchronizationConfigure/[out 7]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 7, temp184, "downloadcontextHandleIndex of SynchronizationConfigure, state S185");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp185, "return of SynchronizationConfigure, state S185");
this.Manager.Comment("reaching state \'S193\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp186;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,7,PidTagIdsetGiven,True,1)\'");
temp186 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 7, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties)(0)), true, 1);
this.Manager.Checkpoint("MS-OXCFXICS_R2657");
this.Manager.Comment("reaching state \'S201\'");
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)), temp186, "return of SynchronizationUploadState, state S201");
this.Manager.Comment("reaching state \'S209\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp187;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,7,PidTagCnsetSeen,False,1)\'");
temp187 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 7, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties)(1)), false, 1);
this.Manager.Comment("reaching state \'S217\'");
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)), temp187, "return of SynchronizationUploadState, state S217");
this.Manager.Comment("reaching state \'S225\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp188;
this.Manager.Comment("executing step \'call SynchronizationUploadState(1,7,PidTagCnsetRead,False,1)\'");
temp188 = this.IMS_OXCFXICSAdapterInstance.SynchronizationUploadState(1, 7, Microsoft.Protocols.TestSuites.MS_OXCFXICS.ICSStateProperties.PidTagCnsetRead, false, 1);
this.Manager.Comment("reaching state \'S233\'");
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)), temp188, "return of SynchronizationUploadState, state S233");
this.Manager.Comment("reaching state \'S241\'");
int temp189;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp190;
this.Manager.Comment("executing step \'call SynchronizationGetTransferState(1,7,out _)\'");
temp190 = this.IMS_OXCFXICSAdapterInstance.SynchronizationGetTransferState(1, 7, out temp189);
this.Manager.Checkpoint("MS-OXCFXICS_R765");
this.Manager.Checkpoint("MS-OXCFXICS_R758");
this.Manager.Comment("reaching state \'S249\'");
this.Manager.Comment("checking step \'return SynchronizationGetTransferState/[out 8]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 8, temp189, "stateHandleIndex of SynchronizationGetTransferState, state S249");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp190, "return of SynchronizationGetTransferState, state S249");
this.Manager.Comment("reaching state \'S257\'");
int temp191;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFastTransferStream temp192;
bool temp193;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp194;
this.Manager.Comment("executing step \'call FastTransferSourceGetBuffer(1,8,Normal,out _,out _,out _)\'");
temp194 = this.IMS_OXCFXICSAdapterInstance.FastTransferSourceGetBuffer(1, 8, Microsoft.Protocols.TestSuites.MS_OXCFXICS.BufferSize.Normal, out temp191, out temp192, out temp193);
this.Manager.Checkpoint("MS-OXCFXICS_R3323");
this.Manager.Checkpoint("MS-OXCFXICS_R532");
this.Manager.Comment("reaching state \'S265\'");
this.Manager.Comment("checking step \'return FastTransferSourceGetBuffer/[out 2,out AbstractFastTransfer" +
"Stream(StreamType=state,AbstractHierarchySync=AbstractHierarchySync(Folderchange" +
"Info=AbstractFolderChange(IsPidTagFolderIdExist=False,IsPidTagParentFolderIdExis" +
"t=False,IsPidTagSourceKeyValueZero=False,IsPidTagParentSourceKeyValueZero=False)" +
",FolderCount=0,FinalICSState=AbstractState(AbstractICSStateIndex=0,IdSetGiven=nu" +
"ll,IsNewCnsetReadPropertyChangeNumber=False,IsNewCnsetSeenFAIPropertyChangeNumbe" +
"r=False,IsNewCnsetSeenPropertyChangeNumber=False),IsParentFolderBeforeChild=Fals" +
"e,AbstractDeletion=AbstractDeletion(IsDeletionPresent=False,IdSetDeleted=null,Is" +
"PidTagIdsetNoLongerInScopeExist=False,IsPidTagIdsetExpiredExist=False)),Abstract" +
"ContentsSync=AbstractContentsSync(IsprogessTotalPresent=False,MessageInfo=null,A" +
"bstractDeletion=AbstractDeletion(IsDeletionPresent=False,IdSetDeleted=null,IsPid" +
"TagIdsetNoLongerInScopeExist=False,IsPidTagIdsetExpiredExist=False),IsReadStateC" +
"hangesExist=False,FinalICSState=AbstractState(AbstractICSStateIndex=0,IdSetGiven" +
"=null,IsNewCnsetReadPropertyChangeNumber=False,IsNewCnsetSeenFAIPropertyChangeNu" +
"mber=False,IsNewCnsetSeenPropertyChangeNumber=False),IsSortByMessageDeliveryTime" +
"=False,IsSortByLastModificationTime=False),AbstractFolderContent=AbstractFolderC" +
"ontent(IsPidTagEcWarningOut=False,IsNoPermissionObjNotOut=False,IsPidTagNewFXFol" +
"derOut=False,IsFolderContentNotOut=False,IsFolderPropertiesNotOut=False,IsSubFol" +
"derPrecededByPidTagFXDelProp=False,AbsFolderMessage=AbstractFolderMessage(IsFold" +
"erMessagesPrecededByPidTagFXDelProp=False,MessageList=AbstractMessageList(IsPidT" +
"agEcWarningOut=False,AbsMessage=AbsMessage(AbsMessageContent=AbstractMessageCont" +
"ent(IsNoPermissionMessageNotOut=False,AbsMessageChildren=AbstractMessageChildren" +
"(AttachmentPrecededByPidTagFXDelProp=False,RecipientPrecededByPidTagFXDelProp=Fa" +
"lse),StringPropertiesInUnicode=False,StringPropertiesInUnicodeCodePage=False,Str" +
"ingPropertiesInOtherCodePage=False,IsRTFFormat=False))))),AbstractTopFolder=Abst" +
"ractTopFolder(AbsFolderContent=AbstractFolderContent(IsPidTagEcWarningOut=False," +
"IsNoPermissionObjNotOut=False,IsPidTagNewFXFolderOut=False,IsFolderContentNotOut" +
"=False,IsFolderPropertiesNotOut=False,IsSubFolderPrecededByPidTagFXDelProp=False" +
",AbsFolderMessage=AbstractFolderMessage(IsFolderMessagesPrecededByPidTagFXDelPro" +
"p=False,MessageList=AbstractMessageList(IsPidTagEcWarningOut=False,AbsMessage=Ab" +
"sMessage(AbsMessageContent=AbstractMessageContent(IsNoPermissionMessageNotOut=Fa" +
"lse,AbsMessageChildren=AbstractMessageChildren(AttachmentPrecededByPidTagFXDelPr" +
"op=False,RecipientPrecededByPidTagFXDelProp=False),StringPropertiesInUnicode=Fal" +
"se,StringPropertiesInUnicodeCodePage=False,StringPropertiesInOtherCodePage=False" +
",IsRTFFormat=False))))),SubFolderInScope=False),AbstractState=AbstractState(Abst" +
"ractICSStateIndex=2,IdSetGiven={3},IsNewCnsetReadPropertyChangeNumber=False,IsNe" +
"wCnsetSeenFAIPropertyChangeNumber=False,IsNewCnsetSeenPropertyChangeNumber=False" +
"),AbstractMessageContent=AbstractMessageContent(IsNoPermissionMessageNotOut=Fals" +
"e,AbsMessageChildren=AbstractMessageChildren(AttachmentPrecededByPidTagFXDelProp" +
"=False,RecipientPrecededByPidTagFXDelProp=False),StringPropertiesInUnicode=False" +
",StringPropertiesInUnicodeCodePage=False,StringPropertiesInOtherCodePage=False,I" +
"sRTFFormat=False),AbstractMessageList=AbstractMessageList(IsPidTagEcWarningOut=F" +
"alse,AbsMessage=AbsMessage(AbsMessageContent=AbstractMessageContent(IsNoPermissi" +
"onMessageNotOut=False,AbsMessageChildren=AbstractMessageChildren(AttachmentPrece" +
"dedByPidTagFXDelProp=False,RecipientPrecededByPidTagFXDelProp=False),StringPrope" +
"rtiesInUnicode=False,StringPropertiesInUnicodeCodePage=False,StringPropertiesInO" +
"therCodePage=False,IsRTFFormat=False))),IsSameReadstateChangeNumber=False),out F" +
"alse]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 2, temp191, "transferBufferIndex of FastTransferSourceGetBuffer, state S265");
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.state,
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,
((Microsoft.Modeling.Set<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractMessageChangeInfo>)(null)),
this.Make<Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractDeletion>(new string[] {
"IsDeletionPresent",
"IdSetDeleted",
"IsPidTagIdsetNoLongerInScopeExist",
"IsPidTagIdsetExpiredExist"}, new object[] {
false,
((Microsoft.Modeling.Set<int>)(null)),
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}),
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[] {
2,
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,
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}), temp192, "abstractFastTransferStream of FastTransferSourceGetBuffer, state S265");
TestManagerHelpers.AssertAreEqual<bool>(this.Manager, false, temp193, "transferDataSmallOrEqualToBufferSize of FastTransferSourceGetBuffer, state S265");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp194, "return of FastTransferSourceGetBuffer, state S265");
this.Manager.Comment("reaching state \'S273\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp195;
this.Manager.Comment("executing step \'call Release(1,8)\'");
temp195 = this.IMS_OXCFXICSAdapterInstance.Release(1, 8);
this.Manager.Comment("reaching state \'S281\'");
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)), temp195, "return of Release, state S281");
this.Manager.Comment("reaching state \'S289\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp196;
this.Manager.Comment("executing step \'call Release(1,7)\'");
temp196 = this.IMS_OXCFXICSAdapterInstance.Release(1, 7);
this.Manager.Comment("reaching state \'S297\'");
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)), temp196, "return of Release, state S297");
this.Manager.Comment("reaching state \'S305\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp197;
this.Manager.Comment("executing step \'call Release(1,6)\'");
temp197 = this.IMS_OXCFXICSAdapterInstance.Release(1, 6);
this.Manager.Comment("reaching state \'S313\'");
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)), temp197, "return of Release, state S313");
this.Manager.Comment("reaching state \'S321\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp198;
this.Manager.Comment("executing step \'call Release(1,4)\'");
temp198 = this.IMS_OXCFXICSAdapterInstance.Release(1, 4);
this.Manager.Comment("reaching state \'S329\'");
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)), temp198, "return of Release, state S329");
this.Manager.Comment("reaching state \'S337\'");
goto label4;
}
throw new InvalidOperationException("never reached");
label4:
;
goto label5;
}
if ((temp200 == 1)) {
this.Manager.Comment("reaching state \'S13\'");
goto label5;
}
throw new InvalidOperationException("never reached");
label5:
;
this.Manager.EndTest();
}