The MbUnit.Framework.ContractVerifiers namespace contains contracts (IContract)
that are used together with the VerifyContractAttribute to verify
common invariants that appear in contracts.
Classes
| Class | Description | |
|---|---|---|
 | AbstractContract |
Abstract base class for contracts.
|
| AccessorContract<(Of <(TTarget, TValue>)>) |
Contract for verifying the implementation of public type accessors, usually the getter and the setter of a particular property.
|
| CollectionContract<(Of <(TCollection, TItem>)>) |
Contract for verifying the implementation of the generic ICollection<(Of <(T>)>).
|
| CollisionProbability |
A list of common limits for the collision probability.
|
| ComparisonContract<(Of <(TTarget>)>) |
Contract for verifying the implementation of the generic IComparable<(Of <(T>)>) interface.
|
| DistinctInstanceCollection<(Of <(T>)>) |
A collection of distinct object instances. Every element represents a valid instance
which is different from all the other elements in the collection (object equality).
|
| EqualityContract<(Of <(TTarget>)>) |
Contract for verifying the implementation of the generic IEquatable<(Of <(T>)>) interface.
|
| EquivalenceClass<(Of <(T>)>) |
Contains a collection of equivalent object instances.
|
| EquivalenceClassCollection<(Of <(T>)>) |
A collection of equivalence classes.
|
| ExceptionContract<(Of <(TException>)>) |
Contract for verifying the implementation of a custom exception type.
|
| HashCodeAcceptanceContract<(Of <(T>)>) |
Contract for verifying the efficiency of the hash code generation algorithm for a given type.
|
| ImmutabilityContract<(Of <(TTarget>)>) |
Contract for verifying the implementation of an immutable type.
|
| InvalidValuesClass<(Of <(T>)>) |
A collection of distinct object instances associated with a particular exception type.
|
| InvalidValuesClassCollection<(Of <(T>)>) |
A collection of classes of distinct object instances gathered by the type
of the exception which is expected to be raised when the subject instances are passed
to a tested method or property.
|
| ListContract<(Of <(TList, TItem>)>) |
Contract for verifying the implementation of the generic IList<(Of <(T>)>) interface.
|
| UniformDistributionQuality |
A list of common limits for the uniform distribution significance level.
|
| VerifyContractAttribute |
Verifies that a contract has been satisfied.
|
Interfaces
| Interface | Description | |
|---|---|---|
 | IContract |
Describes a contract that can be verified.
|
Remarks
For example the EqualityContract<(Of <(TTarget>)>) ensures that the Equals(Object) and GetHashCode()()() methods and the equality operators produce consistent and correct results for the provided values. Likewise the ExceptionContract<(Of <(TException>)>) ensures that custom exception types are correctly implemented.
