The ComparisonContract<(Of <(TTarget>)>) type exposes the following members.
Constructors
| Name | Description | |
|---|---|---|
 | ComparisonContract<(Of <(TTarget>)>) |
Default constructor.
|
Methods
| Name | Description | |
|---|---|---|
| Equals | (Inherited from Object.) |
 | Finalize |
Allows an Object to attempt to free resources and perform other cleanup operations before the Object is reclaimed by garbage collection.
(Inherited from Object.) |
| GetContractVerificationTests | Overloaded. |
| GetHashCode |
Serves as a hash function for a particular type.
(Inherited from Object.) |
| GetType |
Gets the Type of the current instance.
(Inherited from Object.) |
| MemberwiseClone |
Creates a shallow copy of the current Object.
(Inherited from Object.) |
| ToString | (Inherited from Object.) |
Extension Methods
| Name | Description | |
|---|---|---|
  | Format | Overloaded. |
Properties
| Name | Description | |
|---|---|---|
 | Context |
Gets the execution context.
(Inherited from AbstractContract.) |
 | EquivalenceClasses |
Gets or sets the collection of equivalence classes of instances
to feed the contract verifier.
|
| ImplementsOperatorOverloads |
Determines whether the verifier will evaluate the presence and the
behavior of the 4 operator overloads "Greater Than", "Greater Than
Or Equal", "Less Than", and "Less Than Or Equal".
|
