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

InvariantSuspensionCounter.Decrement Method

Decrement()

Decrements the counter and returns true if the counter is back to zero. Note that this does not verify invariants in this case.

Declaration
public bool Decrement()
Returns
Type Description
bool