preconditions

There are 0 repository under preconditions topic.

• php-deal / framework

  Design by Contract framework for PHP

  design-by-contractsphpinvariantspreconditionscontracts-programmingdbc
  Language:PHP 253

• waldemarnt / http-status-codes

  List of HTTP status codes and description for each of them, with reference when have.

  gatewayhttphttp-status-codepreconditionsredirectionrequest-uristatus-codes
  244

• sellout / quid-pro-quo

  A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

  common-lispeiffelpostconditionpreconditionsdesign-by-contract
  Language:Common Lisp 92

• feO2x / Light.GuardClauses

  A lightweight .NET library for expressive Guard Clauses.

  assertionsguard-clausescsharpdotnetdbcdesign-by-contractpreconditionsprecondition-checks
  Language:C# 83

• oat-sa / qti-sdk

  A QTI (Question & Test Interoperability) Software Development Kit for PHP

  computer-based-assessmentphpims-qtiqti-specificationqti-sdktest-interoperabilityqti-20qti-21qtiquestion-test-interoperabilityassessment-itemassessmentrendering-engineresponse-processingoutcome-processingtemplate-enginebranchingpreconditionsqti-22assessment-test
  Language:PHP 79

• Carleslc / kotlin-extensions

  Utility extensions to boost your programming with Kotlin.

  kotlinconversion2d-arrayboostgradleandroidhtmlmavenpatternsutilsextensionsextension-methodskotlin-extensionskotlin-librarypropertieskotlin-languagetimecollectionspreconditions
  Language:Kotlin 75

• lecaillon / Preconditions

  Preconditions.NET provides convenience static methods to help check that a method or a constructor is invoked with proper parameter or not.

  preconditionscheckargument-checksguard
  Language:C# 24

• spoptchev / kotlin-preconditions

  Precondition error checking for Kotlin

  kotlinpreconditions
  Language:Kotlin 19

• cowwoc / requirements.java

  Fluent Design by Contract for Java APIs

  javadesign-by-contractpreconditionspostconditionsinvariantsrequirements
  Language:Java 15

• BoasE / FluentGuard

  Tiny library for fluent guard and assert expressions to formalize preconditions of methods

  csharpdotnetguardfluentpreconditionsnetcorenetstandardassertions
  Language:C# 14

• mchalapuk / offensive.js

  :facepunch: Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.

  assertionsoffensiveduck-typingcontractdefensivepreconditionspostconditionsinvariantscrash-reportsfail-fasterror-reportingerror-messagesboilerplatedsllibrarytypescriptjavascript
  Language:TypeScript 8

• cowwoc / requirements.js

  Fluent Design by Contract for Javascript APIs

  javascriptdesign-by-contractpreconditionspostconditionsinvariantsrequirements
  Language:TypeScript 7

• nextbss / requirekt

  idiomatic kotlin preconditions for spring boot REST API's

  ango-dev-fest-2020hacktoberfestspring-bootspringkotlinpreconditionslibrary
  Language:Kotlin 7

• valid8j / valid8j

  A value checking library for Java (DbC, validations, and test assertioins)

  assertions-librarydbcpreconditionstesting
  Language:Java 7

• guardsman / guardsman

  Guard clause assertion library to enforce parameter preconditions in PHP

  phpguardpreconditionsassertion-library
  Language:PHP 3

• pnann / check-preconditions

  A small and simple preconditions library for Node and the browser.

  check-preconditionstypescriptpreconditionsprecondition
  Language:TypeScript 3

• 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

• ArturLavrov / DeclarativeContracts

  Small library that enforce design by contract approach in declarative manner

  dbcdesign-by-contractspostconditionspreconditions
  Language:C# 2

• kochetov-dmitrij / WeakestPrecondition

  Visualised process of the weakest precondition's computing

  visualizationweakest-preconditionspreconditionsparser
  Language:JavaScript 2
• triplex

  lsolano / triplex

  Validation library inspired by the concepts of Secure by Design, by Dan Bergh Johnsson, Daniel Deogun, and Daniel Sawano (MEAP 2019 Manning Publications).

  invariantstriplexpreconditionspostconditionsdddopen-sourceopensource
  Language:C# 2

• klojang4j / klojang-check

  A new take on Defensive Programming & Validating Preconditions

  defensive-programmingjavapreconditions
  Language:Java 1

• MehrAlsNix / Preconditions

  Preconditions for PHP is a static util class providing an assert like framework.

  phppreconditionsexceptionscheck
  Language:PHP 1

• myConsciousness / precondition-validator

  The Precondition Validator provides a variety of easy and intuitive validation functions. The features in this package will free you from simple and redundant checking processes.

  javalibrarypreconditionsvalidatorpackageutilityprecondition-validatorvalidationgradle
  Language:Java 1

• thiagodnf / jvalidation

  A simple, fast and light-weight validation tool to express pre- and post-conditions in your java code

  java-validationvalidationdesign-by-contractjavamavenpreconditions
  Language:Java 1

• uzykj / oop-utils

  Object oriented related tool classes

  oopguavaobjectshashesoptionalpreconditionsnestjsnest
  Language:TypeScript 1

• chtoucas / Cerbere

  Code Contracts and debugging put together.

  contractspreconditionspostconditionsdebuggingstatic-analysis
  Language:C# 0

• maltorpro / microservice-shop-demo

  Sample microservice shop application implemented with spring boot.

  docker-swarmpreconditionsgradlespring-bootmicroservicejavadockerdocker-imagesinfrastructurespring
  Language:Java 0

• Syrx / Syrx.Validation

  A very simple precondition checker with very little overhead.

  validationvalidatorpreconditionsprecondition-checks
  Language:C# 0

• ehenoma / contract

  Generates preconditions in your Java code

  javapreconditionscompiler-plugin
  Language:Java

• jdgarciauc3m / min-contracts

  Minimal contracts library

  contracts-programmingpreconditionspostconditionassertions
  Language:C++

• MattMinke / Guardian

  .Net Parameter Validation and Preconditions. Preconditions specify state when a method is invoked. They are generally used to specify valid parameter values.

  preconditionscsharpdotnet
  Language:C#

• unamatasanatarai / php-preconditions

  A port(?) of guava preconditions in PHP

  guavapreconditionsexception-driven-design
  Language:PHP