6 packages returned for Tags:"jetbrains.annotations"

Converts all JetBrains ReSharper code annotations attributes to External Annotations, so you can provide R# annotations to 3rd parties but don't need to deploy JetBrainsAnnotations.dll.

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.

Validation of contract annotations from JetBrains.Annotations and some added to them

Validation of contract annotations from JetBrains.Annotations and some added to them

Library to simplify runtime checking by using code contracts.

Design by contract programming support