ParameterExpansionPoint Enumeration
Indicates when during exploration Spec Explorer performs parameter expansion for a rule.
Namespace: Microsoft.Modeling
Assembly: Microsoft.Xrt.Runtime (in Microsoft.Xrt.Runtime.dll)
Usage
'Usage
Syntax
'Declaration
public enum ParameterExpansionPoint
Members
| Member name | Description |
|---|---|
| None | Parameters are not expanded automatically. |
| OnBranch | Parameters are expanded at the first branch point in the rule. |
| OnEntry | Parameters are expanded at rule entry. |
| OnExit | Parameters are expanded at rule exit or at the first non-deterministic choice point, whichever occurs first. |
Remarks
Parameter expansion is the process by which Spec Explorer generates concrete values for the parameters of an action. When Spec Explorer expands parameters, it applies to the expansion process any domain, condition, and combination constraints that have been declared up to that point.
A branch point in a rule is any expression or statement that may create different execution paths. The &&, ||, ?:, and ?? operators each create a branch point, as do if, loop, and switch statements. Spec Explorer imposes some limitations on the use of unexpanded parameters in branch points. For more information, see Parameter Generation.
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
Microsoft.Modeling Namespace
RuleAttribute.DefaultParameterExpansionPoint