4 packages returned for Tags:"Design-By-Contract"

Package type

All types

Dependency

.NET tool

Template

Sort by

Relevance

Downloads

Recently updated

Options

Include prerelease

Synergy.Contracts by: marcin.celej

55,910 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

NContract by: nhedlund

6,223 total downloads
last updated 7/30/2019
Latest version: 1.2.49
dbc design-by-contract

NContract is a design by contract library that lets you write oneliners to verify parameters in constructors and methods instead of using more verbose if statements.

WeeGems.Require by: MattDavey

8,305 total downloads
last updated 1/25/2013
Latest version: 1.0.1
Design-By-Contract Precondition Contract Code-Contract

A simple code-contract class for validating method argument preconditions.

Rocket.DbC by: glufsaren

2,032 total downloads
last updated 12/26/2015
Latest version: 1.0.0.1
DbC Design by contract PreCondition PostCondition Code Contracts programming design-by-contract

Simple Design by contract library supporting PreConditions and PostConditions