MetalamaAPI documentationPatterns APIMetalama.​Patterns.​ContractsInvariant­Suspension­Counter
Open sandboxFocus

InvariantSuspensionCounter Class

Inheritance
System.Object
InvariantSuspensionCounter
Implements
System.IDisposable
Namespace: Metalama.Patterns.Contracts
Assembly: Metalama.Patterns.Contracts.dll
Syntax
public sealed class InvariantSuspensionCounter : Object

Constructors

Name Description
InvariantSuspensionCounter()

Properties

Name Description
AreInvariantsSuspended

Methods

Name Description
Dispose()
Increment()