ParameterExpansionPoint Enumeration

Article
03/26/2013

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

Share via