Found 75 packages
A guard implementation that performs asserts/assumptions to prevent invalid code execution.
Reports diagnostics, helping you to annotate your source tree with (Item)NotNull / (Item)CanBeNull attributes. See also: https://www.jetbrains.com/resharper/help/Code_Analysis__Code_Annotations.html You need Visual Studio 2015/2017/2019 and Resharper v9 or higher to use this analyzer. See package "ResharperCodeContractNullabilityFxCop" if you use Visual Studio 2013 or lower.
Generates dot net code for Ethereum (Solidity) contracts. Will automatically create dot net files based on .abi files within the target project during pre build. The generated code language is derived from the project file extension (csproj, vbproj, fsproj). More control can be gained by adding a Nethereum.Generator.config file to the root of the project. This describes the abi contracts and the code generation options for each (output folders, namespaces etc).
Set of helper classes to ensure code contract is met (preconditions, postconditions, object invariants, etc.)
Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation.
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.
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.
Smart contract code operations like auditing, patching and validating.
Reports diagnostics, helping you to annotate your source tree with (Item)NotNull / (Item)CanBeNull attributes. See also: https://www.jetbrains.com/resharper/help/Code_Analysis__Code_Annotations.html You need Visual Studio 2013/2012/2010 and Resharper v8 or higher to use this analyzer. See package "ResharperCodeContractNullability" if you use Visual Studio 2015.
TSClientGen tool - contains attributes to apply to your code for altering the TypeScript code generation results
This library provides Semantic Versioning impact analysis between two versions of c# code.
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.
CodeGen
This repository contains result classes to return success and failure messages to calling code.
Enables code contracts on methods and properties. By annotating your code with attributes like [NotNull], you can remove common validation code and provide helpful exception messages, making your code more robust and refactor-safe. These annotation attributes are also recognized by ReSharper when it has an equivalent annotation, which gives you real-time feedback on contract violations as you type.
Package Description
Provides performant guard functionality for methods to throw exceptions
(This is a subset of Pathoschild.DesignByContract that contains the annotations but does not enforce them.) Enables code contracts on methods and properties. By annotating your code with attributes like [NotNull], you can remove common validation code and provide helpful exception messages, making your code more robust and refactor-safe. These annotation attributes are also recognized by ReSharper when it has an equivalent annotation, which gives you real-time feedback on contract violations as you type.
Easy use of contracts, adapters and polymorphism, using JSON.