MetalamaAPI documentationPatterns APIMetalama.​Patterns.​ContractsDo­Not­Check­Invariants­Attribute
Open sandboxFocus

DoNotCheckInvariantsAttribute Class

Custom attribute that, when applied to a method, means that invariants should not be checked when this method completes.

Inheritance
System.Object
DoNotCheckInvariantsAttribute
Namespace: Metalama.Patterns.Contracts
Assembly: Metalama.Patterns.Contracts.dll
Syntax
public sealed class DoNotCheckInvariantsAttribute : Attribute
Remarks

This custom attribute does not caused methods called by the target method to skip invariant checks. For this, enable the IsInvariantSuspensionSupported contract option and call the generated SuspendInvariant method or the SuspendInvariantsAttribute aspect.

Constructors

Name Description
DoNotCheckInvariantsAttribute()

See Also