Machinations

PureAttribute Class Reference

Indicates that a method does not make any observable state changes. The same as `System.Diagnostics.Contracts.PureAttribute`. More...

Inheritance diagram for PureAttribute:

## Detailed Description

Indicates that a method does not make any observable state changes. The same as `System.Diagnostics.Contracts.PureAttribute`.

[Pure] int Multiply(int x, int y) => x * y;
void M() {
Multiply(123, 42); // Waring: Return value of pure method is not used
}

The documentation for this class was generated from the following file:

- Properties/Annotations.cs