#

code-contracts

Here are 7 public repositories matching this topic...

bkoelman / ResharperCodeContractNullability

Reports diagnostics, helping you to annotate your source tree with (Item)NotNull / (Item)CanBeNull attributes.

annotations analyzer resharper nullability notnull roslyn-analyzer canbenull itemcanbenull itemnotnull rnul rinul code-contracts

Updated Mar 14, 2021
C#

SyncfusionSuccinctlyE-Books / CSharp-Code-Contracts-Succinctly

This is the companion repo for C# Code Contracts Succinctly by Dirk Strauss. Published by Syncfusion.

csharp code-contracts

Updated Jan 12, 2018
C#

final-hill / decorator-contracts

Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This enables enforcement of the Liskov substitution principle and the Open-closed principle of SOLID to support Design By Contract™.

overrides solid decorators precondition postcondition invariant assertion rescue encapsulation liskov-substitution-principle exception-handling code-contracts design-by-contract requires demands behavioral-subtyping organized-panic material-implication if-and-only-if

Updated Sep 3, 2024
TypeScript

deniszykov / code-contracts-remover

tool for removing .net code contracts from project

roslyn code-contracts code-cleaning

Updated Jan 17, 2024
C#

andrej-dyck / dotnet-extensions-require

📦 Require Expressions - A pre-condition checks library for .Net via extensions methods on types.

csharp dotnet guard require extension-methods preconditions code-contracts nuget-package argument-checks

Updated Nov 11, 2022
C#

DBC-Works / code-contract-deno

Tiny code contract programming utility for Deno

typescript code-contracts deno

Updated Nov 7, 2020
TypeScript

poulad / code-contracts

A demo used in presenting CodeContracts

code-contracts design-by-contract

Updated Jul 26, 2017

Improve this page

Add a description, image, and links to the code-contracts topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the code-contracts topic, visit your repo's landing page and select "manage topics."