Synergy.Contracts by: marcin.celej 55,573 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,017 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,179 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.