5 packages returned for Tags:"postcondition"

PostSharp.Patterns.Common

by: PostSharp SharpCrafters

.NET 5.0 .NET Core 1.0 .NET Standard 1.3 .NET Framework 4.0
4,075,562 total downloads
last updated 6/13/2025
Latest version: 2025.1.5
postsharp code contracts precondition postcondition preconditions postconditions

Code Contracts and common functionalities used by other PostSharp pattern libraries. An official PostSharp pattern library.

Synergy.Contracts

by: marcin.celej

.NET 5.0 .NET Framework 4.7.2
159,494 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

Metalama.Patterns.Contracts

by: PostSharp

.NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
44,158 total downloads
last updated 5/29/2025
Latest version: 2025.1.9
Metalama PostSharp contract precondition postcondition invariant

Contract-Based Programming (or Design-by-Contract) with custom attributes such as [NotNull] or [Url] thanks to Metalama: pre-conditions, post-conditions and invariants.

Rocket.DbC

by: glufsaren

.NET Framework
3,180 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

Cloudlucky.GuardClauses

by: cloudlucky

.NET 5.0 .NET Core 1.0 .NET Standard 1.1 .NET Framework 4.5
419 total downloads
last updated 2/1/2022
Latest version: 1.0.1-beta
guard check precondition preconditions postcondition postconditions

A guard clauses package.