private void TestScenarioS6S0InitializeChecker1(Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ProtocolServerConfig @return)
{
this.Manager.Comment("checking step \'return Initialize/NonDomainController\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ProtocolServerConfig>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsat.ProtocolServerConfig)(1)), @return, "return of Initialize, state S1");
}
public void MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuite()
{
this.Manager.BeginTest("MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuite");
this.Manager.Comment("reaching state \'S0\'");
bool temp0;
this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckMAPIHTTPTransportSupported(out temp0);
this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp0);
this.Manager.Comment("reaching state \'S1\'");
int temp17 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckMAPIHTTPTransportSupportedChecker1)));
if ((temp17 == 0))
{
this.Manager.Comment("reaching state \'S2\'");
goto label7;
}
if ((temp17 == 1))
{
this.Manager.Comment("reaching state \'S3\'");
this.Manager.Comment("executing step \'call InitializeTable(CONTENT_TABLE)\'");
this.IMS_OXCTABLAdapterInstance.InitializeTable(((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType)(0)));
this.Manager.Comment("reaching state \'S4\'");
this.Manager.Comment("checking step \'return InitializeTable\'");
this.Manager.Comment("reaching state \'S5\'");
bool temp1;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(768,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(768, out temp1);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp1);
this.Manager.Comment("reaching state \'S6\'");
int temp16 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker)), new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker7)));
if ((temp16 == 0))
{
this.Manager.Comment("reaching state \'S7\'");
bool temp2;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(867,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(867, out temp2);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp2);
this.Manager.Comment("reaching state \'S9\'");
int temp8 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker1)), new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker4)));
if ((temp8 == 0))
{
this.Manager.Comment("reaching state \'S11\'");
bool temp3;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(866,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(866, out temp3);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp3);
this.Manager.Comment("reaching state \'S15\'");
int temp5 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker2)), new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker3)));
if ((temp5 == 0))
{
this.Manager.Comment("reaching state \'S19\'");
this.Manager.Assert(false, "reached non-accepting end state \'S19\'.");
goto label0;
}
if ((temp5 == 1))
{
this.Manager.Comment("reaching state \'S20\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp4;
this.Manager.Comment("executing step \'call RopQueryRows(NoAdvance,True)\'");
temp4 = this.IMS_OXCTABLAdapterInstance.RopQueryRows(((Microsoft.Protocols.TestSuites.Common.QueryRowsFlags)(1)), true);
this.Manager.Checkpoint("MS-OXCTABL_R837");
this.Manager.Checkpoint("MS-OXCTABL_R768");
this.Manager.Checkpoint("MS-OXCTABL_R866");
this.Manager.Checkpoint("MS-OXCTABL_R867");
this.Manager.Comment("reaching state \'S27\'");
this.Manager.Comment("checking step \'return RopQueryRows/ecNullObject\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.ecNullObject, temp4, "return of RopQueryRows, state S27");
this.Manager.Comment("reaching state \'S29\'");
goto label0;
}
throw new InvalidOperationException("never reached");
label0:
;
goto label2;
}
if ((temp8 == 1))
{
this.Manager.Comment("reaching state \'S12\'");
bool temp6;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(866,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(866, out temp6);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp6);
this.Manager.Comment("reaching state \'S16\'");
int temp7 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker5)), new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker6)));
if ((temp7 == 0))
{
this.Manager.Comment("reaching state \'S21\'");
this.Manager.Assert(false, "reached non-accepting end state \'S21\'.");
goto label1;
}
if ((temp7 == 1))
{
this.Manager.Comment("reaching state \'S22\'");
this.Manager.Assert(false, "reached non-accepting end state \'S22\'.");
goto label1;
}
throw new InvalidOperationException("never reached");
label1:
;
goto label2;
}
throw new InvalidOperationException("never reached");
label2:
;
goto label6;
}
if ((temp16 == 1))
{
this.Manager.Comment("reaching state \'S8\'");
bool temp9;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(867,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(867, out temp9);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp9);
this.Manager.Comment("reaching state \'S10\'");
int temp15 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker8)), new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker11)));
if ((temp15 == 0))
{
this.Manager.Comment("reaching state \'S13\'");
bool temp10;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(866,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(866, out temp10);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp10);
this.Manager.Comment("reaching state \'S17\'");
int temp12 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker9)), new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker10)));
if ((temp12 == 0))
{
this.Manager.Comment("reaching state \'S23\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp11;
this.Manager.Comment("executing step \'call RopQueryRows(NoAdvance,True)\'");
temp11 = this.IMS_OXCTABLAdapterInstance.RopQueryRows(((Microsoft.Protocols.TestSuites.Common.QueryRowsFlags)(1)), true);
this.Manager.Checkpoint("MS-OXCTABL_R837");
this.Manager.Comment("reaching state \'S28\'");
this.Manager.Comment("checking step \'return RopQueryRows/unexpected\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.unexpected, temp11, "return of RopQueryRows, state S28");
this.Manager.Comment("reaching state \'S30\'");
goto label3;
}
if ((temp12 == 1))
{
this.Manager.Comment("reaching state \'S24\'");
this.Manager.Assert(false, "reached non-accepting end state \'S24\'.");
goto label3;
}
throw new InvalidOperationException("never reached");
label3:
;
goto label5;
}
if ((temp15 == 1))
{
this.Manager.Comment("reaching state \'S14\'");
bool temp13;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(866,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(866, out temp13);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp13);
this.Manager.Comment("reaching state \'S18\'");
int temp14 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker12)), new ExpectedReturn(S02_RowRops_QueryRowsecNullObject_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker13)));
if ((temp14 == 0))
{
this.Manager.Comment("reaching state \'S25\'");
this.Manager.Assert(false, "reached non-accepting end state \'S25\'.");
goto label4;
}
if ((temp14 == 1))
{
this.Manager.Comment("reaching state \'S26\'");
this.Manager.Assert(false, "reached non-accepting end state \'S26\'.");
goto label4;
}
throw new InvalidOperationException("never reached");
label4:
;
goto label5;
}
throw new InvalidOperationException("never reached");
label5:
;
goto label6;
}
throw new InvalidOperationException("never reached");
label6:
;
goto label7;
}
throw new InvalidOperationException("never reached");
label7:
;
this.Manager.EndTest();
}
private void MSOXCTABL_S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuiteCheckRequirementEnabledChecker3(bool enabled)
{
this.Manager.Comment("checking step \'return CheckRequirementEnabled/[out True]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, enabled, "enabled of CheckRequirementEnabled, state S11");
}
public virtual void NoSignRequirementCoverage_Printer_Win7_Win2K8S0()
{
this.Manager.BeginTest("NoSignRequirementCoverage_Printer_Win7_Win2K8S0");
this.Manager.Comment("reaching state \'S0\'");
this.Manager.Comment("executing step \'call SmbConnectionRequest()\'");
this.ISmbAdapterInstance.SmbConnectionRequest();
this.Manager.Comment("reaching state \'S1\'");
this.Manager.Comment("checking step \'return SmbConnectionRequest\'");
this.Manager.Comment("reaching state \'S2\'");
if ((this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(NoSignRequirementCoverage_Printer_Win7_Win2K8.SmbConnectionResponseInfo, null, new SmbConnectionResponseDelegate1(this.NoSignRequirementCoverage_Printer_Win7_Win2K8S0SmbConnectionResponseChecker))) != -1))
{
this.Manager.Comment("reaching state \'S3\'");
this.Manager.Comment("executing step \'call ServerSetup(Fat,Disabled,True,False,False)\'");
this.IServerSetupAdapterInstance.ServerSetup(((Microsoft.Protocol.TestSuites.Smb.FileSystemType)(1)), ((Microsoft.Protocol.TestSuites.Smb.SignState)(0)), true, false, false);
this.Manager.Comment("reaching state \'S4\'");
this.Manager.Comment("checking step \'return ServerSetup\'");
this.Manager.Comment("reaching state \'S5\'");
if ((this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(NoSignRequirementCoverage_Printer_Win7_Win2K8.ServerSetupResponseInfo, null, new ServerSetupResponseDelegate1(this.NoSignRequirementCoverage_Printer_Win7_Win2K8S0ServerSetupResponseChecker))) != -1))
{
this.Manager.Comment("reaching state \'S6\'");
bool temp0;
this.Manager.Comment("executing step \'call CreatePipeAndMailslot({\"Pipe1\"},{\"Mailslot1\"},out _)\'");
this.IServerSetupAdapterInstance.CreatePipeAndMailslot(new List <string> {
"Pipe1"
}, new List <string> {
"Mailslot1"
}, out temp0);
this.Manager.Comment("reaching state \'S7\'");
this.Manager.Comment("checking step \'return CreatePipeAndMailslot/[out True]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, temp0, "createPipeStatus of CreatePipeAndMailslot, state S7");
this.Manager.Comment("reaching state \'S8\'");
this.Manager.Comment("executing step \'call NegotiateRequest(1,True,Disabled,[PcNet1,LanMan10,Wfw10,LanM" +
"an12,LanMan21,NtLanMan])\'");
this.ISmbAdapterInstance.NegotiateRequest(1, true, ((Microsoft.Protocol.TestSuites.Smb.SignState)(0)), new List <Microsoft.Protocol.TestSuites.Smb.Dialect> {
Microsoft.Protocol.TestSuites.Smb.Dialect.PcNet1, Microsoft.Protocol.TestSuites.Smb.Dialect.LanMan10, Microsoft.Protocol.TestSuites.Smb.Dialect.Wfw10, Microsoft.Protocol.TestSuites.Smb.Dialect.LanMan12, Microsoft.Protocol.TestSuites.Smb.Dialect.LanMan21, Microsoft.Protocol.TestSuites.Smb.Dialect.NtLanMan
});
this.Manager.Comment("reaching state \'S9\'");
this.Manager.Comment("checking step \'return NegotiateRequest\'");
this.Manager.Comment("reaching state \'S10\'");
if ((this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(NoSignRequirementCoverage_Printer_Win7_Win2K8.NegotiateResponseInfo, null, new NegotiateResponseDelegate1(this.NoSignRequirementCoverage_Printer_Win7_Win2K8S0NegotiateResponseChecker))) != -1))
{
this.Manager.Comment("reaching state \'S11\'");
this.Manager.Comment("executing step \'call SessionSetupRequest(Admin,2,0,0,False,{CapNtSmbs,CapExtended" +
"Security},False,False,True)\'");
this.ISmbAdapterInstance.SessionSetupRequest(((Microsoft.Protocol.TestSuites.Smb.AccountType)(0)), 2, 0, 0, false, new List <Microsoft.Protocol.TestSuites.Smb.Capabilities> {
Microsoft.Protocol.TestSuites.Smb.Capabilities.CapNtSmbs, Microsoft.Protocol.TestSuites.Smb.Capabilities.CapExtendedSecurity
}, false, false, true);
this.Manager.Checkpoint("MS-SMB_R8388");
this.Manager.Comment("reaching state \'S12\'");
this.Manager.Comment("checking step \'return SessionSetupRequest\'");
this.Manager.Comment("reaching state \'S13\'");
int temp1 = this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(NoSignRequirementCoverage_Printer_Win7_Win2K8.SessionSetupResponseInfo, null, new SessionSetupResponseDelegate1(this.NoSignRequirementCoverage_Printer_Win7_Win2K8S0SessionSetupResponseChecker)), new ExpectedEvent(NoSignRequirementCoverage_Printer_Win7_Win2K8.SessionSetupResponseInfo, null, new SessionSetupResponseDelegate1(this.NoSignRequirementCoverage_Printer_Win7_Win2K8S0SessionSetupResponseChecker1)));
if ((temp1 == 0))
{
NoSignRequirementCoverage_Printer_Win7_Win2K8S14();
goto label0;
}
if ((temp1 == 1))
{
NoSignRequirementCoverage_Printer_Win7_Win2K8S14();
goto label0;
}
this.Manager.CheckObservationTimeout(false, new ExpectedEvent(NoSignRequirementCoverage_Printer_Win7_Win2K8.SessionSetupResponseInfo, null, new SessionSetupResponseDelegate1(this.NoSignRequirementCoverage_Printer_Win7_Win2K8S0SessionSetupResponseChecker)), new ExpectedEvent(NoSignRequirementCoverage_Printer_Win7_Win2K8.SessionSetupResponseInfo, null, new SessionSetupResponseDelegate1(this.NoSignRequirementCoverage_Printer_Win7_Win2K8S0SessionSetupResponseChecker1)));
label0:
;
}
else
{
this.Manager.CheckObservationTimeout(false, new ExpectedEvent(NoSignRequirementCoverage_Printer_Win7_Win2K8.NegotiateResponseInfo, null, new NegotiateResponseDelegate1(this.NoSignRequirementCoverage_Printer_Win7_Win2K8S0NegotiateResponseChecker)));
}
}
else
{
this.Manager.CheckObservationTimeout(false, new ExpectedEvent(NoSignRequirementCoverage_Printer_Win7_Win2K8.ServerSetupResponseInfo, null, new ServerSetupResponseDelegate1(this.NoSignRequirementCoverage_Printer_Win7_Win2K8S0ServerSetupResponseChecker)));
}
}
else
{
this.Manager.CheckObservationTimeout(false, new ExpectedEvent(NoSignRequirementCoverage_Printer_Win7_Win2K8.SmbConnectionResponseInfo, null, new SmbConnectionResponseDelegate1(this.NoSignRequirementCoverage_Printer_Win7_Win2K8S0SmbConnectionResponseChecker)));
}
this.Manager.EndTest();
}
private void MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckMAPIHTTPTransportSupportedChecker1(bool isSupported)
{
this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out True]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S1");
}
public void MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuite()
{
this.Manager.BeginTest("MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuite");
this.Manager.Comment("reaching state \'S0\'");
bool temp0;
this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckMAPIHTTPTransportSupported(out temp0);
this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp0);
this.Manager.Comment("reaching state \'S1\'");
int temp7 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S07_AsyncRops_GetStatusNotSupported_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuiteCheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S07_AsyncRops_GetStatusNotSupported_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuiteCheckMAPIHTTPTransportSupportedChecker1)));
if ((temp7 == 0))
{
this.Manager.Comment("reaching state \'S4\'");
goto label1;
}
if ((temp7 == 1))
{
this.Manager.Comment("reaching state \'S5\'");
bool temp1;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(792,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(792, out temp1);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp1);
this.Manager.Comment("reaching state \'S8\'");
int temp6 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S07_AsyncRops_GetStatusNotSupported_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuiteCheckRequirementEnabledChecker)), new ExpectedReturn(S07_AsyncRops_GetStatusNotSupported_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuiteCheckRequirementEnabledChecker1)));
if ((temp6 == 0))
{
this.Manager.Comment("reaching state \'S10\'");
this.Manager.Comment("executing step \'call InitializeTable(INVALID_TABLE)\'");
this.IMS_OXCTABLAdapterInstance.InitializeTable(Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType.INVALID_TABLE);
this.Manager.Comment("reaching state \'S14\'");
this.Manager.Comment("checking step \'return InitializeTable\'");
this.Manager.Comment("reaching state \'S18\'");
Microsoft.Protocols.TestSuites.Common.TableStatus temp2;
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp3;
this.Manager.Comment("executing step \'call RopGetStatus(out _)\'");
temp3 = this.IMS_OXCTABLAdapterInstance.RopGetStatus(out temp2);
this.Manager.Checkpoint("MS-OXCTABL_R490");
this.Manager.Checkpoint("MS-OXCTABL_R129");
this.Manager.Comment("reaching state \'S22\'");
this.Manager.Comment("checking step \'return RopGetStatus/[out TblstatComplete]:ecNotSupported\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.Common.TableStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.Common.TableStatus)(0)), temp2, "tableStatus of RopGetStatus, state S22");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.ecNotSupported, temp3, "return of RopGetStatus, state S22");
this.Manager.Comment("reaching state \'S26\'");
goto label0;
}
if ((temp6 == 1))
{
this.Manager.Comment("reaching state \'S11\'");
this.Manager.Comment("executing step \'call InitializeTable(INVALID_TABLE)\'");
this.IMS_OXCTABLAdapterInstance.InitializeTable(Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType.INVALID_TABLE);
this.Manager.Comment("reaching state \'S15\'");
this.Manager.Comment("checking step \'return InitializeTable\'");
this.Manager.Comment("reaching state \'S19\'");
Microsoft.Protocols.TestSuites.Common.TableStatus temp4;
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp5;
this.Manager.Comment("executing step \'call RopGetStatus(out _)\'");
temp5 = this.IMS_OXCTABLAdapterInstance.RopGetStatus(out temp4);
this.Manager.Comment("reaching state \'S23\'");
this.Manager.Comment("checking step \'return RopGetStatus/[out TblstatComplete]:NotImplemented\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.Common.TableStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.Common.TableStatus)(0)), temp4, "tableStatus of RopGetStatus, state S23");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.NotImplemented, temp5, "return of RopGetStatus, state S23");
this.Manager.Comment("reaching state \'S27\'");
goto label0;
}
throw new InvalidOperationException("never reached");
label0:
;
goto label1;
}
throw new InvalidOperationException("never reached");
label1:
;
this.Manager.EndTest();
}
private void SetFileValidDataLengthInformationTestCaseS2GetIfOpenHasManageVolumeAccessChecker1(bool isHasManageVolumeAccess)
{
this.Manager.Comment("checking step \'return GetIfOpenHasManageVolumeAccess/[out True]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, isHasManageVolumeAccess, "isHasManageVolumeAccess of GetIfOpenHasManageVolumeAccess, state S7");
}
private void MSOXCTABL_S07_AsyncRops_SortTableAsynchronous_TestSuiteCheckMAPIHTTPTransportSupportedChecker1(bool isSupported)
{
this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out True]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S1");
}
private void TestScenarioS8S0DeleteObjectChecker(Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle handleOutput, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus @return)
{
this.Manager.Comment("checking step \'return DeleteObject/[out Null]:Success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle.Null, handleOutput, "handleOutput of DeleteObject, state S83");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus)(0)), @return, "return of DeleteObject, state S83");
}
private void MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuite1CheckRequirementEnabledChecker1(bool enabled)
{
this.Manager.Comment("checking step \'return CheckRequirementEnabled/[out False]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, false, enabled, "enabled of CheckRequirementEnabled, state S13");
}
public void MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuite()
{
this.Manager.BeginTest("MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuite");
this.Manager.Comment("reaching state \'S0\'");
bool temp0;
this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckMAPIHTTPTransportSupported(out temp0);
this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp0);
this.Manager.Comment("reaching state \'S1\'");
int temp5 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_FindRowNotSupported_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuiteCheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S02_RowRops_FindRowNotSupported_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuiteCheckMAPIHTTPTransportSupportedChecker1)));
if ((temp5 == 0))
{
this.Manager.Comment("reaching state \'S4\'");
goto label1;
}
if ((temp5 == 1))
{
this.Manager.Comment("reaching state \'S5\'");
this.Manager.Comment("executing step \'call InitializeTable(INVALID_TABLE)\'");
this.IMS_OXCTABLAdapterInstance.InitializeTable(Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType.INVALID_TABLE);
this.Manager.Comment("reaching state \'S8\'");
this.Manager.Comment("checking step \'return InitializeTable\'");
this.Manager.Comment("reaching state \'S10\'");
bool temp1;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(827,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(827, out temp1);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp1);
this.Manager.Comment("reaching state \'S12\'");
int temp4 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_FindRowNotSupported_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuiteCheckRequirementEnabledChecker)), new ExpectedReturn(S02_RowRops_FindRowNotSupported_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuiteCheckRequirementEnabledChecker1)));
if ((temp4 == 0))
{
this.Manager.Comment("reaching state \'S14\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp2;
this.Manager.Comment("executing step \'call RopFindRow(Backwards,BOOKMARK_CURRENT,True)\'");
temp2 = this.IMS_OXCTABLAdapterInstance.RopFindRow(((Microsoft.Protocols.TestSuites.Common.FindRowFlags)(1)), ((Microsoft.Protocols.TestSuites.MS_OXCTABL.BookmarkType)(1)), true);
this.Manager.Checkpoint("MS-OXCTABL_R682");
this.Manager.Comment("reaching state \'S18\'");
this.Manager.Comment("checking step \'return RopFindRow/ecNotSupported\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.ecNotSupported, temp2, "return of RopFindRow, state S18");
this.Manager.Comment("reaching state \'S22\'");
goto label0;
}
if ((temp4 == 1))
{
this.Manager.Comment("reaching state \'S15\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp3;
this.Manager.Comment("executing step \'call RopFindRow(Backwards,BOOKMARK_CURRENT,True)\'");
temp3 = this.IMS_OXCTABLAdapterInstance.RopFindRow(((Microsoft.Protocols.TestSuites.Common.FindRowFlags)(1)), ((Microsoft.Protocols.TestSuites.MS_OXCTABL.BookmarkType)(1)), true);
this.Manager.Checkpoint("MS-OXCTABL_R682");
this.Manager.Comment("reaching state \'S19\'");
this.Manager.Comment("checking step \'return RopFindRow/ecNotSupported\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.ecNotSupported, temp3, "return of RopFindRow, state S19");
this.Manager.Comment("reaching state \'S23\'");
goto label0;
}
throw new InvalidOperationException("never reached");
label0:
;
goto label1;
}
throw new InvalidOperationException("never reached");
label1:
;
this.Manager.EndTest();
}
private void MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuite1CheckMAPIHTTPTransportSupportedChecker(bool isSupported)
{
this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out True]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S3");
}
public void MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuite1()
{
this.Manager.BeginTest("MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuite1");
this.Manager.Comment("reaching state \'S2\'");
bool temp6;
this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckMAPIHTTPTransportSupported(out temp6);
this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp6);
this.Manager.Comment("reaching state \'S3\'");
int temp11 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_FindRowNotSupported_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuite1CheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S02_RowRops_FindRowNotSupported_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuite1CheckMAPIHTTPTransportSupportedChecker1)));
if ((temp11 == 0))
{
this.Manager.Comment("reaching state \'S6\'");
this.Manager.Comment("executing step \'call InitializeTable(ATTACHMENTS_TABLE)\'");
this.IMS_OXCTABLAdapterInstance.InitializeTable(Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType.ATTACHMENTS_TABLE);
this.Manager.Comment("reaching state \'S9\'");
this.Manager.Comment("checking step \'return InitializeTable\'");
this.Manager.Comment("reaching state \'S11\'");
bool temp7;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(827,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(827, out temp7);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp7);
this.Manager.Comment("reaching state \'S13\'");
int temp10 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_FindRowNotSupported_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuite1CheckRequirementEnabledChecker)), new ExpectedReturn(S02_RowRops_FindRowNotSupported_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S02_RowRops_FindRowNotSupported_TestSuite1CheckRequirementEnabledChecker1)));
if ((temp10 == 0))
{
this.Manager.Comment("reaching state \'S16\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp8;
this.Manager.Comment("executing step \'call RopFindRow(Backwards,BOOKMARK_CURRENT,True)\'");
temp8 = this.IMS_OXCTABLAdapterInstance.RopFindRow(((Microsoft.Protocols.TestSuites.Common.FindRowFlags)(1)), ((Microsoft.Protocols.TestSuites.MS_OXCTABL.BookmarkType)(1)), true);
this.Manager.Checkpoint("MS-OXCTABL_R544");
this.Manager.Comment("reaching state \'S20\'");
this.Manager.Comment("checking step \'return RopFindRow/ecNotSupported\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.ecNotSupported, temp8, "return of RopFindRow, state S20");
this.Manager.Comment("reaching state \'S24\'");
goto label2;
}
if ((temp10 == 1))
{
this.Manager.Comment("reaching state \'S17\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp9;
this.Manager.Comment("executing step \'call RopFindRow(Backwards,BOOKMARK_CURRENT,True)\'");
temp9 = this.IMS_OXCTABLAdapterInstance.RopFindRow(((Microsoft.Protocols.TestSuites.Common.FindRowFlags)(1)), ((Microsoft.Protocols.TestSuites.MS_OXCTABL.BookmarkType)(1)), true);
this.Manager.Checkpoint("MS-OXCTABL_R544");
this.Manager.Comment("reaching state \'S21\'");
this.Manager.Comment("checking step \'return RopFindRow/ecNotSupported\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.ecNotSupported, temp9, "return of RopFindRow, state S21");
this.Manager.Comment("reaching state \'S25\'");
goto label2;
}
throw new InvalidOperationException("never reached");
label2:
;
goto label3;
}
if ((temp11 == 1))
{
this.Manager.Comment("reaching state \'S7\'");
goto label3;
}
throw new InvalidOperationException("never reached");
label3:
;
this.Manager.EndTest();
}
private void TestScenarioConfigurableSettingsDSWin2K8R2S0SearchOpResponseChecker1(SearchResp response)
{
this.Manager.Comment("checking step \'event SearchOpResponse(retreivalUnsuccessful)\'");
TestManagerHelpers.AssertAreEqual <SearchResp>(this.Manager, ((SearchResp)(1)), response, "response of SearchOpResponse, state S4");
}
private void MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuite1CheckRequirementEnabledChecker1(bool enabled)
{
this.Manager.Comment("checking step \'return CheckRequirementEnabled/[out True]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, enabled, "enabled of CheckRequirementEnabled, state S9");
}
public void WriteFileTestCaseS0()
{
this.Manager.BeginTest("WriteFileTestCaseS0");
this.Manager.Comment("reaching state \'S0\'");
this.Manager.Comment("executing step \'call FsaInitial()\'");
this.IFSAAdapterInstance.FsaInitial();
this.Manager.Comment("reaching state \'S1\'");
this.Manager.Comment("checking step \'return FsaInitial\'");
this.Manager.Comment("reaching state \'S2\'");
Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SSecurityContext temp0;
this.Manager.Comment("executing step \'call GetSystemConfig(out _)\'");
this.IFSAAdapterInstance.GetSystemConfig(out temp0);
this.Manager.Comment("reaching state \'S3\'");
this.Manager.Comment("checking step \'return GetSystemConfig/[out SSecurityContext(privilegeSet=SeRestor" +
"ePrivilege,isSecurityContextSIDsContainWellKnown=False,isImplementsEncryption=Fa" +
"lse)]\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SSecurityContext>(this.Manager, this.Make <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SSecurityContext>(new string[] {
"privilegeSet",
"isSecurityContextSIDsContainWellKnown",
"isImplementsEncryption"
}, new object[] {
Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.PrivilegeSet.SeRestorePrivilege,
false,
false
}), temp0, "securityContext of GetSystemConfig, state S3");
this.Manager.Comment("reaching state \'S4\'");
bool temp1;
this.Manager.Comment("executing step \'call GetIfOpenFileVolumeIsReadOnly(out _)\'");
this.IFSAAdapterInstance.GetIfOpenFileVolumeIsReadOnly(out temp1);
this.Manager.Comment("reaching state \'S5\'");
this.Manager.Comment("checking step \'return GetIfOpenFileVolumeIsReadOnly/[out False]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, false, temp1, "isReadOnly of GetIfOpenFileVolumeIsReadOnly, state S5");
this.Manager.Comment("reaching state \'S6\'");
Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp2;
this.Manager.Comment("executing step \'call CreateFile(NORMAL,NO_INTERMEDIATE_BUFFERING,NULL,MAXIMUM_ALL" +
"OWED,FILE_SHARE_WRITE,CREATE,StreamIsFound,IsNotSymbolicLink,DataFile,Normal)\'");
temp2 = this.IFSAAdapterInstance.CreateFile(Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAttribute.NORMAL, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateOptions.NO_INTERMEDIATE_BUFFERING, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamTypeNameToOpen.NULL, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAccess.MAXIMUM_ALLOWED, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.ShareAccess.FILE_SHARE_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateDisposition.CREATE, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamFoundType)(0)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SymbolicLinkType)(1)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileType)(0)), Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileNameStatus.Normal);
this.Manager.Checkpoint("MS-FSA_R405");
this.Manager.Checkpoint(@"[In Application Requests an Open of a File , Pseudocode for the operation is as follows:
Phase 6 -- Location of file:] Pseudocode for this search:For i = 1 to n-1:
If Open.GrantedAccess.FILE_TRAVERSE is not set and AccessCheck( SecurityContext, Link.File.SecurityDescriptor, FILE_TRAVERSE )
returns FALSE, the operation is not failed with STATUS_ACCESS_DENIED in Windows.");
this.Manager.Checkpoint("MS-FSA_R475");
this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n " +
" The object store MUST return:CreateAction set to FILE_CREATED.");
this.Manager.Checkpoint("MS-FSA_R474");
this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n " +
" The object store MUST return :Status set to STATUS_SUCCESS.");
this.Manager.Comment("reaching state \'S7\'");
this.Manager.Comment("checking step \'return CreateFile/SUCCESS\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus)(0)), temp2, "return of CreateFile, state S7");
this.Manager.Comment("reaching state \'S8\'");
long temp3;
this.Manager.Comment("executing step \'call GetFileVolumSize(out _)\'");
this.IFSAAdapterInstance.GetFileVolumSize(out temp3);
this.Manager.Comment("reaching state \'S9\'");
this.Manager.Comment("checking step \'return GetFileVolumSize/[out 4096]\'");
TestManagerHelpers.AssertAreEqual <long>(this.Manager, 4096, temp3, "openFileVolumeSize of GetFileVolumSize, state S9");
this.Manager.Comment("reaching state \'S10\'");
long temp4;
Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp5;
this.Manager.Comment("executing step \'call WriteFile(2,1,out _)\'");
temp5 = this.IFSAAdapterInstance.WriteFile(2, 1, out temp4);
this.Manager.Checkpoint("MS-FSA_R712");
this.Manager.Checkpoint(@"[In Server Requests a Write]Pseudocode for the operation is as follows:
If Open.Mode.FILE_NO_INTERMEDIATE_BUFFERING is TRUE and (ByteOffset >= 0), the operation MUST be failed with STATUS_INVALID_PARAMETER
under any of the following conditions:If (ByteOffset % Open.File.Volume.SectorSize) is not zero.");
this.Manager.Comment("reaching state \'S11\'");
this.Manager.Comment("checking step \'return WriteFile/[out 0]:INVALID_PARAMETER\'");
TestManagerHelpers.AssertAreEqual <long>(this.Manager, 0, temp4, "bytesWritten of WriteFile, state S11");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus.INVALID_PARAMETER, temp5, "return of WriteFile, state S11");
this.Manager.Comment("reaching state \'S12\'");
this.Manager.EndTest();
}
private void MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuite1CheckMAPIHTTPTransportSupportedChecker1(bool isSupported)
{
this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out False]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, false, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S3");
}
private void TestScenarioQueryRootDSE_AD_DSWin2K8R2S0SearchOpResponseChecker1(SearchResp response)
{
this.Manager.Comment("checking step \'event SearchOpResponse(retrievalSuccessful)\'");
TestManagerHelpers.AssertAreEqual <SearchResp>(this.Manager, ((SearchResp)(0)), response, "response of SearchOpResponse, state S20");
}
public void SetFileValidDataLengthInformationTestCaseS2()
{
this.Manager.BeginTest("SetFileValidDataLengthInformationTestCaseS2");
this.Manager.Comment("reaching state \'S2\'");
this.Manager.Comment("executing step \'call FsaInitial()\'");
this.IFSAAdapterInstance.FsaInitial();
this.Manager.Comment("reaching state \'S3\'");
this.Manager.Comment("checking step \'return FsaInitial\'");
this.Manager.Comment("reaching state \'S5\'");
bool temp6;
this.Manager.Comment("executing step \'call GetIfOpenHasManageVolumeAccess(out _)\'");
this.IFSAAdapterInstance.GetIfOpenHasManageVolumeAccess(out temp6);
this.Manager.AddReturn(GetIfOpenHasManageVolumeAccessInfo, null, temp6);
this.Manager.Comment("reaching state \'S7\'");
int temp11 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(SetFileValidDataLengthInformationTestCase.GetIfOpenHasManageVolumeAccessInfo, null, new GetIfOpenHasManageVolumeAccessDelegate1(this.SetFileValidDataLengthInformationTestCaseS2GetIfOpenHasManageVolumeAccessChecker)), new ExpectedReturn(SetFileValidDataLengthInformationTestCase.GetIfOpenHasManageVolumeAccessInfo, null, new GetIfOpenHasManageVolumeAccessDelegate1(this.SetFileValidDataLengthInformationTestCaseS2GetIfOpenHasManageVolumeAccessChecker1)));
if ((temp11 == 0))
{
this.Manager.Comment("reaching state \'S10\'");
Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp7;
this.Manager.Comment("executing step \'call CreateFile(NORMAL,NON_DIRECTORY_FILE,NULL,GENERIC_WRITE,FILE" +
"_SHARE_WRITE,OPEN_IF,StreamIsFound,IsNotSymbolicLink,DataFile,PathNameValid)\'");
temp7 = this.IFSAAdapterInstance.CreateFile(Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAttribute.NORMAL, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateOptions.NON_DIRECTORY_FILE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamTypeNameToOpen.NULL, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAccess.GENERIC_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.ShareAccess.FILE_SHARE_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateDisposition.OPEN_IF, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamFoundType)(0)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SymbolicLinkType)(1)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileType)(0)), Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileNameStatus.PathNameValid);
this.Manager.Checkpoint("MS-FSA_R405");
this.Manager.Checkpoint(@"[In Application Requests an Open of a File , Pseudocode for the operation is as follows:
Phase 6 -- Location of file:] Pseudocode for this search:For i = 1 to n-1:
If Open.GrantedAccess.FILE_TRAVERSE is not set and AccessCheck( SecurityContext, Link.File.SecurityDescriptor, FILE_TRAVERSE )
returns FALSE, the operation is not failed with STATUS_ACCESS_DENIED in Windows.");
this.Manager.Checkpoint("MS-FSA_R475");
this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n " +
" The object store MUST return:CreateAction set to FILE_CREATED.");
this.Manager.Checkpoint("MS-FSA_R474");
this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n " +
" The object store MUST return :Status set to STATUS_SUCCESS.");
this.Manager.Comment("reaching state \'S14\'");
this.Manager.Comment("checking step \'return CreateFile/SUCCESS\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus)(0)), temp7, "return of CreateFile, state S14");
this.Manager.Comment("reaching state \'S18\'");
Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp8;
this.Manager.Comment("executing step \'call SetFileValidDataLengthInfo(True)\'");
temp8 = this.IFSAAdapterInstance.SetFileValidDataLengthInfo(true);
this.Manager.Checkpoint("MS-FSA_R3203");
this.Manager.Checkpoint("[In FileValidDataLengthInformation,Pseudocode for the operation is as follows:]\r\n" +
" If Open.HasManageVolumeAccess is FALSE, the operation MUST b" +
"e failed with STATUS_PRIVILEGE_NOT_HELD.");
this.Manager.Comment("reaching state \'S22\'");
this.Manager.Comment("checking step \'return SetFileValidDataLengthInfo/PRIVILEGE_NOT_HELD\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus.PRIVILEGE_NOT_HELD, temp8, "return of SetFileValidDataLengthInfo, state S22");
this.Manager.Comment("reaching state \'S26\'");
goto label1;
}
if ((temp11 == 1))
{
this.Manager.Comment("reaching state \'S11\'");
Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp9;
this.Manager.Comment("executing step \'call CreateFile(NORMAL,NON_DIRECTORY_FILE,NULL,GENERIC_WRITE,FILE" +
"_SHARE_WRITE,OPEN_IF,StreamIsFound,IsNotSymbolicLink,DataFile,PathNameValid)\'");
temp9 = this.IFSAAdapterInstance.CreateFile(Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAttribute.NORMAL, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateOptions.NON_DIRECTORY_FILE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamTypeNameToOpen.NULL, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAccess.GENERIC_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.ShareAccess.FILE_SHARE_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateDisposition.OPEN_IF, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamFoundType)(0)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SymbolicLinkType)(1)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileType)(0)), Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileNameStatus.PathNameValid);
this.Manager.Checkpoint("MS-FSA_R405");
this.Manager.Checkpoint(@"[In Application Requests an Open of a File , Pseudocode for the operation is as follows:
Phase 6 -- Location of file:] Pseudocode for this search:For i = 1 to n-1:
If Open.GrantedAccess.FILE_TRAVERSE is not set and AccessCheck( SecurityContext, Link.File.SecurityDescriptor, FILE_TRAVERSE )
returns FALSE, the operation is not failed with STATUS_ACCESS_DENIED in Windows.");
this.Manager.Checkpoint("MS-FSA_R475");
this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n " +
" The object store MUST return:CreateAction set to FILE_CREATED.");
this.Manager.Checkpoint("MS-FSA_R474");
this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n " +
" The object store MUST return :Status set to STATUS_SUCCESS.");
this.Manager.Comment("reaching state \'S15\'");
this.Manager.Comment("checking step \'return CreateFile/SUCCESS\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus)(0)), temp9, "return of CreateFile, state S15");
this.Manager.Comment("reaching state \'S19\'");
Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp10;
this.Manager.Comment("executing step \'call SetFileValidDataLengthInfo(True)\'");
temp10 = this.IFSAAdapterInstance.SetFileValidDataLengthInfo(true);
this.Manager.Checkpoint("MS-FSA_R3204");
this.Manager.Checkpoint(@"[In FileValidDataLengthInformation,Pseudocode for the operation is as follows:]
The operation MUST be failed with STATUS_INVALID_PARAMETER under any of the following conditions:
If Open.Stream.ValidDataLength is greater than InputBuffer.ValidDataLength.");
this.Manager.Checkpoint("MS-FSA_R3205");
this.Manager.Checkpoint("[In FileValidDataLengthInformation,Pseudocode for the operation is as follows:]\r\n" +
" The operation MUST be failed with STATUS_INVALID_PARAMETER " +
"under any of the following conditions:If Open.Stream.IsCompressed is TRUE.");
this.Manager.Checkpoint("MS-FSA_R3206");
this.Manager.Checkpoint("[In FileValidDataLengthInformation,Pseudocode for the operation is as follows:]\r\n" +
" The operation MUST be failed with STATUS_INVALID_PARAMETER " +
"under any of the following conditions:If Open.Stream.IsSparse is TRUE.");
this.Manager.Comment("reaching state \'S23\'");
this.Manager.Comment("checking step \'return SetFileValidDataLengthInfo/INVALID_PARAMETER\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus.INVALID_PARAMETER, temp10, "return of SetFileValidDataLengthInfo, state S23");
this.Manager.Comment("reaching state \'S27\'");
goto label1;
}
throw new InvalidOperationException("never reached");
label1:
;
this.Manager.EndTest();
}
public void LSAD_TestScenarioS36S0()
{
this.Manager.BeginTest("TestScenarioS36S0");
this.Manager.Comment("reaching state \'S0\'");
this.Manager.Comment("executing step \'call Initialize(ReadOnlyDomainController,Disable,Windows2k8,2,Tru" +
"e)\'");
this.ILsadManagedAdapterInstance.Initialize(Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ProtocolServerConfig.ReadOnlyDomainController, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.AnonymousAccess)(0)), Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Server.Windows2k8, 2, true);
this.Manager.Comment("reaching state \'S1\'");
this.Manager.Comment("checking step \'return Initialize\'");
this.Manager.Comment("reaching state \'S2\'");
Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle temp0;
Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus temp1;
this.Manager.Comment("executing step \'call OpenPolicy2(Null,3507,out _)\'");
temp1 = this.ILsadManagedAdapterInstance.OpenPolicy2(((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.RootDirectory)(0)), 3507u, out temp0);
this.Manager.Comment("reaching state \'S3\'");
this.Manager.Comment("checking step \'return OpenPolicy2/[out Valid]:Success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle)(0)), temp0, "policyHandle of OpenPolicy2, state S3");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus)(0)), temp1, "return of OpenPolicy2, state S3");
this.Manager.Comment("reaching state \'S4\'");
Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle temp2;
Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus temp3;
this.Manager.Comment(@"executing step 'call CreateTrustedDomainEx(1,TRUSTED_DOMAIN_INFORMATION_EX(TrustDomainName=""Domain"",TrustDomain_Sid=""DomainSid"",TrustDomain_NetBiosName=""NetBiosName"",TrustType=2,TrustDir=2,TrustAttr=8),Valid,Valid,DS_BEHAVIOR_WIN2003,True,65663,TRUSTED_DOMAIN_AUTH_INFORMATION(IncomingAuthInfos=0,OutgoingAuthInfos=0),out _)'");
temp3 = this.ILsadManagedAdapterInstance.CreateTrustedDomainEx(1, this.Make <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TRUSTED_DOMAIN_INFORMATION_EX>(new string[] {
"TrustDomainName",
"TrustDomain_Sid",
"TrustDomain_NetBiosName",
"TrustType",
"TrustDir",
"TrustAttr"
}, new object[] {
"Domain",
"DomainSid",
"NetBiosName",
2u,
2u,
8u
}), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ValidString)(0)), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.DomainSid)(0)), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ForestFunctionalLevel)(1)), true, 65663u, this.Make <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TRUSTED_DOMAIN_AUTH_INFORMATION>(new string[] {
"IncomingAuthInfos",
"OutgoingAuthInfos"
}, new object[] {
0u,
0u
}), out temp2);
this.Manager.Comment("reaching state \'S5\'");
this.Manager.Comment("checking step \'return CreateTrustedDomainEx/[out Invalid]:ObjectNameNotFound\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle)(1)), temp2, "trustHandle of CreateTrustedDomainEx, state S5");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus.ObjectNameNotFound, temp3, "return of CreateTrustedDomainEx, state S5");
this.Manager.Comment("reaching state \'S6\'");
Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle temp4;
Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus temp5;
this.Manager.Comment(@"executing step 'call CreateTrustedDomainEx2(1,TRUSTED_DOMAIN_INFORMATION_EX(TrustDomainName=""Domain"",TrustDomain_Sid=""DomainSid"",TrustDomain_NetBiosName=""NetBiosName"",TrustType=2,TrustDir=2,TrustAttr=8),Valid,Valid,DS_BEHAVIOR_WIN2003,True,4061069327,out _)'");
temp5 = this.ILsadManagedAdapterInstance.CreateTrustedDomainEx2(1, this.Make <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TRUSTED_DOMAIN_INFORMATION_EX>(new string[] {
"TrustDomainName",
"TrustDomain_Sid",
"TrustDomain_NetBiosName",
"TrustType",
"TrustDir",
"TrustAttr"
}, new object[] {
"Domain",
"DomainSid",
"NetBiosName",
2u,
2u,
8u
}), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ValidString)(0)), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.DomainSid)(0)), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ForestFunctionalLevel)(1)), true, 4061069327u, out temp4);
this.Manager.Comment("reaching state \'S7\'");
this.Manager.Comment("checking step \'return CreateTrustedDomainEx2/[out Invalid]:ObjectNameNotFound\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle)(1)), temp4, "trustHandle of CreateTrustedDomainEx2, state S7");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus.ObjectNameNotFound, temp5, "return of CreateTrustedDomainEx2, state S7");
this.Manager.Comment("reaching state \'S8\'");
Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle temp6;
Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus temp7;
this.Manager.Comment("executing step \'call CreateTrustedDomain(1,TRUSTED_DOMAIN_INFORMATION_EX(TrustDom" +
"ainName=\"Domain\",TrustDomain_Sid=\"DomainSid\",TrustDomain_NetBiosName=\"DomainNetB" +
"ios\",TrustType=0,TrustDir=0,TrustAttr=0),Valid,True,Valid,4061069439,out _)\'");
temp7 = this.ILsadManagedAdapterInstance.CreateTrustedDomain(1, this.Make <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TRUSTED_DOMAIN_INFORMATION_EX>(new string[] {
"TrustDomainName",
"TrustDomain_Sid",
"TrustDomain_NetBiosName",
"TrustType",
"TrustDir",
"TrustAttr"
}, new object[] {
"Domain",
"DomainSid",
"DomainNetBios",
0u,
0u,
0u
}), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.DomainSid)(0)), true, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ValidString)(0)), 4061069439u, out temp6);
this.Manager.Comment("reaching state \'S9\'");
this.Manager.Comment("checking step \'return CreateTrustedDomain/[out Invalid]:ObjectNameNotFound\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle>(this.Manager, ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.Handle)(1)), temp6, "trustHandle of CreateTrustedDomain, state S9");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus.ObjectNameNotFound, temp7, "return of CreateTrustedDomain, state S9");
this.Manager.Comment("reaching state \'S10\'");
Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus temp8;
this.Manager.Comment(@"executing step 'call SetTrustedDomainInfoByName(1,TRUSTED_DOMAIN_INFORMATION_EX(TrustDomainName=""Domain"",TrustDomain_Sid=""DomainSid"",TrustDomain_NetBiosName=""DomainNetBios"",TrustType=2,TrustDir=1,TrustAttr=8),Valid,DS_BEHAVIOR_WIN2003,TrustedDomainInformationEx,True)'");
temp8 = this.ILsadManagedAdapterInstance.SetTrustedDomainInfoByName(1, this.Make <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TRUSTED_DOMAIN_INFORMATION_EX>(new string[] {
"TrustDomainName",
"TrustDomain_Sid",
"TrustDomain_NetBiosName",
"TrustType",
"TrustDir",
"TrustAttr"
}, new object[] {
"Domain",
"DomainSid",
"DomainNetBios",
2u,
1u,
8u
}), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ValidString)(0)), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ForestFunctionalLevel)(1)), Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TrustedInformationClass.TrustedDomainInformationEx, true);
this.Manager.Comment("reaching state \'S11\'");
this.Manager.Comment("checking step \'return SetTrustedDomainInfoByName/ObjectNameNotFound\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus.ObjectNameNotFound, temp8, "return of SetTrustedDomainInfoByName, state S11");
this.Manager.Comment("reaching state \'S12\'");
Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus temp9;
this.Manager.Comment(@"executing step 'call SetTrustedDomainInfo(1,TRUSTED_DOMAIN_INFORMATION_EX(TrustDomainName=""Domain"",TrustDomain_Sid=""DomainSid"",TrustDomain_NetBiosName=""NetBiosName"",TrustType=2,TrustDir=2,TrustAttr=8),Valid,DS_BEHAVIOR_WIN2003,TrustedDomainNameInformation,True,TRUSTED_DOMAIN_AUTH_INFORMATION(IncomingAuthInfos=0,OutgoingAuthInfos=0),4061069443,True)'");
temp9 = this.ILsadManagedAdapterInstance.SetTrustedDomainInfo(1, this.Make <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TRUSTED_DOMAIN_INFORMATION_EX>(new string[] {
"TrustDomainName",
"TrustDomain_Sid",
"TrustDomain_NetBiosName",
"TrustType",
"TrustDir",
"TrustAttr"
}, new object[] {
"Domain",
"DomainSid",
"NetBiosName",
2u,
2u,
8u
}), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.DomainSid)(0)), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ForestFunctionalLevel)(1)), ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TrustedInformationClass)(1)), true, this.Make <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.TRUSTED_DOMAIN_AUTH_INFORMATION>(new string[] {
"IncomingAuthInfos",
"OutgoingAuthInfos"
}, new object[] {
0u,
0u
}), 4061069443u, true);
this.Manager.Comment("reaching state \'S13\'");
this.Manager.Comment("checking step \'return SetTrustedDomainInfo/ObjectNameNotFound\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus.ObjectNameNotFound, temp9, "return of SetTrustedDomainInfo, state S13");
this.Manager.Comment("reaching state \'S14\'");
Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus temp10;
this.Manager.Comment("executing step \'call DeleteTrustedDomain(1,\"DomainSid\",Valid)\'");
temp10 = this.ILsadManagedAdapterInstance.DeleteTrustedDomain(1, "DomainSid", ((Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.DomainSid)(0)));
this.Manager.Checkpoint("MS-LSAD_R633");
this.Manager.Comment("reaching state \'S15\'");
this.Manager.Comment("checking step \'return DeleteTrustedDomain/NotSupported\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus>(this.Manager, Microsoft.Protocols.TestSuites.ActiveDirectory.Lsad.ErrorStatus.NotSupported, temp10, "return of DeleteTrustedDomain, state S15");
this.Manager.Comment("reaching state \'S16\'");
this.Manager.EndTest();
}
public void SetFileValidDataLengthInformationTestCaseS0()
{
this.Manager.BeginTest("SetFileValidDataLengthInformationTestCaseS0");
this.Manager.Comment("reaching state \'S0\'");
this.Manager.Comment("executing step \'call FsaInitial()\'");
this.IFSAAdapterInstance.FsaInitial();
this.Manager.Comment("reaching state \'S1\'");
this.Manager.Comment("checking step \'return FsaInitial\'");
this.Manager.Comment("reaching state \'S4\'");
bool temp0;
this.Manager.Comment("executing step \'call GetIfOpenHasManageVolumeAccess(out _)\'");
this.IFSAAdapterInstance.GetIfOpenHasManageVolumeAccess(out temp0);
this.Manager.AddReturn(GetIfOpenHasManageVolumeAccessInfo, null, temp0);
this.Manager.Comment("reaching state \'S6\'");
int temp5 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(SetFileValidDataLengthInformationTestCase.GetIfOpenHasManageVolumeAccessInfo, null, new GetIfOpenHasManageVolumeAccessDelegate1(this.SetFileValidDataLengthInformationTestCaseS0GetIfOpenHasManageVolumeAccessChecker)), new ExpectedReturn(SetFileValidDataLengthInformationTestCase.GetIfOpenHasManageVolumeAccessInfo, null, new GetIfOpenHasManageVolumeAccessDelegate1(this.SetFileValidDataLengthInformationTestCaseS0GetIfOpenHasManageVolumeAccessChecker1)));
if ((temp5 == 0))
{
this.Manager.Comment("reaching state \'S8\'");
Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp1;
this.Manager.Comment("executing step \'call CreateFile(NORMAL,NON_DIRECTORY_FILE,NULL,GENERIC_WRITE,FILE" +
"_SHARE_WRITE,OPEN_IF,StreamIsFound,IsNotSymbolicLink,DataFile,PathNameValid)\'");
temp1 = this.IFSAAdapterInstance.CreateFile(Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAttribute.NORMAL, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateOptions.NON_DIRECTORY_FILE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamTypeNameToOpen.NULL, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAccess.GENERIC_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.ShareAccess.FILE_SHARE_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateDisposition.OPEN_IF, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamFoundType)(0)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SymbolicLinkType)(1)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileType)(0)), Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileNameStatus.PathNameValid);
this.Manager.Checkpoint("MS-FSA_R405");
this.Manager.Checkpoint(@"[In Application Requests an Open of a File , Pseudocode for the operation is as follows:
Phase 6 -- Location of file:] Pseudocode for this search:For i = 1 to n-1:
If Open.GrantedAccess.FILE_TRAVERSE is not set and AccessCheck( SecurityContext, Link.File.SecurityDescriptor, FILE_TRAVERSE )
returns FALSE, the operation is not failed with STATUS_ACCESS_DENIED in Windows.");
this.Manager.Checkpoint("MS-FSA_R475");
this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n " +
" The object store MUST return:CreateAction set to FILE_CREATED.");
this.Manager.Checkpoint("MS-FSA_R474");
this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n " +
" The object store MUST return :Status set to STATUS_SUCCESS.");
this.Manager.Comment("reaching state \'S12\'");
this.Manager.Comment("checking step \'return CreateFile/SUCCESS\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus)(0)), temp1, "return of CreateFile, state S12");
this.Manager.Comment("reaching state \'S16\'");
Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp2;
this.Manager.Comment("executing step \'call SetFileValidDataLengthInfo(False)\'");
temp2 = this.IFSAAdapterInstance.SetFileValidDataLengthInfo(false);
this.Manager.Checkpoint("MS-FSA_R3203");
this.Manager.Checkpoint("[In FileValidDataLengthInformation,Pseudocode for the operation is as follows:]\r\n" +
" If Open.HasManageVolumeAccess is FALSE, the operation MUST b" +
"e failed with STATUS_PRIVILEGE_NOT_HELD.");
this.Manager.Comment("reaching state \'S20\'");
this.Manager.Comment("checking step \'return SetFileValidDataLengthInfo/PRIVILEGE_NOT_HELD\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus.PRIVILEGE_NOT_HELD, temp2, "return of SetFileValidDataLengthInfo, state S20");
this.Manager.Comment("reaching state \'S24\'");
goto label0;
}
if ((temp5 == 1))
{
this.Manager.Comment("reaching state \'S9\'");
Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp3;
this.Manager.Comment("executing step \'call CreateFile(NORMAL,NON_DIRECTORY_FILE,NULL,GENERIC_WRITE,FILE" +
"_SHARE_WRITE,OPEN_IF,StreamIsFound,IsNotSymbolicLink,DataFile,PathNameValid)\'");
temp3 = this.IFSAAdapterInstance.CreateFile(Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAttribute.NORMAL, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateOptions.NON_DIRECTORY_FILE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamTypeNameToOpen.NULL, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileAccess.GENERIC_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.ShareAccess.FILE_SHARE_WRITE, Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.CreateDisposition.OPEN_IF, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.StreamFoundType)(0)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.SymbolicLinkType)(1)), ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileType)(0)), Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.FileNameStatus.PathNameValid);
this.Manager.Checkpoint("MS-FSA_R405");
this.Manager.Checkpoint(@"[In Application Requests an Open of a File , Pseudocode for the operation is as follows:
Phase 6 -- Location of file:] Pseudocode for this search:For i = 1 to n-1:
If Open.GrantedAccess.FILE_TRAVERSE is not set and AccessCheck( SecurityContext, Link.File.SecurityDescriptor, FILE_TRAVERSE )
returns FALSE, the operation is not failed with STATUS_ACCESS_DENIED in Windows.");
this.Manager.Checkpoint("MS-FSA_R475");
this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n " +
" The object store MUST return:CreateAction set to FILE_CREATED.");
this.Manager.Checkpoint("MS-FSA_R474");
this.Manager.Checkpoint("[In Creation of a New File,Pseudocode for the operation is as follows:]\r\n " +
" The object store MUST return :Status set to STATUS_SUCCESS.");
this.Manager.Comment("reaching state \'S13\'");
this.Manager.Comment("checking step \'return CreateFile/SUCCESS\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus)(0)), temp3, "return of CreateFile, state S13");
this.Manager.Comment("reaching state \'S17\'");
Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus temp4;
this.Manager.Comment("executing step \'call SetFileValidDataLengthInfo(False)\'");
temp4 = this.IFSAAdapterInstance.SetFileValidDataLengthInfo(false);
this.Manager.Checkpoint("MS-FSA_R3210");
this.Manager.Checkpoint("[In FileValidDataLengthInformation,Pseudocode for the operation is as follows:]Re" +
"turn STATUS_SUCCESS.");
this.Manager.Comment("reaching state \'S21\'");
this.Manager.Comment("checking step \'return SetFileValidDataLengthInfo/SUCCESS\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.FileSharing.FSA.Adapter.MessageStatus)(0)), temp4, "return of SetFileValidDataLengthInfo, state S21");
this.Manager.Comment("reaching state \'S25\'");
goto label0;
}
throw new InvalidOperationException("never reached");
label0:
;
this.Manager.EndTest();
}
public void MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuite1()
{
this.Manager.BeginTest("MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuite1");
this.Manager.Comment("reaching state \'S2\'");
bool temp6;
this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckMAPIHTTPTransportSupported(out temp6);
this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp6);
this.Manager.Comment("reaching state \'S3\'");
int temp11 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_QueryPositionSuccess_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuite1CheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S02_RowRops_QueryPositionSuccess_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuite1CheckMAPIHTTPTransportSupportedChecker1)));
if ((temp11 == 0))
{
this.Manager.Comment("reaching state \'S8\'");
this.Manager.Comment("executing step \'call InitializeTable(CONTENT_TABLE)\'");
this.IMS_OXCTABLAdapterInstance.InitializeTable(((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType)(0)));
this.Manager.Comment("reaching state \'S13\'");
this.Manager.Comment("checking step \'return InitializeTable\'");
this.Manager.Comment("reaching state \'S16\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp7;
this.Manager.Comment("executing step \'call RopSetColumns(1,False,False,False)\'");
temp7 = this.IMS_OXCTABLAdapterInstance.RopSetColumns(1u, false, false, false);
this.Manager.Checkpoint("MS-OXCTABL_R831");
this.Manager.Checkpoint("MS-OXCTABL_R45");
this.Manager.Comment("reaching state \'S19\'");
this.Manager.Comment("checking step \'return RopSetColumns/success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp7, "return of RopSetColumns, state S19");
this.Manager.Comment("reaching state \'S22\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp8;
this.Manager.Comment("executing step \'call RopCreateBookmark()\'");
temp8 = this.IMS_OXCTABLAdapterInstance.RopCreateBookmark();
this.Manager.Checkpoint("MS-OXCTABL_R526");
this.Manager.Comment("reaching state \'S25\'");
this.Manager.Comment("checking step \'return RopCreateBookmark/success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp8, "return of RopCreateBookmark, state S25");
this.Manager.Comment("reaching state \'S27\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp9;
this.Manager.Comment("executing step \'call RopSortTable(1,True,False,False,False,False,False,False)\'");
temp9 = this.IMS_OXCTABLAdapterInstance.RopSortTable(1u, true, false, false, false, false, false, false);
this.Manager.Checkpoint("MS-OXCTABL_R447");
this.Manager.Comment("reaching state \'S29\'");
this.Manager.Comment("checking step \'return RopSortTable/success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp9, "return of RopSortTable, state S29");
this.Manager.Comment("reaching state \'S31\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp10;
this.Manager.Comment("executing step \'call RopQueryPosition()\'");
temp10 = this.IMS_OXCTABLAdapterInstance.RopQueryPosition();
this.Manager.Checkpoint("MS-OXCTABL_R846");
this.Manager.Comment("reaching state \'S33\'");
this.Manager.Comment("checking step \'return RopQueryPosition/success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp10, "return of RopQueryPosition, state S33");
this.Manager.Comment("reaching state \'S35\'");
if ((this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(S02_RowRops_QueryPositionSuccess_TestSuite.RopQueryPositionResponseInfo, null, new RopQueryPositionResponseDelegate1(this.MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuite1RopQueryPositionResponseChecker))) != -1))
{
this.Manager.Comment("reaching state \'S37\'");
}
else
{
this.Manager.CheckObservationTimeout(false, new ExpectedEvent(S02_RowRops_QueryPositionSuccess_TestSuite.RopQueryPositionResponseInfo, null, new RopQueryPositionResponseDelegate1(this.MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuite1RopQueryPositionResponseChecker)));
}
goto label1;
}
if ((temp11 == 1))
{
this.Manager.Comment("reaching state \'S9\'");
goto label1;
}
throw new InvalidOperationException("never reached");
label1:
;
this.Manager.EndTest();
}
private void NoSignRequirementCoverage_Printer_Win7_Win2K8S0SmbConnectionResponseChecker(Microsoft.Protocol.TestSuites.Smb.Platform clientPlatform, Microsoft.Protocol.TestSuites.Smb.Platform sutPlatform)
{
this.Manager.Comment("checking step \'event SmbConnectionResponse(Win7,Win2K8)\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocol.TestSuites.Smb.Platform>(this.Manager, Microsoft.Protocol.TestSuites.Smb.Platform.Win7, clientPlatform, "clientPlatform of SmbConnectionResponse, state S2");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocol.TestSuites.Smb.Platform>(this.Manager, Microsoft.Protocol.TestSuites.Smb.Platform.Win2K8, sutPlatform, "sutPlatform of SmbConnectionResponse, state S2");
}
private void MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuite2CheckMAPIHTTPTransportSupportedChecker1(bool isSupported)
{
this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out False]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, false, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S5");
}
private void MSOXCTABL_S02_RowRops_QueryRowsecNullObject_TestSuiteCheckRequirementEnabledChecker13(bool enabled)
{
this.Manager.Comment("checking step \'return CheckRequirementEnabled/[out False]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, false, enabled, "enabled of CheckRequirementEnabled, state S18");
}
public void MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuite()
{
this.Manager.BeginTest("MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuite");
this.Manager.Comment("reaching state \'S0\'");
bool temp0;
this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckMAPIHTTPTransportSupported(out temp0);
this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp0);
this.Manager.Comment("reaching state \'S1\'");
int temp5 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S02_RowRops_QueryPositionSuccess_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuiteCheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S02_RowRops_QueryPositionSuccess_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuiteCheckMAPIHTTPTransportSupportedChecker1)));
if ((temp5 == 0))
{
this.Manager.Comment("reaching state \'S6\'");
goto label0;
}
if ((temp5 == 1))
{
this.Manager.Comment("reaching state \'S7\'");
this.Manager.Comment("executing step \'call InitializeTable(CONTENT_TABLE)\'");
this.IMS_OXCTABLAdapterInstance.InitializeTable(((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType)(0)));
this.Manager.Comment("reaching state \'S12\'");
this.Manager.Comment("checking step \'return InitializeTable\'");
this.Manager.Comment("reaching state \'S15\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp1;
this.Manager.Comment("executing step \'call RopSetColumns(1,False,False,False)\'");
temp1 = this.IMS_OXCTABLAdapterInstance.RopSetColumns(1u, false, false, false);
this.Manager.Checkpoint("MS-OXCTABL_R831");
this.Manager.Checkpoint("MS-OXCTABL_R45");
this.Manager.Comment("reaching state \'S18\'");
this.Manager.Comment("checking step \'return RopSetColumns/success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp1, "return of RopSetColumns, state S18");
this.Manager.Comment("reaching state \'S21\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp2;
this.Manager.Comment("executing step \'call RopCreateBookmark()\'");
temp2 = this.IMS_OXCTABLAdapterInstance.RopCreateBookmark();
this.Manager.Checkpoint("MS-OXCTABL_R526");
this.Manager.Comment("reaching state \'S24\'");
this.Manager.Comment("checking step \'return RopCreateBookmark/success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp2, "return of RopCreateBookmark, state S24");
this.Manager.Comment("reaching state \'S26\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp3;
this.Manager.Comment("executing step \'call RopRestrict(1,True,False,False)\'");
temp3 = this.IMS_OXCTABLAdapterInstance.RopRestrict(1u, true, false, false);
this.Manager.Checkpoint("MS-OXCTABL_R834");
this.Manager.Comment("reaching state \'S28\'");
this.Manager.Comment("checking step \'return RopRestrict/success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp3, "return of RopRestrict, state S28");
this.Manager.Comment("reaching state \'S30\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp4;
this.Manager.Comment("executing step \'call RopQueryPosition()\'");
temp4 = this.IMS_OXCTABLAdapterInstance.RopQueryPosition();
this.Manager.Checkpoint("MS-OXCTABL_R846");
this.Manager.Comment("reaching state \'S32\'");
this.Manager.Comment("checking step \'return RopQueryPosition/success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp4, "return of RopQueryPosition, state S32");
this.Manager.Comment("reaching state \'S34\'");
if ((this.Manager.ExpectEvent(this.QuiescenceTimeout, true, new ExpectedEvent(S02_RowRops_QueryPositionSuccess_TestSuite.RopQueryPositionResponseInfo, null, new RopQueryPositionResponseDelegate1(this.MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuiteRopQueryPositionResponseChecker))) != -1))
{
this.Manager.Comment("reaching state \'S36\'");
}
else
{
this.Manager.CheckObservationTimeout(false, new ExpectedEvent(S02_RowRops_QueryPositionSuccess_TestSuite.RopQueryPositionResponseInfo, null, new RopQueryPositionResponseDelegate1(this.MSOXCTABL_S02_RowRops_QueryPositionSuccess_TestSuiteRopQueryPositionResponseChecker)));
}
goto label0;
}
throw new InvalidOperationException("never reached");
label0:
;
this.Manager.EndTest();
}
private void MSOXCTABL_S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuiteCheckMAPIHTTPTransportSupportedChecker1(bool isSupported)
{
this.Manager.Comment("checking step \'return CheckMAPIHTTPTransportSupported/[out True]\'");
TestManagerHelpers.AssertAreEqual <bool>(this.Manager, true, isSupported, "isSupported of CheckMAPIHTTPTransportSupported, state S1");
}
public void MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuite1()
{
this.Manager.BeginTest("MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuite1");
this.Manager.Comment("reaching state \'S2\'");
bool temp8;
this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckMAPIHTTPTransportSupported(out temp8);
this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp8);
this.Manager.Comment("reaching state \'S3\'");
int temp15 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S07_AsyncRops_GetStatusNotSupported_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuite1CheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S07_AsyncRops_GetStatusNotSupported_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuite1CheckMAPIHTTPTransportSupportedChecker1)));
if ((temp15 == 0))
{
this.Manager.Comment("reaching state \'S6\'");
bool temp9;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(792,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(792, out temp9);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp9);
this.Manager.Comment("reaching state \'S9\'");
int temp14 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S07_AsyncRops_GetStatusNotSupported_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuite1CheckRequirementEnabledChecker)), new ExpectedReturn(S07_AsyncRops_GetStatusNotSupported_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S07_AsyncRops_GetStatusNotSupported_TestSuite1CheckRequirementEnabledChecker1)));
if ((temp14 == 0))
{
this.Manager.Comment("reaching state \'S12\'");
this.Manager.Comment("executing step \'call InitializeTable(ATTACHMENTS_TABLE)\'");
this.IMS_OXCTABLAdapterInstance.InitializeTable(Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType.ATTACHMENTS_TABLE);
this.Manager.Comment("reaching state \'S16\'");
this.Manager.Comment("checking step \'return InitializeTable\'");
this.Manager.Comment("reaching state \'S20\'");
Microsoft.Protocols.TestSuites.Common.TableStatus temp10;
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp11;
this.Manager.Comment("executing step \'call RopGetStatus(out _)\'");
temp11 = this.IMS_OXCTABLAdapterInstance.RopGetStatus(out temp10);
this.Manager.Comment("reaching state \'S24\'");
this.Manager.Comment("checking step \'return RopGetStatus/[out TblstatComplete]:NotImplemented\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.Common.TableStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.Common.TableStatus)(0)), temp10, "tableStatus of RopGetStatus, state S24");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues.NotImplemented, temp11, "return of RopGetStatus, state S24");
this.Manager.Comment("reaching state \'S28\'");
goto label2;
}
if ((temp14 == 1))
{
this.Manager.Comment("reaching state \'S13\'");
this.Manager.Comment("executing step \'call InitializeTable(ATTACHMENTS_TABLE)\'");
this.IMS_OXCTABLAdapterInstance.InitializeTable(Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType.ATTACHMENTS_TABLE);
this.Manager.Comment("reaching state \'S17\'");
this.Manager.Comment("checking step \'return InitializeTable\'");
this.Manager.Comment("reaching state \'S21\'");
Microsoft.Protocols.TestSuites.Common.TableStatus temp12;
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp13;
this.Manager.Comment("executing step \'call RopGetStatus(out _)\'");
temp13 = this.IMS_OXCTABLAdapterInstance.RopGetStatus(out temp12);
this.Manager.Comment("reaching state \'S25\'");
this.Manager.Comment("checking step \'return RopGetStatus/[out TblstatComplete]:success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.Common.TableStatus>(this.Manager, ((Microsoft.Protocols.TestSuites.Common.TableStatus)(0)), temp12, "tableStatus of RopGetStatus, state S25");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp13, "return of RopGetStatus, state S25");
this.Manager.Comment("reaching state \'S29\'");
goto label2;
}
throw new InvalidOperationException("never reached");
label2:
;
goto label3;
}
if ((temp15 == 1))
{
this.Manager.Comment("reaching state \'S7\'");
goto label3;
}
throw new InvalidOperationException("never reached");
label3:
;
this.Manager.EndTest();
}
public void MSOXCTABL_S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuite()
{
this.Manager.BeginTest("MSOXCTABL_S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuite");
this.Manager.Comment("reaching state \'S0\'");
bool temp0;
this.Manager.Comment("executing step \'call CheckMAPIHTTPTransportSupported(out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckMAPIHTTPTransportSupported(out temp0);
this.Manager.AddReturn(CheckMAPIHTTPTransportSupportedInfo, null, temp0);
this.Manager.Comment("reaching state \'S1\'");
int temp7 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuiteCheckMAPIHTTPTransportSupportedChecker)), new ExpectedReturn(S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuite.CheckMAPIHTTPTransportSupportedInfo, null, new CheckMAPIHTTPTransportSupportedDelegate1(this.MSOXCTABL_S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuiteCheckMAPIHTTPTransportSupportedChecker1)));
if ((temp7 == 0))
{
this.Manager.Comment("reaching state \'S2\'");
goto label2;
}
if ((temp7 == 1))
{
this.Manager.Comment("reaching state \'S3\'");
this.Manager.Comment("executing step \'call InitializeTable(CONTENT_TABLE)\'");
this.IMS_OXCTABLAdapterInstance.InitializeTable(((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableType)(0)));
this.Manager.Comment("reaching state \'S4\'");
this.Manager.Comment("checking step \'return InitializeTable\'");
this.Manager.Comment("reaching state \'S5\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp1;
this.Manager.Comment("executing step \'call RopCreateBookmark()\'");
temp1 = this.IMS_OXCTABLAdapterInstance.RopCreateBookmark();
this.Manager.Checkpoint("MS-OXCTABL_R526");
this.Manager.Comment("reaching state \'S6\'");
this.Manager.Comment("checking step \'return RopCreateBookmark/success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp1, "return of RopCreateBookmark, state S6");
this.Manager.Comment("reaching state \'S7\'");
bool temp2;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(872,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(872, out temp2);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp2);
this.Manager.Comment("reaching state \'S8\'");
int temp6 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuiteCheckRequirementEnabledChecker)), new ExpectedReturn(S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuiteCheckRequirementEnabledChecker1)));
if ((temp6 == 0))
{
this.Manager.Comment("reaching state \'S10\'");
goto label1;
}
if ((temp6 == 1))
{
this.Manager.Comment("reaching state \'S9\'");
bool temp3;
this.Manager.Comment("executing step \'call CheckRequirementEnabled(761,out _)\'");
this.IMS_OXCTABLAdapterInstance.CheckRequirementEnabled(761, out temp3);
this.Manager.AddReturn(CheckRequirementEnabledInfo, null, temp3);
this.Manager.Comment("reaching state \'S11\'");
int temp5 = this.Manager.ExpectReturn(this.QuiescenceTimeout, true, new ExpectedReturn(S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuiteCheckRequirementEnabledChecker2)), new ExpectedReturn(S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuite.CheckRequirementEnabledInfo, null, new CheckRequirementEnabledDelegate1(this.MSOXCTABL_S03_BookmarkRops_CreateBookmarkBeforeSetColumns_TestSuiteCheckRequirementEnabledChecker3)));
if ((temp5 == 0))
{
this.Manager.Comment("reaching state \'S12\'");
Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues temp4;
this.Manager.Comment("executing step \'call RopSeekRowBookmark(True,True,True)\'");
temp4 = this.IMS_OXCTABLAdapterInstance.RopSeekRowBookmark(true, true, true);
this.Manager.Checkpoint("MS-OXCTABL_R508");
this.Manager.Checkpoint("MS-OXCTABL_R872");
this.Manager.Checkpoint("MS-OXCTABL_R504");
this.Manager.Checkpoint("MS-OXCTABL_R522");
this.Manager.Comment("reaching state \'S14\'");
this.Manager.Comment("checking step \'return RopSeekRowBookmark/success\'");
TestManagerHelpers.AssertAreEqual <Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues>(this.Manager, ((Microsoft.Protocols.TestSuites.MS_OXCTABL.TableRopReturnValues)(0)), temp4, "return of RopSeekRowBookmark, state S14");
this.Manager.Comment("reaching state \'S15\'");
goto label0;
}
if ((temp5 == 1))
{
this.Manager.Comment("reaching state \'S13\'");
this.Manager.Assert(false, "reached non-accepting end state \'S13\'.");
goto label0;
}
throw new InvalidOperationException("never reached");
label0:
;
goto label1;
}
throw new InvalidOperationException("never reached");
label1:
;
goto label2;
}
throw new InvalidOperationException("never reached");
label2:
;
this.Manager.EndTest();
}
public void LDAP_TestScenarioDynamicWin2K8R2S0()
{
this.Manager.BeginTest("TestScenarioDynamicWin2K8R2S0");
this.Manager.Comment("reaching state \'S0\'");
this.Manager.Comment("executing step \'call Initialize()\'");
this.IAD_LDAPModelAdapterInstance.Initialize();
this.Manager.Comment("reaching state \'S1\'");
this.Manager.Comment("checking step \'return Initialize\'");
this.Manager.Comment("reaching state \'S4\'");
ConstrOnAddOpErrs temp0;
this.Manager.Comment(@"executing step 'call AddOperation([""cn: DynamicUser1"",""objectClass: dynamicObject;user"",""sAMAccountName: DynamicUser1"",""distinguishedName: CN=DynamicUser1,CN=Users,DC=adts88"",""objectCategory: CN=Person,CN=Schema,CN=Configuration,DC=adts88"",""entryTTL: 500""],RIGHT_DS_CREATE_CHILDwithSE_ENABLE_DELEGATION_PRIVILEGE,RIGHT_DS_ADD_GUID,Windows2K8R2,NoExtendedControl,AD_DS,False,out _)'");
this.IAD_LDAPModelAdapterInstance.AddOperation(new List <string> {
"cn: DynamicUser1", "objectClass: dynamicObject;user", "sAMAccountName: DynamicUser1", "distinguishedName: CN=DynamicUser1,CN=Users,DC=adts88", "objectCategory: CN=Person,CN=Schema,CN=Configuration,DC=adts88", "entryTTL: 500"
}, ((RightsOnParentObjects)(0)), ((NCRight)(0)), ServerVersion.Win2008R2, null, ((ADImplementations)(0)), false, out temp0);
this.Manager.Checkpoint("MS-AD_LDAP_R576");
this.Manager.Checkpoint("MS-AD_LDAP_R154");
this.Manager.Checkpoint("MS-AD_LDAP_R155");
this.Manager.Checkpoint("MS-AD_LDAP_R574");
this.Manager.Checkpoint("MS-AD_LDAP_R520");
this.Manager.Checkpoint("MS-AD_LDAP_R553");
this.Manager.Checkpoint("MS-AD_LDAP_R555");
this.Manager.Checkpoint("MS-AD_LDAP_R199");
this.Manager.Checkpoint("MS-AD_LDAP_R557");
this.Manager.Checkpoint("MS-AD_LDAP_R559");
this.Manager.Checkpoint("MS-AD_LDAP_R561");
this.Manager.Checkpoint("MS-AD_LDAP_R582");
this.Manager.Checkpoint("MS-AD_LDAP_R563");
this.Manager.Checkpoint("MS-AD_LDAP_R584");
this.Manager.Checkpoint("MS-AD_LDAP_R33");
this.Manager.Checkpoint("MS-AD_LDAP_R569");
this.Manager.Checkpoint("MS-AD_LDAP_R567");
this.Manager.Checkpoint("MS-AD_LDAP_R571");
this.Manager.Checkpoint("MS-AD_LDAP_R544");
this.Manager.Comment("reaching state \'S6\'");
this.Manager.Comment("checking step \'return AddOperation/[out success]\'");
TestManagerHelpers.AssertAreEqual <ConstrOnAddOpErrs>(this.Manager, ConstrOnAddOpErrs.success, temp0, "errorStatus of AddOperation, state S6");
this.Manager.Comment("reaching state \'S8\'");
ConstrOnAddOpErrs temp1;
this.Manager.Comment(@"executing step 'call AddOperation([""cn: DynamicUser"",""objectClass: dynamicObject;user"",""sAMAccountName: DynamicUser"",""distinguishedName: CN=DynamicUser,CN=Users,DC=adts88"",""objectCategory: CN=Person,CN=Schema,CN=Configuration,DC=adts88"",""msDS-Entry-Time-To-Die: 20201228143047.0Z""],RIGHT_DS_CREATE_CHILDwithSE_ENABLE_DELEGATION_PRIVILEGE,RIGHT_DS_ADD_GUID,Windows2K8R2,NoExtendedControl,AD_DS,False,out _)'");
this.IAD_LDAPModelAdapterInstance.AddOperation(new List <string> {
"cn: DynamicUser", "objectClass: dynamicObject;user", "sAMAccountName: DynamicUser", "distinguishedName: CN=DynamicUser,CN=Users,DC=adts88", "objectCategory: CN=Person,CN=Schema,CN=Configuration,DC=adts88", "msDS-Entry-Time-To-Die: 20201228143047.0Z"
}, ((RightsOnParentObjects)(0)), ((NCRight)(0)), ServerVersion.Win2008R2, null, ((ADImplementations)(0)), false, out temp1);
this.Manager.Checkpoint("MS-AD_LDAP_R576");
this.Manager.Checkpoint("MS-AD_LDAP_R154");
this.Manager.Checkpoint("MS-AD_LDAP_R155");
this.Manager.Checkpoint("MS-AD_LDAP_R574");
this.Manager.Checkpoint("MS-AD_LDAP_R520");
this.Manager.Checkpoint("MS-AD_LDAP_R553");
this.Manager.Checkpoint("MS-AD_LDAP_R555");
this.Manager.Checkpoint("MS-AD_LDAP_R199");
this.Manager.Checkpoint("MS-AD_LDAP_R557");
this.Manager.Checkpoint("MS-AD_LDAP_R559");
this.Manager.Checkpoint("MS-AD_LDAP_R561");
this.Manager.Checkpoint("MS-AD_LDAP_R582");
this.Manager.Checkpoint("MS-AD_LDAP_R563");
this.Manager.Checkpoint("MS-AD_LDAP_R584");
this.Manager.Checkpoint("MS-AD_LDAP_R595");
this.Manager.Checkpoint("MS-AD_LDAP_R33");
this.Manager.Checkpoint("MS-AD_LDAP_R569");
this.Manager.Checkpoint("MS-AD_LDAP_R567");
this.Manager.Checkpoint("MS-AD_LDAP_R571");
this.Manager.Checkpoint("MS-AD_LDAP_R544");
this.Manager.Comment("reaching state \'S10\'");
this.Manager.Comment("checking step \'return AddOperation/[out success]\'");
TestManagerHelpers.AssertAreEqual <ConstrOnAddOpErrs>(this.Manager, ConstrOnAddOpErrs.success, temp1, "errorStatus of AddOperation, state S10");
this.Manager.Comment("reaching state \'S12\'");
ConstrOnAddOpErrs temp2;
this.Manager.Comment(@"executing step 'call AddOperation([""cn: DynamicUserChild"",""objectClass: classStore"",""distinguishedName: CN=DynamicUserChild,CN=DynamicUser,CN=Users,DC=adts88"",""objectCategory: CN=Person,CN=Schema,CN=Configuration,DC=adts88""],RIGHT_DS_CREATE_CHILDwithSE_ENABLE_DELEGATION_PRIVILEGE,RIGHT_DS_ADD_GUID,Windows2K8R2,NoExtendedControl,AD_DS,False,out _)'");
this.IAD_LDAPModelAdapterInstance.AddOperation(new List <string> {
"cn: DynamicUserChild", "objectClass: classStore", "distinguishedName: CN=DynamicUserChild,CN=DynamicUser,CN=Users,DC=adts88", "objectCategory: CN=Person,CN=Schema,CN=Configuration,DC=adts88"
}, ((RightsOnParentObjects)(0)), ((NCRight)(0)), ServerVersion.Win2008R2, null, ((ADImplementations)(0)), false, out temp2);
this.Manager.Checkpoint("MS-AD_LDAP_R576");
this.Manager.Checkpoint("MS-AD_LDAP_R154");
this.Manager.Checkpoint("MS-AD_LDAP_R155");
this.Manager.Checkpoint("MS-AD_LDAP_R574");
this.Manager.Checkpoint("MS-AD_LDAP_R520");
this.Manager.Checkpoint("MS-AD_LDAP_R553");
this.Manager.Checkpoint("MS-AD_LDAP_R555");
this.Manager.Checkpoint("MS-AD_LDAP_R557");
this.Manager.Checkpoint("MS-AD_LDAP_R559");
this.Manager.Checkpoint("MS-AD_LDAP_R561");
this.Manager.Checkpoint("MS-AD_LDAP_R582");
this.Manager.Checkpoint("MS-AD_LDAP_R584");
this.Manager.Checkpoint("MS-AD_LDAP_R598");
this.Manager.Checkpoint("MS-AD_LDAP_R200");
this.Manager.Comment("reaching state \'S14\'");
this.Manager.Comment("checking step \'return AddOperation/[out UnwillingToPerform_ERROR_DS_UNWILLING_TO_" +
"PERFORM]\'");
TestManagerHelpers.AssertAreEqual <ConstrOnAddOpErrs>(this.Manager, ConstrOnAddOpErrs.UnwillingToPerform_ERROR_DS_UNWILLING_TO_PERFORM, temp2, "errorStatus of AddOperation, state S14");
this.Manager.Comment("reaching state \'S16\'");
ConstrOnAddOpErrs temp3;
this.Manager.Comment(@"executing step 'call AddOperation([""cn: DyUser"",""objectClass: dynamicObject;user"",""sAMAccountName: DyUser"",""distinguishedName: CN=DyUser,CN=Configuration,DC=adts88""],RIGHT_DS_CREATE_CHILDwithSE_ENABLE_DELEGATION_PRIVILEGE,RIGHT_DS_ADD_GUID,Windows2K8R2,NoExtendedControl,AD_DS,False,out _)'");
this.IAD_LDAPModelAdapterInstance.AddOperation(new List <string> {
"cn: DyUser", "objectClass: dynamicObject;user", "sAMAccountName: DyUser", "distinguishedName: CN=DyUser,CN=Configuration,DC=adts88"
}, ((RightsOnParentObjects)(0)), ((NCRight)(0)), ServerVersion.Win2008R2, null, ((ADImplementations)(0)), false, out temp3);
this.Manager.Checkpoint("MS-AD_LDAP_R576");
this.Manager.Checkpoint("MS-AD_LDAP_R154");
this.Manager.Checkpoint("MS-AD_LDAP_R155");
this.Manager.Checkpoint("MS-AD_LDAP_R574");
this.Manager.Checkpoint("MS-AD_LDAP_R520");
this.Manager.Checkpoint("MS-AD_LDAP_R553");
this.Manager.Checkpoint("MS-AD_LDAP_R555");
this.Manager.Checkpoint("MS-AD_LDAP_R198");
this.Manager.Comment("reaching state \'S18\'");
this.Manager.Comment("checking step \'return AddOperation/[out unSpecifiedError]\'");
TestManagerHelpers.AssertAreEqual <ConstrOnAddOpErrs>(this.Manager, ConstrOnAddOpErrs.unSpecifiedError, temp3, "errorStatus of AddOperation, state S18");
this.Manager.Comment("reaching state \'S20\'");
ConstrOnAddOpErrs temp4;
this.Manager.Comment(@"executing step 'call AddOperation([""cn: DynamicUser2"",""objectClass: dynamicObject;user"",""sAMAccountName: DynamicUser2"",""distinguishedName: CN=DynamicUser2,CN=Users,DC=adts88""],RIGHT_DS_CREATE_CHILDwithSE_ENABLE_DELEGATION_PRIVILEGE,RIGHT_DS_ADD_GUID,Windows2K8R2,NoExtendedControl,AD_DS,False,out _)'");
this.IAD_LDAPModelAdapterInstance.AddOperation(new List <string> {
"cn: DynamicUser2", "objectClass: dynamicObject;user", "sAMAccountName: DynamicUser2", "distinguishedName: CN=DynamicUser2,CN=Users,DC=adts88"
}, ((RightsOnParentObjects)(0)), ((NCRight)(0)), ServerVersion.Win2008R2, null, ((ADImplementations)(0)), false, out temp4);
this.Manager.Checkpoint("MS-AD_LDAP_R576");
this.Manager.Checkpoint("MS-AD_LDAP_R154");
this.Manager.Checkpoint("MS-AD_LDAP_R155");
this.Manager.Checkpoint("MS-AD_LDAP_R574");
this.Manager.Checkpoint("MS-AD_LDAP_R520");
this.Manager.Checkpoint("MS-AD_LDAP_R553");
this.Manager.Checkpoint("MS-AD_LDAP_R555");
this.Manager.Checkpoint("MS-AD_LDAP_R199");
this.Manager.Checkpoint("MS-AD_LDAP_R557");
this.Manager.Checkpoint("MS-AD_LDAP_R559");
this.Manager.Checkpoint("MS-AD_LDAP_R561");
this.Manager.Checkpoint("MS-AD_LDAP_R582");
this.Manager.Checkpoint("MS-AD_LDAP_R563");
this.Manager.Checkpoint("MS-AD_LDAP_R584");
this.Manager.Checkpoint("MS-AD_LDAP_R33");
this.Manager.Checkpoint("MS-AD_LDAP_R569");
this.Manager.Checkpoint("MS-AD_LDAP_R567");
this.Manager.Checkpoint("MS-AD_LDAP_R571");
this.Manager.Checkpoint("MS-AD_LDAP_R544");
this.Manager.Comment("reaching state \'S22\'");
this.Manager.Comment("checking step \'return AddOperation/[out success]\'");
TestManagerHelpers.AssertAreEqual <ConstrOnAddOpErrs>(this.Manager, ConstrOnAddOpErrs.success, temp4, "errorStatus of AddOperation, state S22");
this.Manager.Comment("reaching state \'S24\'");
ConstrOnModOpErrs temp5;
this.Manager.Comment(@"executing step 'call ModifyOperation({""entryTTL: 500""->[""objectClass: dynamicObject;user"",""distinguishedName: CN=DynamicUser2,CN=Users,DC=adts88""]},RIGHT_DS_WRITE_PROPERTYwithSE_ENABLE_DELEGATION_PRIVILEGE,NoExtendedControl,AD_DS,Windows2K8R2,False,out _)'");
this.IAD_LDAPModelAdapterInstance.ModifyOperation(new Dictionary <string, IList <string> > {
{ "entryTTL: 500", new List <string> {
"objectClass: dynamicObject;user", "distinguishedName: CN=DynamicUser2,CN=Users,DC=adts88"
} }
}, ((RightsOnAttributes)(0)), null, ((ADImplementations)(0)), ServerVersion.Win2008R2, false, out temp5);
this.Manager.Checkpoint("MS-AD_LDAP_R675");
this.Manager.Comment("reaching state \'S26\'");
this.Manager.Comment("checking step \'return ModifyOperation/[out success]\'");
TestManagerHelpers.AssertAreEqual <ConstrOnModOpErrs>(this.Manager, ConstrOnModOpErrs.success, temp5, "errorStatus of ModifyOperation, state S26");
TestScenarioDynamicWin2K8R2S28();
this.Manager.EndTest();
}
