Dela via

Microsoft.Xrt.Runtime Namespace

  • Artikel

The Microsoft.Xrt.Runtime namespace contains types that support the exploration environment.

Use the NativeTypeAttribute attribute to mark a type as a native type in your modeling assembly. In general, Spec Explorer cannot explore unmanaged code. Unmanaged code is any code that runs outside the common language runtime, such as COM components, ActiveX components, and Win32 API functions. However, Spec Explorer can explore an unmanaged type if you mark that type as a native type.

The Condition.AssertIsTrue method throws an AssertFailedException exception during exploration when the condition parameter of the method evaluates to false.

Other types in this namespace support exploration and are not intended to be used directly from your code.

Classes

Class Description
AssertFailedException An exception which is thrown when an assertion fails.
AssumeFailedException An exception which is thrown when an assumption fails.
Box This class supports the exploration infrastructure and is not intended to be used directly from your code.
MethodSubstitutionAttribute This assembly-level attribute defines a method substitution.
NativeTypeAttribute This assembly-level attribute indicates that a type should be treated as native.
ReflectionCallAttribute This method-level attribute indicates that this method should be executed by a call through reflection.
RuntimeList A class which represents a runtime list. Supports the XRT infrastructure.
RuntimeMap A class which represents a core collection type on base of which other types are implemented. Supports the XRT infrastructure.
RuntimeMapElement A class which represents a range element of a runtime map. Supports the XRT infrastructure.
RuntimeMapSplit A class which represents the result of splitting a map.
RuntimeSupport Supports the XRT engine infrastructure.
TypeSubstitutionAttribute This assembly-level attribute defines a type substitution.

Enumerations

Enumeration Description
QuantifierKind Kind of a quantifier.
Singleton An enumeration type to represent a singleton (a type which contains just one element)