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)
Namespace: Microsoft.Modeling
Assembly: Microsoft.Xrt.Runtime (in Microsoft.Xrt.Runtime.dll)
| 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. |
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.
Development Platforms
Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003
Community Additions
ADD
Show: