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

Member nameDescription
NoneParameters are not expanded automatically.
OnBranchParameters are expanded at the first branch point in the rule.
OnEntryParameters are expanded at rule entry.
OnExitParameters 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: