PexInvariant Class

Definition

Helper method to create instances of types which have a contract invariant method

public ref class PexInvariant abstract sealed
public static class PexInvariant
type PexInvariant = class
Public Class PexInvariant
Inheritance
PexInvariant

Methods

CheckInvariant(Object)

Checks the invariant, if any exists.

CreateInstance<T>()

Creates an instance of a type with a contract invariant method.

SetField<T>(Object, String, T)

Sets a field of an object.

Applies to