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

NContract by: nhedlund

8,876 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.

Synergy.Contracts by: marcin.celej

57,633 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

WeeGems.Require by: MattDavey

8,396 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,108 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