3 packages returned for Tags:"jetbrains.annotations"

Package type

All types

Dependency

.NET tool

Template

Sort by

Relevance

Downloads

Recently updated

Options

Include prerelease

Synergy.Contracts by: marcin.celej

28,124 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

4,983 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

9,576 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.