RDL is a gem that allows contracts (pre- and postconditions) to be added 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.
Required Ruby Version
>= 0
Required Rubygems Version
> 1.3.1
Authors
Jeffrey S. Foster, Brianna M. Ren, T. Stephen Strickland, Alexander T. Yu
Versions
- 2.2.0 June 10, 2019 (180 KB)
- 2.1.0 June 14, 2017 (134 KB)
- 2.0.1 November 11, 2016 (128 KB)
- 2.0.0 August 24, 2016 (128 KB)
- 2.0.0.rc5 August 24, 2016 (127 KB)
- 1.0.0.rc4 December 17, 2015 (69.5 KB)