NuGet Gallery | Packages matching Tags:"jetbrains.annotations"

Contract.Annotations by: arlobelshee

3,458 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.

Synergy.Contracts by: marcin.celej

11,155 total downloads
last updated 6/3/2019
Latest version: 2.0.126
DbC Design-By-Contract Precondition Postcondition Contract Code-Contract Resharper Annotations R# jetbrains.annotations design contract programming SLARCH

Design by contract programming support

CheckContracts by: imanushin

5,494 total downloads
last updated 2/14/2016
Latest version: 1.5.3
CheckContracts Validate Validation Checking Contracts CodeContracts TypeCasting SafeTypeCasting ReSharper PCL PortableClassLibrary RuntimeChecking JetBrains.Annotations JetBrains Annotations EqualityCheck SafeCast SafeCasting GreaterThan LessThan

Library to simplify runtime checking by using code contracts.

3 packages returned for Tags:"jetbrains.annotations"