code-contracts

There are 0 repository under code-contracts topic.

• bkoelman / ResharperCodeContractNullability

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

  resharperanalyzerannotationsnullabilitycanbenullnotnullitemcanbenullitemnotnullrnulrinulcode-contractsroslyn-analyzer
  Language:C# 25

• 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™.

  behavioral-subtypingassertioncode-contractsdecoratorsdemandsdesign-by-contractencapsulationexception-handlinginvariantliskov-substitution-principleorganized-panicoverridespreconditionpostconditionrescuerequiressolidmaterial-implicationif-and-only-if
  Language:TypeScript 18

• SyncfusionSuccinctlyE-Books / CSharp-Code-Contracts-Succinctly

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

  csharpcode-contracts
  Language:C# 18

• deniszykov / code-contracts-remover

  tool for removing .net code contracts from project

  code-cleaningcode-contractsroslyn
  Language:C# 14

• andrej-dyck / dotnet-extensions-require

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

  csharpdotnetcode-contractsnuget-packagepreconditionsrequireguardargument-checksextension-methods
  Language:C# 2

• DBC-Works / code-contract-deno

  Tiny code contract programming utility for Deno

  typescriptdenocode-contracts
  Language:TypeScript 0

• poulad / code-contracts

  A demo used in presenting CodeContracts

  code-contractsdesign-by-contract