returned for Tags:"contracts"
Argument validation made simple and unified. It ensures arguments conforms to simple validation rules and provides an uniformed exception throwing strategy if arguments are invalid.
Code Contracts and common functionalities used by other PostSharp pattern libraries. An official PostSharp pattern library.
A simple library that facilitates runtime checks of code and allows to define preconditions and invariants within a method.
119,220 total downloads
last updated 7/5/2021
Latest version: 5.0.5
Common contracts for a Modular Architecture.
Simple Guard (or DbC) implementation.
Contracts for Storm Connect.
Contains the core infrastructure contracts for MicroBus which includes the handler and main MicroBus interfaces
Contains the core message contracts for MicroBus which includes the command, query and event interfaces
This Guards project is a light-weight toolbox which helps you to protect your public interfaces against invalid parameters being passed over.
Helper package to use with build servers. Contains all CodeContracts binaries and integrates into MSBuild build process.
Argument validation methods, for example:
this.user = Argument.NotNull("user", user).
Less fancy than approaches based on lambdas/anonymous classes, but less scary performance-wise (given that argument checks are often all over the place).
Annotations: C# 8 nullable reference types, ReSharper,...
Contains contract tests for Rebus services - valuable, if you e.g. want to implement your own Rebus transport, subscription storage, etc.
27,476 total downloads
last updated 7/21/2015
Latest version: 1.0.5680.18392
Simple Code Contracts for every day!
Package containing extensibility contracts between the debugger and other Visual Studio components, such as language services.
Deep fork of the Seterlund.CodeGuard library.
Throws an exception if conditions are not met.
A distributed contracts-based sender/handler messaging system built on RabbitMQ and BearBones-Messaging
Roslyn analyzer for enforcing null contracts
Contracts used with Storm ExportFeedService