Synergy.Contracts by: marcin.celej 57,633 total downloads last updated 4/22/2021 Latest version: 2.0.170 DbC Design-By-Contract Precondition Postcondition Contract Code-Contract Resharper Annotations R# jetbrains.annotations More tags Design by contract programming support
Contract.Annotations by: arlobelshee 6,149 total downloads last updated 3/31/2014 Latest version: 8.2.1 annotations resharper jetbrains jetbrains.annotations design contract Annotations to declare the contracts in your code that support enhanced static analysis. This includes all the JetBrains.Annotations understood by any published version of ReSharper.
CheckContracts by: imanushin 12,744 total downloads last updated 2/14/2016 Latest version: 1.5.3 CheckContracts Validate Validation Checking Contracts CodeContracts TypeCasting SafeTypeCasting ReSharper PCL More tags Library to simplify runtime checking by using code contracts.