Share via


PexContract.HasRequiredRuntimeContracts Method

Definition

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

Applies to

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

Applies to