returned for Tags:"contract"
A simple code-contract class for validating method argument preconditions.
Simple Design by contract library supporting PreConditions and PostConditions
Restract.Contract contains all requeired classes for defining Restract proxy contracts.
This Guards project is a light-weight toolbox which helps you to protect your public interfaces against invalid parameters being passed over.
SEEK Pact Based Stub Library
A library to allow stubbing of services while building integration or pact automated tests.
A library for building contract based execution flows, providing computational expression builder for the classic Async<Choice> where Choice is recrated as a Type called Result.
NEO lightwallet / blockchain API for C#. Allows you to interact with smart contracts in the NEO blockchain.
Collection of simple pieces of reusable code designed such that dependencies aren't forced upon consumers of its packages. Package is shipped as source code.
Digital Signature Service Protocol Client
Client for the "Digital Signature Service Protocol" as offered by e-Contract.be
boost_contract-vc141. Compiler: Visual Studio 2017 15.7.4.
A class invariants helper library
This library provides guard clauses that could be used to guard against not expected values. It provides conditions for objects, strings, numerics, datatime and enumerables. It is possible to configure which exception should be thrown.
Provides a JSON.Net contract resolver to (de-)serialize models with private setters or getter-only auto properties.
boost_contract-vc140. Compiler: Visual Studio 2015 Update 3.
Library that contains interfaces used but other DotNetHelper Libraries
Annotations to declare the contracts in your code that support enhanced static analysis. This includes all the JetBrains.Annotations understood by any published version of ReSharper.