RubyGems Navigation menu

rdl 1.0.0.rc2

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.rc2 - December 17, 2015 (46.5 KB)
Show all versions (19 total)

Runtime Dependencies (1):

require_all >= 1.3.3, ~> 1.3

Owners:

Authors:

  • University of Maryland, College Park

SHA 256 checksum:

16ff68f7284e0d49beeb29923dec6aa0d3d1b591e483b3dd07e6eb0e21bdac23

Total downloads 37,681

For this version 1,952

License:

BSD-3-Clause

Required Ruby Version: >= 0

Required Rubygems Version: > 1.3.1

Links: