The AbstractContract type exposes the following members.
Constructors
| Name | Description | |
|---|---|---|
| AbstractContract | Initializes a new instance of the AbstractContract class |
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.) | |
| GetInterface |
Gets the interface of a particular type if it is implemented by another type,
otherwise returns null.
| |
| GetType |
Gets the Type of the current instance.
(Inherited from Object.) | |
| MemberwiseClone |
Creates a shallow copy of the current Object.
(Inherited from Object.) | |
| MethodExists |
Verifies that the specified method info object is not null, indicating that the
method exists, otherwise raises an assertion failure and describes the expected method signature.
| |
| ToString | (Inherited from Object.) |
Extension Methods
| Name | Description | |
|---|---|---|
| Format | Overloaded. |
Properties
| Name | Description | |
|---|---|---|
| Context |
Gets the execution context.
|
