Share via


PexContract Class

Definition

Helper methods for Code Contracts

public ref class PexContract abstract sealed
public static class PexContract
type PexContract = class
Public Class PexContract
Inheritance
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

Applies to