Combination.Expand Method
Indicates that Spec Explorer should perform value expansion at a specific execution point.
Namespace: Microsoft.Modeling
Assembly: Microsoft.Xrt.Runtime (in Microsoft.Xrt.Runtime.dll)
Usage
'Usage
Syntax
'Declaration
public static void Expand (
params Object[] values
)
Parameters
- values
The values for which Spec Explorer should perform value expansion.
Remarks
Use this method to control the point at which Spec Explorer expands a parameter. This enables including constraints from enabling conditions into the parameter generation phase by placing those enabling conditions before the expansion point. If expansion is not called explicitly, the default expansion point is at the end of a rule 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.
If within the model program, a value is included as a parameter to the Expand method and that value is a parameter or depends on another value that is a parameter in a KeepUnexpanded 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
See Also
Reference
Combination Class
Combination Members
Microsoft.Modeling Namespace
Combination.ExcludeFromExpansion Method
KeepUnexpanded
RuleAttribute.DefaultParameterExpansionPoint