Combination.ExcludeFromExpansion Method

Article
03/26/2013

Indicates that Spec Explorer should not expand a set of values within the scope of the enclosing method.

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

Usage

'Usage

Syntax

'Declaration

public static void ExcludeFromExpansion (
    params Object[] values
)

Parameters

values
The values that Spec Explorer should exclude from expansion.

Remarks

Spec Explorer can expand a value that depends on one or more of the values that are excluded from exploration.

To indicate that Spec Explorer should keep a value in a symbolic state within the scope of the model program, use the KeepUnexpanded method.

If within the same method scope, a value is included as a parameter to the ExcludeFromExpansion method and to the Expand method, then Spec Explorer does not expand the value.

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