DefaultTestManager.SelectSatisfiedPreConstraint Method

Article
03/26/2013

A generated test case calls this method to check for one or more preconstraints that are expected by the associated behavior. This method supports the generated test cases and is not intended to be used directly from your code.

Namespace: Microsoft.SpecExplorer.Runtime.Testing
Assembly: Microsoft.SpecExplorer.Runtime (in Microsoft.SpecExplorer.Runtime.dll)

Usage

'Usage

Syntax

'Declaration

public virtual int SelectSatisfiedPreConstraint (
    bool printDiagnosisIfFail,
    params ExpectedPreConstraint[] expected
)

Parameters

printDiagnosisIfFail
true to throw an exception if an expected preconstraint is not satisfied; otherwise, false.

expected
The expected preconstraints.

Return Value

The index of the preconstraint within the expected preconstraints if an expected preconstraint is satisfied. -1 if none of the expected preconstraints are satisfied and failIfNone is false.

Thread Safety

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

Platforms

Development Platforms

Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003

Share via