Marks a method as an object invariant. When IL rewriting is supported, this method will be called at the end of every public method and getter.
Declaring type: ContractInvariantMethodAttribute
Namespace: System.Diagnostics.Contracts
Assembly: Sasa.CodeContracts
Collapse/Expand Public Constructors
  Name Description
Public Method ContractInvariantMethodAttribute

There is no summary.
Top