Partager via

PexAssumeAttributeBase.GetPreciseType Method

  • Reference

Definition

Namespace:
Microsoft.Pex.Framework
Assembly:
Microsoft.Pex.Framework.dll

Checks a list of types compatible with this domain.

protected:
 bool GetPreciseType(Microsoft::ExtendedReflection::Metadata::TypeEx ^ targetType, [Runtime::InteropServices::Out] Microsoft::ExtendedReflection::Collections::ICopyable<Microsoft::ExtendedReflection::Metadata::TypeEx ^> ^ % types, [Runtime::InteropServices::Out] bool % allowOtherTypes);
protected bool GetPreciseType (Microsoft.ExtendedReflection.Metadata.TypeEx targetType, out Microsoft.ExtendedReflection.Collections.ICopyable<Microsoft.ExtendedReflection.Metadata.TypeEx> types, out bool allowOtherTypes);
member this.GetPreciseType : Microsoft.ExtendedReflection.Metadata.TypeEx * ICopyable * bool -> bool
Protected Function GetPreciseType (targetType As TypeEx, ByRef types As ICopyable(Of TypeEx), ByRef allowOtherTypes As Boolean) As Boolean

Parameters

targetType
Microsoft.ExtendedReflection.Metadata.TypeEx

Type of the target.

types
Microsoft.ExtendedReflection.Collections.ICopyable<Microsoft.ExtendedReflection.Metadata.TypeEx>

The types.

allowOtherTypes
Boolean

Whether the list of types is exclusive.

Returns

Boolean

Applies to