PexContract.HasRequiredRuntimeContracts Method

Definition

Namespace:

Microsoft.Pex.Framework.Generated

Assembly:

Microsoft.Pex.Framework.dll

Overloads

HasRequiredRuntimeContracts(String, PexRuntimeContractsFlags)	Gets a value indicating whether assemblyName was instrumented by the contracts rewriter.
HasRequiredRuntimeContracts(Type, PexRuntimeContractsFlags)	Gets a value indicating if the assembly containing typeOfAssembly is instrumented.

HasRequiredRuntimeContracts(String, PexRuntimeContractsFlags)

Gets a value indicating whether assemblyName was instrumented by the contracts rewriter.

public:
 static bool HasRequiredRuntimeContracts(System::String ^ assemblyName, Microsoft::Pex::Framework::Generated::PexRuntimeContractsFlags requiredInstrumentationLevel);

public static bool HasRequiredRuntimeContracts (string assemblyName, Microsoft.Pex.Framework.Generated.PexRuntimeContractsFlags requiredInstrumentationLevel);

static member HasRequiredRuntimeContracts : string * Microsoft.Pex.Framework.Generated.PexRuntimeContractsFlags -> bool

Public Shared Function HasRequiredRuntimeContracts (assemblyName As String, requiredInstrumentationLevel As PexRuntimeContractsFlags) As Boolean

Parameters

assemblyName

String

requiredInstrumentationLevel

PexRuntimeContractsFlags

the minimum level of Contracts instrumentation

Returns

Boolean

HasRequiredRuntimeContracts(Type, PexRuntimeContractsFlags)

Gets a value indicating if the assembly containing typeOfAssembly is instrumented.

public:
 static bool HasRequiredRuntimeContracts(Type ^ typeOfAssembly, Microsoft::Pex::Framework::Generated::PexRuntimeContractsFlags requiredInstrumentationLevel);

public static bool HasRequiredRuntimeContracts (Type typeOfAssembly, Microsoft.Pex.Framework.Generated.PexRuntimeContractsFlags requiredInstrumentationLevel);

static member HasRequiredRuntimeContracts : Type * Microsoft.Pex.Framework.Generated.PexRuntimeContractsFlags -> bool

Public Shared Function HasRequiredRuntimeContracts (typeOfAssembly As Type, requiredInstrumentationLevel As PexRuntimeContractsFlags) As Boolean

Parameters

typeOfAssembly

Type

requiredInstrumentationLevel

PexRuntimeContractsFlags

the minimum level of Contracts instrumentation

Returns

Boolean