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

NContract

by: nhedlund

.NET 5.0 .NET Core 1.0 .NET Standard 1.1 .NET Framework 4.5
29,683 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

.NET 5.0 .NET Framework 4.7.2
153,320 total downloads
last updated 4/22/2025
Latest version: 3.0.16
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

11,865 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.

GuardRequires

by: KnowledgeForwardSolutions

.NET 8.0
1,605 total downloads
last updated 11/26/2024
Latest version: 3.0.1
guard guards guard-clauses validator exceptions Design-by-contract DbC

Library of guard clauses with a wide range of validations available. Supports custom messages and exceptions in addition to standard defaults.

Rocket.DbC

by: glufsaren

.NET Framework
3,000 total downloads
last updated 5/30/2015
Latest version: 1.0.0
DbC Design by contract PreCondition PostCondition Code Contracts programming design-by-contract

Simple Design by contract library supporting PreConditions and PostConditions