PexContract.HasRequiredRuntimeContracts Method
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Overloads
| HasRequiredRuntimeContracts(String, PexRuntimeContractsFlags) |
Gets a value indicating whether |
| 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 -> boolPublic Shared Function HasRequiredRuntimeContracts (assemblyName As String, requiredInstrumentationLevel As PexRuntimeContractsFlags) As BooleanParameters
- 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 -> boolPublic Shared Function HasRequiredRuntimeContracts (typeOfAssembly As Type, requiredInstrumentationLevel As PexRuntimeContractsFlags) As BooleanParameters
- typeOfAssembly
- Type
- requiredInstrumentationLevel
- PexRuntimeContractsFlags
the minimum level of Contracts instrumentation