Open sandboxFocus

Class DoNotCheckInvariantsAttribute

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

Inheritance
DoNotCheckInvariantsAttribute
Namespace: Metalama.Patterns.Contracts
Assembly: Metalama.Patterns.Contracts.dll
Syntax
[AttributeUsage(AttributeTargets.Method)]
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