Partager via

Condition.IsTrue Method (Boolean)

  • Article

Enables exploration of the enclosing rule if a condition evaluates to true.

Namespace: Microsoft.Modeling
Assembly: Microsoft.Xrt.Runtime (in Microsoft.Xrt.Runtime.dll)

Usage

'Usage

Syntax

'Declaration

public static void IsTrue (
    bool condition
)

Parameters

  • condition
    true to enable exploration of the enclosing rule; otherwise, false.

Remarks

If condition is false, then Spec Explorer does not explore the rule.

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

Condition Class
Condition Members
Microsoft.Modeling Namespace
Condition.IsFalse Method