Combination.Isolated Method

Indicates that a set of conditions defines an isolation condition.

Namespace: Microsoft.Modeling
Assembly: Microsoft.Xrt.Runtime (in Microsoft.Xrt.Runtime.dll)

Usage

'Usage

Syntax

'Declaration

public static void Isolated (
    params bool[] conditions
)

Parameters

• conditions
  The set of conditions that defines the isolation condition.

Example

The following Cord script example indicates that for the KCombination action, Spec Explorer should generate two isolation combinations, one where n is negative and k is not, and one where k is negative and n is not. Additionally, all other parameter combinations that Spec Explorer generates for this action should exclude any combinations in which n or k is negative.

action abstract static int Adapter.KCombination(int n, int k)
    where
    {.
        Combination.Isolated(n < 0);
        Combination.Isolated(k < 0);
    .};

Remarks

Use this method to declare error conditions that should be tested in isolation from other parameter combinations and other error conditions.

Spec Explorer produces one combination for each isolation condition, and which does not overlap with any of the other isolation conditions. Additionally, Spec Explorer does not produce any other combinations that overlap with any declared isolation conditions.

Spec Explorer does not count produced isolation combinations towards interaction coverage.

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

Change History

See Also

Reference

Combination Class
Combination Members
Microsoft.Modeling Namespace