Requirement.AssumeCaptured Method

  • Article

Indicates that a behavior has implicitly validated a requirement in the implementation.

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

Usage

'Usage

Syntax

'Declaration

public static void AssumeCaptured (
    string requirement
)

Parameters

  • requirement
    The requirement to capture.

Remarks

Use AssumeCaptured for a requirement that is indirectly validated in the model program. Use Capture for a requirement that is effectively and explicitly verified in the model code.

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

Requirement Class
Requirement Members
Microsoft.Modeling Namespace