PexContract Class

Definition

Namespace:

Microsoft.Pex.Framework.Generated

Assembly:

Microsoft.Pex.Framework.dll

Helper methods for Code Contracts

public ref class PexContract abstract sealed

public static class PexContract

type PexContract = class

Public Class PexContract

Inheritance

Object

PexContract

Methods

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.
IsContractException(Exception)	Gets a value indicating if the exception is a contract exception