postcondition

There are 0 repository under postcondition topic.

• 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

• 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 14

• jjwsteele / denuto

  Design by contract for JavaScript

  decoratorsinvariantspostconditionpreconditioncontractdbcrequiresensures
  Language:JavaScript 6

• vladen / contract-decorators

  Design by Contract (precondition/postcondition) class method decorators for ECMAScript.

  contractsdecoratorses2017postconditionprecondition
  Language:JavaScript 2
• jaffirm

  io7m / jaffirm

  Simple and fast contract checks

  preconditionpostconditioninvariantcontractjava
  Language:Java 1

• ailixter / gears-watchedcall

  Hooks before/after any method call

  contractmanagedpostconditionpreconditiondecoratoraccess-control
  Language:PHP

• jdgarciauc3m / min-contracts

  Minimal contracts library

  contracts-programmingpreconditionspostconditionassertions
  Language:C++