public void MSOXCFXICS_S01_SyncFastTransferFolder_TestSuite6() {
this.Manager.BeginTest("MSOXCFXICS_S01_SyncFastTransferFolder_TestSuite6");
this.Manager.Comment("reaching state \'S4\'");
bool temp234;
this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
this.IMS_OXCFXICSAdapterInstance.CheckMAPIHTTPTransportSupported(out temp234);
this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp234);
this.Manager.Comment("reaching state \'S5\'");
int temp272 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S01_SyncFastTransferFolder_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCFXICS_S01_SyncFastTransferFolder_TestSuite6CheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S01_SyncFastTransferFolder_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCFXICS_S01_SyncFastTransferFolder_TestSuite6CheckMAPIHTTPTransportSupportedChecker1)));
if ((temp272 == 0)) {
this.Manager.Comment("reaching state \'S22\'");
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 \'S38\'");
this.Manager.Comment("checking step \'return Connect\'");
this.Manager.Comment("reaching state \'S47\'");
int temp235;
int temp236;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp237;
this.Manager.Comment("executing step \'call Logon(1,Private,out _,out _)\'");
temp237 = this.IMS_OXCFXICSAdapterInstance.Logon(1, ((Microsoft.Protocols.TestSuites.Common.LogonFlags)(1)), out temp235, out temp236);
this.Manager.Comment("reaching state \'S56\'");
this.Manager.Comment("checking step \'return Logon/[out 1,out 1]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 1, temp235, "logonHandleIndex of Logon, state S56");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 1, temp236, "inboxFolderIdIndex of Logon, state S56");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp237, "return of Logon, state S56");
this.Manager.Comment("reaching state \'S65\'");
int temp238;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp239;
this.Manager.Comment("executing step \'call OpenFolder(1,1,1,out _)\'");
temp239 = this.IMS_OXCFXICSAdapterInstance.OpenFolder(1, 1, 1, out temp238);
this.Manager.Comment("reaching state \'S74\'");
this.Manager.Comment("checking step \'return OpenFolder/[out 2]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 2, temp238, "folderHandleIndex of OpenFolder, state S74");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp239, "return of OpenFolder, state S74");
this.Manager.Comment("reaching state \'S83\'");
int temp240;
int temp241;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp242;
this.Manager.Comment("executing step \'call CreateFolder(1,2,\"TestFolder\",out _,out _)\'");
temp242 = this.IMS_OXCFXICSAdapterInstance.CreateFolder(1, 2, "TestFolder", out temp240, out temp241);
this.Manager.Checkpoint("MS-OXCFXICS_R1890");
this.Manager.Comment("reaching state \'S92\'");
this.Manager.Comment("checking step \'return CreateFolder/[out 2,out 3]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 2, temp240, "folderIdIndex of CreateFolder, state S92");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 3, temp241, "folderHandleIndex of CreateFolder, state S92");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp242, "return of CreateFolder, state S92");
this.Manager.Comment("reaching state \'S101\'");
int temp243;
int temp244;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp245;
this.Manager.Comment("executing step \'call CreateFolder(1,3,\"SubFolder\",out _,out _)\'");
temp245 = this.IMS_OXCFXICSAdapterInstance.CreateFolder(1, 3, "SubFolder", out temp243, out temp244);
this.Manager.Checkpoint("MS-OXCFXICS_R1890");
this.Manager.Comment("reaching state \'S110\'");
this.Manager.Comment("checking step \'return CreateFolder/[out 3,out 4]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 3, temp243, "folderIdIndex of CreateFolder, state S110");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 4, temp244, "folderHandleIndex of CreateFolder, state S110");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp245, "return of CreateFolder, state S110");
this.Manager.Comment("reaching state \'S119\'");
int temp246;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp247;
this.Manager.Comment("executing step \'call CreateMessage(1,3,2,False,out _)\'");
temp247 = this.IMS_OXCFXICSAdapterInstance.CreateMessage(1, 3, 2, false, out temp246);
this.Manager.Checkpoint("MS-OXCFXICS_R1890001");
this.Manager.Comment("reaching state \'S128\'");
this.Manager.Comment("checking step \'return CreateMessage/[out 5]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 5, temp246, "messageHandleIndex of CreateMessage, state S128");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp247, "return of CreateMessage, state S128");
this.Manager.Comment("reaching state \'S137\'");
int temp248;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp249;
this.Manager.Comment("executing step \'call SaveChangesMessage(1,5,out _)\'");
temp249 = this.IMS_OXCFXICSAdapterInstance.SaveChangesMessage(1, 5, out temp248);
this.Manager.Checkpoint("MS-OXCFXICS_R1910");
this.Manager.Checkpoint("MS-OXCFXICS_R1906");
this.Manager.Checkpoint("MS-OXCFXICS_R1898");
this.Manager.Comment("reaching state \'S146\'");
this.Manager.Comment("checking step \'return SaveChangesMessage/[out 4]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 4, temp248, "messageIdIndex of SaveChangesMessage, state S146");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp249, "return of SaveChangesMessage, state S146");
this.Manager.Comment("reaching state \'S155\'");
bool temp250;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(526001,out _)\'");
this.IMS_OXCFXICSAdapterInstance.CheckRequirementEnabled(526001, out temp250);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp250);
this.Manager.Comment("reaching state \'S164\'");
int temp271 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S01_SyncFastTransferFolder_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCFXICS_S01_SyncFastTransferFolder_TestSuite6CheckRequirementEnabledChecker)), new ExpectedReturn(S01_SyncFastTransferFolder_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCFXICS_S01_SyncFastTransferFolder_TestSuite6CheckRequirementEnabledChecker1)));
if ((temp271 == 0)) {
this.Manager.Comment("reaching state \'S175\'");
int temp251;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp252;
this.Manager.Comment("executing step \'call FastTransferSourceCopyFolder(1,3,CopySubfolders,Unicode|Forc" +
"eUnicode,out _)\'");
temp252 = this.IMS_OXCFXICSAdapterInstance.FastTransferSourceCopyFolder(1, 3, Microsoft.Protocols.TestSuites.MS_OXCFXICS.CopyFolderCopyFlags.CopySubfolders, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.SendOptionAlls)(9)), out temp251);
this.Manager.Checkpoint("MS-OXCFXICS_R502");
this.Manager.Comment("reaching state \'S193\'");
this.Manager.Comment("checking step \'return FastTransferSourceCopyFolder/[out 6]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 6, temp251, "copyFolderHandleIndex of FastTransferSourceCopyFolder, state S193");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp252, "return of FastTransferSourceCopyFolder, state S193");
this.Manager.Comment("reaching state \'S211\'");
int temp253;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFastTransferStream temp254;
bool temp255;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp256;
this.Manager.Comment("executing step \'call FastTransferSourceGetBuffer(1,6,Normal,out _,out _,out _)\'");
temp256 = this.IMS_OXCFXICSAdapterInstance.FastTransferSourceGetBuffer(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.BufferSize.Normal, out temp253, out temp254, out temp255);
this.Manager.Checkpoint("MS-OXCFXICS_R511");
this.Manager.Checkpoint("MS-OXCFXICS_R3331");
this.Manager.Checkpoint("MS-OXCFXICS_R532");
this.Manager.Comment("reaching state \'S229\'");
this.Manager.Comment("checking step \'return FastTransferSourceGetBuffer/[out 1,out AbstractFastTransfer" +
"Stream(StreamType=TopFolder,AbstractHierarchySync=AbstractHierarchySync(Folderch" +
"angeInfo=AbstractFolderChange(IsPidTagFolderIdExist=False,IsPidTagParentFolderId" +
"Exist=False,IsPidTagSourceKeyValueZero=False,IsPidTagParentSourceKeyValueZero=Fa" +
"lse),FolderCount=0,FinalICSState=AbstractState(AbstractICSStateIndex=0,IdSetGive" +
"n=null,IsNewCnsetReadPropertyChangeNumber=False,IsNewCnsetSeenFAIPropertyChangeN" +
"umber=False,IsNewCnsetSeenPropertyChangeNumber=False),IsParentFolderBeforeChild=" +
"False,AbstractDeletion=AbstractDeletion(IsDeletionPresent=False,IdSetDeleted=nul" +
"l,IsPidTagIdsetNoLongerInScopeExist=False,IsPidTagIdsetExpiredExist=False)),Abst" +
"ractContentsSync=AbstractContentsSync(IsprogessTotalPresent=False,MessageInfo=nu" +
"ll,AbstractDeletion=AbstractDeletion(IsDeletionPresent=False,IdSetDeleted=null,I" +
"sPidTagIdsetNoLongerInScopeExist=False,IsPidTagIdsetExpiredExist=False),IsReadSt" +
"ateChangesExist=False,FinalICSState=AbstractState(AbstractICSStateIndex=0,IdSetG" +
"iven=null,IsNewCnsetReadPropertyChangeNumber=False,IsNewCnsetSeenFAIPropertyChan" +
"geNumber=False,IsNewCnsetSeenPropertyChangeNumber=False),IsSortByMessageDelivery" +
"Time=False,IsSortByLastModificationTime=False),AbstractFolderContent=AbstractFol" +
"derContent(IsPidTagEcWarningOut=False,IsNoPermissionObjNotOut=False,IsPidTagNewF" +
"XFolderOut=False,IsFolderContentNotOut=False,IsFolderPropertiesNotOut=False,IsSu" +
"bFolderPrecededByPidTagFXDelProp=False,AbsFolderMessage=AbstractFolderMessage(Is" +
"FolderMessagesPrecededByPidTagFXDelProp=False,MessageList=AbstractMessageList(Is" +
"PidTagEcWarningOut=False,AbsMessage=AbsMessage(AbsMessageContent=AbstractMessage" +
"Content(IsNoPermissionMessageNotOut=False,AbsMessageChildren=AbstractMessageChil" +
"dren(AttachmentPrecededByPidTagFXDelProp=False,RecipientPrecededByPidTagFXDelPro" +
"p=False),StringPropertiesInUnicode=False,StringPropertiesInUnicodeCodePage=False" +
",StringPropertiesInOtherCodePage=False,IsRTFFormat=False))))),AbstractTopFolder=" +
"AbstractTopFolder(AbsFolderContent=AbstractFolderContent(IsPidTagEcWarningOut=Fa" +
"lse,IsNoPermissionObjNotOut=False,IsPidTagNewFXFolderOut=False,IsFolderContentNo" +
"tOut=False,IsFolderPropertiesNotOut=False,IsSubFolderPrecededByPidTagFXDelProp=F" +
"alse,AbsFolderMessage=AbstractFolderMessage(IsFolderMessagesPrecededByPidTagFXDe" +
"lProp=False,MessageList=AbstractMessageList(IsPidTagEcWarningOut=False,AbsMessag" +
"e=AbsMessage(AbsMessageContent=AbstractMessageContent(IsNoPermissionMessageNotOu" +
"t=False,AbsMessageChildren=AbstractMessageChildren(AttachmentPrecededByPidTagFXD" +
"elProp=False,RecipientPrecededByPidTagFXDelProp=False),StringPropertiesInUnicode" +
"=False,StringPropertiesInUnicodeCodePage=False,StringPropertiesInOtherCodePage=F" +
"alse,IsRTFFormat=False))))),SubFolderInScope=True),AbstractState=AbstractState(A" +
"bstractICSStateIndex=0,IdSetGiven=null,IsNewCnsetReadPropertyChangeNumber=False," +
"IsNewCnsetSeenFAIPropertyChangeNumber=False,IsNewCnsetSeenPropertyChangeNumber=F" +
"alse),AbstractMessageContent=AbstractMessageContent(IsNoPermissionMessageNotOut=" +
"False,AbsMessageChildren=AbstractMessageChildren(AttachmentPrecededByPidTagFXDel" +
"Prop=False,RecipientPrecededByPidTagFXDelProp=False),StringPropertiesInUnicode=F" +
"alse,StringPropertiesInUnicodeCodePage=False,StringPropertiesInOtherCodePage=Fal" +
"se,IsRTFFormat=False),AbstractMessageList=AbstractMessageList(IsPidTagEcWarningO" +
"ut=False,AbsMessage=AbsMessage(AbsMessageContent=AbstractMessageContent(IsNoPerm" +
"issionMessageNotOut=False,AbsMessageChildren=AbstractMessageChildren(AttachmentP" +
"recededByPidTagFXDelProp=False,RecipientPrecededByPidTagFXDelProp=False),StringP" +
"ropertiesInUnicode=False,StringPropertiesInUnicodeCodePage=False,StringPropertie" +
"sInOtherCodePage=False,IsRTFFormat=False))),IsSameReadstateChangeNumber=False),o" +
"ut False]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 1, temp253, "transferBufferIndex of FastTransferSourceGetBuffer, state S229");
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.TopFolder,
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})})})})}),
true}),
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}), temp254, "abstractFastTransferStream of FastTransferSourceGetBuffer, state S229");
TestManagerHelpers.AssertAreEqual<bool>(this.Manager, false, temp255, "transferDataSmallOrEqualToBufferSize of FastTransferSourceGetBuffer, state S229");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp256, "return of FastTransferSourceGetBuffer, state S229");
this.Manager.Comment("reaching state \'S247\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp257;
this.Manager.Comment("executing step \'call Release(1,3)\'");
temp257 = this.IMS_OXCFXICSAdapterInstance.Release(1, 3);
this.Manager.Comment("reaching state \'S265\'");
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)), temp257, "return of Release, state S265");
this.Manager.Comment("reaching state \'S283\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp258;
this.Manager.Comment("executing step \'call Release(1,4)\'");
temp258 = this.IMS_OXCFXICSAdapterInstance.Release(1, 4);
this.Manager.Comment("reaching state \'S301\'");
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)), temp258, "return of Release, state S301");
this.Manager.Comment("reaching state \'S319\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp259;
this.Manager.Comment("executing step \'call Release(1,5)\'");
temp259 = this.IMS_OXCFXICSAdapterInstance.Release(1, 5);
this.Manager.Comment("reaching state \'S337\'");
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)), temp259, "return of Release, state S337");
this.Manager.Comment("reaching state \'S355\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp260;
this.Manager.Comment("executing step \'call Release(1,6)\'");
temp260 = this.IMS_OXCFXICSAdapterInstance.Release(1, 6);
this.Manager.Comment("reaching state \'S373\'");
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)), temp260, "return of Release, state S373");
this.Manager.Comment("reaching state \'S391\'");
goto label12;
}
if ((temp271 == 1)) {
this.Manager.Comment("reaching state \'S176\'");
int temp261;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp262;
this.Manager.Comment("executing step \'call FastTransferSourceCopyFolder(1,3,Move,Unicode,out _)\'");
temp262 = this.IMS_OXCFXICSAdapterInstance.FastTransferSourceCopyFolder(1, 3, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.CopyFolderCopyFlags)(1)), ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.SendOptionAlls)(1)), out temp261);
this.Manager.Checkpoint("MS-OXCFXICS_R502");
this.Manager.Comment("reaching state \'S194\'");
this.Manager.Comment("checking step \'return FastTransferSourceCopyFolder/[out 6]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 6, temp261, "copyFolderHandleIndex of FastTransferSourceCopyFolder, state S194");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp262, "return of FastTransferSourceCopyFolder, state S194");
this.Manager.Comment("reaching state \'S212\'");
int temp263;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.AbstractFastTransferStream temp264;
bool temp265;
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp266;
this.Manager.Comment("executing step \'call FastTransferSourceGetBuffer(1,6,Normal,out _,out _,out _)\'");
temp266 = this.IMS_OXCFXICSAdapterInstance.FastTransferSourceGetBuffer(1, 6, Microsoft.Protocols.TestSuites.MS_OXCFXICS.BufferSize.Normal, out temp263, out temp264, out temp265);
this.Manager.Checkpoint("MS-OXCFXICS_R511");
this.Manager.Checkpoint("MS-OXCFXICS_R3331");
this.Manager.Checkpoint("MS-OXCFXICS_R3481");
this.Manager.Checkpoint("MS-OXCFXICS_R532");
this.Manager.Comment("reaching state \'S230\'");
this.Manager.Comment("checking step \'return FastTransferSourceGetBuffer/[out 1,out AbstractFastTransfer" +
"Stream(StreamType=TopFolder,AbstractHierarchySync=AbstractHierarchySync(Folderch" +
"angeInfo=AbstractFolderChange(IsPidTagFolderIdExist=False,IsPidTagParentFolderId" +
"Exist=False,IsPidTagSourceKeyValueZero=False,IsPidTagParentSourceKeyValueZero=Fa" +
"lse),FolderCount=0,FinalICSState=AbstractState(AbstractICSStateIndex=0,IdSetGive" +
"n=null,IsNewCnsetReadPropertyChangeNumber=False,IsNewCnsetSeenFAIPropertyChangeN" +
"umber=False,IsNewCnsetSeenPropertyChangeNumber=False),IsParentFolderBeforeChild=" +
"False,AbstractDeletion=AbstractDeletion(IsDeletionPresent=False,IdSetDeleted=nul" +
"l,IsPidTagIdsetNoLongerInScopeExist=False,IsPidTagIdsetExpiredExist=False)),Abst" +
"ractContentsSync=AbstractContentsSync(IsprogessTotalPresent=False,MessageInfo=nu" +
"ll,AbstractDeletion=AbstractDeletion(IsDeletionPresent=False,IdSetDeleted=null,I" +
"sPidTagIdsetNoLongerInScopeExist=False,IsPidTagIdsetExpiredExist=False),IsReadSt" +
"ateChangesExist=False,FinalICSState=AbstractState(AbstractICSStateIndex=0,IdSetG" +
"iven=null,IsNewCnsetReadPropertyChangeNumber=False,IsNewCnsetSeenFAIPropertyChan" +
"geNumber=False,IsNewCnsetSeenPropertyChangeNumber=False),IsSortByMessageDelivery" +
"Time=False,IsSortByLastModificationTime=False),AbstractFolderContent=AbstractFol" +
"derContent(IsPidTagEcWarningOut=False,IsNoPermissionObjNotOut=False,IsPidTagNewF" +
"XFolderOut=False,IsFolderContentNotOut=False,IsFolderPropertiesNotOut=False,IsSu" +
"bFolderPrecededByPidTagFXDelProp=False,AbsFolderMessage=AbstractFolderMessage(Is" +
"FolderMessagesPrecededByPidTagFXDelProp=False,MessageList=AbstractMessageList(Is" +
"PidTagEcWarningOut=False,AbsMessage=AbsMessage(AbsMessageContent=AbstractMessage" +
"Content(IsNoPermissionMessageNotOut=False,AbsMessageChildren=AbstractMessageChil" +
"dren(AttachmentPrecededByPidTagFXDelProp=False,RecipientPrecededByPidTagFXDelPro" +
"p=False),StringPropertiesInUnicode=False,StringPropertiesInUnicodeCodePage=False" +
",StringPropertiesInOtherCodePage=False,IsRTFFormat=False))))),AbstractTopFolder=" +
"AbstractTopFolder(AbsFolderContent=AbstractFolderContent(IsPidTagEcWarningOut=Fa" +
"lse,IsNoPermissionObjNotOut=False,IsPidTagNewFXFolderOut=False,IsFolderContentNo" +
"tOut=False,IsFolderPropertiesNotOut=False,IsSubFolderPrecededByPidTagFXDelProp=F" +
"alse,AbsFolderMessage=AbstractFolderMessage(IsFolderMessagesPrecededByPidTagFXDe" +
"lProp=False,MessageList=AbstractMessageList(IsPidTagEcWarningOut=False,AbsMessag" +
"e=AbsMessage(AbsMessageContent=AbstractMessageContent(IsNoPermissionMessageNotOu" +
"t=False,AbsMessageChildren=AbstractMessageChildren(AttachmentPrecededByPidTagFXD" +
"elProp=False,RecipientPrecededByPidTagFXDelProp=False),StringPropertiesInUnicode" +
"=False,StringPropertiesInUnicodeCodePage=False,StringPropertiesInOtherCodePage=F" +
"alse,IsRTFFormat=False))))),SubFolderInScope=True),AbstractState=AbstractState(A" +
"bstractICSStateIndex=0,IdSetGiven=null,IsNewCnsetReadPropertyChangeNumber=False," +
"IsNewCnsetSeenFAIPropertyChangeNumber=False,IsNewCnsetSeenPropertyChangeNumber=F" +
"alse),AbstractMessageContent=AbstractMessageContent(IsNoPermissionMessageNotOut=" +
"False,AbsMessageChildren=AbstractMessageChildren(AttachmentPrecededByPidTagFXDel" +
"Prop=False,RecipientPrecededByPidTagFXDelProp=False),StringPropertiesInUnicode=F" +
"alse,StringPropertiesInUnicodeCodePage=False,StringPropertiesInOtherCodePage=Fal" +
"se,IsRTFFormat=False),AbstractMessageList=AbstractMessageList(IsPidTagEcWarningO" +
"ut=False,AbsMessage=AbsMessage(AbsMessageContent=AbstractMessageContent(IsNoPerm" +
"issionMessageNotOut=False,AbsMessageChildren=AbstractMessageChildren(AttachmentP" +
"recededByPidTagFXDelProp=False,RecipientPrecededByPidTagFXDelProp=False),StringP" +
"ropertiesInUnicode=False,StringPropertiesInUnicodeCodePage=False,StringPropertie" +
"sInOtherCodePage=False,IsRTFFormat=False))),IsSameReadstateChangeNumber=False),o" +
"ut False]:Success\'");
TestManagerHelpers.AssertAreEqual<int>(this.Manager, 1, temp263, "transferBufferIndex of FastTransferSourceGetBuffer, state S230");
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.TopFolder,
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})})})})}),
true}),
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}), temp264, "abstractFastTransferStream of FastTransferSourceGetBuffer, state S230");
TestManagerHelpers.AssertAreEqual<bool>(this.Manager, false, temp265, "transferDataSmallOrEqualToBufferSize of FastTransferSourceGetBuffer, state S230");
TestManagerHelpers.AssertAreEqual<Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult)(0)), temp266, "return of FastTransferSourceGetBuffer, state S230");
this.Manager.Comment("reaching state \'S248\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp267;
this.Manager.Comment("executing step \'call Release(1,3)\'");
temp267 = this.IMS_OXCFXICSAdapterInstance.Release(1, 3);
this.Manager.Comment("reaching state \'S266\'");
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)), temp267, "return of Release, state S266");
this.Manager.Comment("reaching state \'S284\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp268;
this.Manager.Comment("executing step \'call Release(1,4)\'");
temp268 = this.IMS_OXCFXICSAdapterInstance.Release(1, 4);
this.Manager.Comment("reaching state \'S302\'");
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)), temp268, "return of Release, state S302");
this.Manager.Comment("reaching state \'S320\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp269;
this.Manager.Comment("executing step \'call Release(1,5)\'");
temp269 = this.IMS_OXCFXICSAdapterInstance.Release(1, 5);
this.Manager.Comment("reaching state \'S338\'");
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)), temp269, "return of Release, state S338");
this.Manager.Comment("reaching state \'S356\'");
Microsoft.Protocols.TestSuites.MS_OXCFXICS.RopResult temp270;
this.Manager.Comment("executing step \'call Release(1,6)\'");
temp270 = this.IMS_OXCFXICSAdapterInstance.Release(1, 6);
this.Manager.Comment("reaching state \'S374\'");
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)), temp270, "return of Release, state S374");
this.Manager.Comment("reaching state \'S392\'");
goto label12;
}
throw new InvalidOperationException("never reached");
label12:
;
goto label13;
}
if ((temp272 == 1)) {
this.Manager.Comment("reaching state \'S23\'");
goto label13;
}
throw new InvalidOperationException("never reached");
label13:
;
this.Manager.EndTest();
}
