ContractRuntimeIgnoredAttribute Class
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Identifies a member that has no run-time behavior.
public ref class ContractRuntimeIgnoredAttribute sealed : Attribute[System.AttributeUsage(System.AttributeTargets.Method | System.AttributeTargets.Property, AllowMultiple=false, Inherited=true)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractRuntimeIgnoredAttribute : Attribute[<System.AttributeUsage(System.AttributeTargets.Method | System.AttributeTargets.Property, AllowMultiple=false, Inherited=true)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractRuntimeIgnoredAttribute = class
inherit AttributePublic NotInheritable Class ContractRuntimeIgnoredAttribute
Inherits Attribute- Inheritance
- Attributes
Remarks
Methods and properties that are marked with this attribute can be used within calls to System.Diagnostics.Contracts.Contract methods, but they have no run-time behavior.
Constructors
| Name | Description |
|---|---|
| ContractRuntimeIgnoredAttribute() |
Initializes a new instance of the ContractRuntimeIgnoredAttribute class. |
Properties
| Name | Description |
|---|---|
| TypeId |
When implemented in a derived class, gets a unique identifier for this Attribute. (Inherited from Attribute) |
Methods
| Name | Description |
|---|---|
| Equals(Object) |
Returns a value that indicates whether this instance is equal to a specified object. (Inherited from Attribute) |
| GetHashCode() |
Returns the hash code for this instance. (Inherited from Attribute) |
| GetType() |
Gets the Type of the current instance. (Inherited from Object) |
| IsDefaultAttribute() |
When overridden in a derived class, indicates whether the value of this instance is the default value for the derived class. (Inherited from Attribute) |
| Match(Object) |
When overridden in a derived class, returns a value that indicates whether this instance equals a specified object. (Inherited from Attribute) |
| MemberwiseClone() |
Creates a shallow copy of the current Object. (Inherited from Object) |
| ToString() |
Returns a string that represents the current object. (Inherited from Object) |
