RubyGems Navigation menu

rdl 1.0.0.rc3

RDL add support for adding contracts (pre- and postconditions) to methods. Preconditions are checked at run time when the method is called, and postconditions are checked at run time when the method returns. RDL also includes extensive support for type contracts, which check the types of arguments and returns when the method is called and when it returns, respectively.

Gemfile:
= Copy to clipboard Copied!

install:
=

Versions:

  1. 2.2.0 - June 10, 2019 (180 KB)
  2. 2.1.0 - June 14, 2017 (134 KB)
  3. 2.0.1 - November 11, 2016 (128 KB)
  4. 2.0.0 - August 24, 2016 (128 KB)
  5. 2.0.0.rc5 - August 24, 2016 (127 KB)
  6. 1.0.0.rc3 - December 17, 2015 (46.5 KB)
Show all versions (19 total)

Runtime Dependencies (1):

require_all >= 1.3.3, ~> 1.3

Owners:

Authors:

  • Jeffrey S. Foster, Brianna M. Ren, T. Stephen Strickland, Alexander T. Yu

SHA 256 checksum:

ab9c7def6a31391d504c2ce5eaaa7376136af2a8547a3b0db0d082f85cf3e106

Total downloads 37,739

For this version 1,796

License:

BSD-3-Clause

Required Ruby Version: >= 0

Required Rubygems Version: > 1.3.1

Links: