Synergy.Contracts by: marcin.celej 61,291 total downloads last updated 7/4/2022 Latest version: 2.0.187 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,211 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,943 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.