Share via

RuntimeSupport Members

  • Article

Supports the XRT engine infrastructure.

The following tables list the members exposed by the RuntimeSupport type.

Public Properties

  Name Description
public property static RunningUnderXrt Determines whether the caller is executed under XRT.

Top

Public Methods

  Name Description
public method static AppendList Append two runtime lists.
public method static Assert Overloaded.  
public method static Assume Overloaded.  
public method static AssumeInDomain Assumes that a value is one of the given domain.
public method static AssumeInvariant Assumes the given condition globally for all execution paths.
public method static BuiltinEquals When running under XRT, performs built equality computation. When running under the CLR, simulates XRT's behavior.
public method static BuiltinHashCode When running under XRT, performs builtin hashcode computation. When running under the CLR, simulates the semantics of XRT's builtin hashcode computation.
public method static ChooseMapDomainValue Choose a unique domain element.
public method static Create Creates a value with non-public constructor/fields
public method static CreateAuxiliaryFunctionApplication This method supports the exploration infrastructure and is not intended to be used directly from your code.
public method static CreateChoicePoint  
public method static Describe Describes a (possibly symbolic) value.
public method static EngineDebuggerBreak This method supports the exploration infrastructure and is not intended to be used directly from your code.
public method static GetEnumerationAsArray Converts an enumerable to array.
public method static GetInstances When running under XRT, returns the living instances of type T.
When not running under XRT, returns null.
public method static GetListCount Get the number of elements in a runtime list.
public method static GetListHead Get the head of a runtime list.
public method static GetListTail Get the tail of a runtime list.
public method static GetMapCount Get the number of elements in the map.
public method static GetNativeRuntimeMapContent Returns a reference to the underlying dictionary of a native version of a runtime map. Must not be executed when running under XRT.
public method static GetVariableName Get the name of the given variable. At Xrt runtime, if the given value is not a variable, ArgumentException will be thrown.
public method static Ground Ensures that a value is ground.
public method static IsGround Determines if a value is ground.
public method static IsNullOrEmpty  
public method static IsShallowGround Determines if a value is shallow ground.
public method static MakeList Construct a runtime list cell from head and tail.
public method static MakeMap Creates a new runtime map.
public method static MakeMapElement Creates an element for a runtime map.
public method static MakeNativeRuntimeMap Creates a new native version of a runtime map based on given dictionary content. Must not be executed when running under XRT.
public method static Quantifier Creates a quantifier of given kind with given bounds. Typically, the bounds are symbolic values which have been obtained with Value. This is used to express data type invariants.
public method static RepresentationCompare When running under XRT, realizes a linear order on the representation of values which subsumes built-in equality.
When running under the CLR, does comparison of hash codes, which might not subsume built-in equality.
public method static SelectList Select element at index from runtime list.
public method static SelectMap Select from a runtime map. Returns null if not present.
public method static SplitMap Splits the map into a head and rest.
public method static TryGround Grounds a symbolic value if possible, otherwise keeps like is.
public method static UpdateMap Updates a runtime map. Use null as element to remove.
public method static Value Creates a symbolic value.

Top

See Also

Reference

RuntimeSupport Class
Microsoft.Xrt.Runtime Namespace