Identifies a member that has no run-time behavior.
See Also: ContractRuntimeIgnoredAttribute Members
Syntax
[System.AttributeUsage(System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.All, AllowMultiple=false, Inherited=true)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractRuntimeIgnoredAttribute : Attribute
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractRuntimeIgnoredAttribute : Attribute
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.
Requirements
Namespace: System.Diagnostics.Contracts
Assembly: mscorlib (in mscorlib.dll)
Assembly Versions: 4.0.0.0
Assembly: mscorlib (in mscorlib.dll)
Assembly Versions: 4.0.0.0