rdl 1.0.0.rc5 → 1.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/README.md +3 -1
- data/rdl.gemspec +2 -2
- metadata +4 -4
checksums.yaml
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
---
|
|
2
2
|
SHA1:
|
|
3
|
-
metadata.gz:
|
|
4
|
-
data.tar.gz:
|
|
3
|
+
metadata.gz: 55d12c6429608dd736e3eaff00d538a23f6cddab
|
|
4
|
+
data.tar.gz: 809baeb4d773badba520c4ea8c02aec96abb54d3
|
|
5
5
|
SHA512:
|
|
6
|
-
metadata.gz:
|
|
7
|
-
data.tar.gz:
|
|
6
|
+
metadata.gz: a9169c5a1bd28c8f2acb6efd1249ec208f1ecbe5da6bc899ec6a9709eccde9d6034feda29c8582340fccc063fb226e95826d7d6d1cd5f0882b15112a9f92364c
|
|
7
|
+
data.tar.gz: 282bbeb9bf69c4e6d07fbf7acf5d715320dbbc9470f885f03e629e1485c74780171782deaa712859a9519caece26392b9784acebe67abb001924271f7ecf826a
|
data/README.md
CHANGED
|
@@ -1,3 +1,5 @@
|
|
|
1
|
+
[](https://badge.fury.io/rb/rdl)
|
|
2
|
+
|
|
1
3
|
# Introduction
|
|
2
4
|
|
|
3
5
|
RDL is a lightweight system for adding contracts to Ruby. A *contract* decorates a method with assertions describing what the method assumes about its inputs (called a *precondition*) and what the method guarantees about its outputs (called a *postcondition*). For example, using RDL we can write
|
|
@@ -418,7 +420,7 @@ RDL also includes a few other useful methods:
|
|
|
418
420
|
|
|
419
421
|
# Bibliography
|
|
420
422
|
|
|
421
|
-
Here
|
|
423
|
+
Here are some research papers we have written exploring contracts, types, and Ruby.
|
|
422
424
|
|
|
423
425
|
* T. Stephen Strickland, Brianna Ren, and Jeffrey S. Foster.
|
|
424
426
|
[Contracts for Domain-Specific Languages in Ruby](http://www.cs.umd.edu/~jfoster/papers/dls12.pdf).
|
data/rdl.gemspec
CHANGED
|
@@ -4,8 +4,8 @@
|
|
|
4
4
|
|
|
5
5
|
Gem::Specification.new do |s|
|
|
6
6
|
s.name = 'rdl'
|
|
7
|
-
s.version = '1.0.0
|
|
8
|
-
s.date = '2015-12-
|
|
7
|
+
s.version = '1.0.0'
|
|
8
|
+
s.date = '2015-12-18'
|
|
9
9
|
s.summary = 'Ruby type and contract system'
|
|
10
10
|
s.description = <<-EOF
|
|
11
11
|
RDL is a gem that allows contracts (pre- and postconditions) to be added to methods.
|
metadata
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
|
2
2
|
name: rdl
|
|
3
3
|
version: !ruby/object:Gem::Version
|
|
4
|
-
version: 1.0.0
|
|
4
|
+
version: 1.0.0
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- Jeffrey S. Foster
|
|
@@ -11,7 +11,7 @@ authors:
|
|
|
11
11
|
autorequire:
|
|
12
12
|
bindir: bin
|
|
13
13
|
cert_chain: []
|
|
14
|
-
date: 2015-12-
|
|
14
|
+
date: 2015-12-18 00:00:00.000000000 Z
|
|
15
15
|
dependencies:
|
|
16
16
|
- !ruby/object:Gem::Dependency
|
|
17
17
|
name: require_all
|
|
@@ -166,9 +166,9 @@ required_ruby_version: !ruby/object:Gem::Requirement
|
|
|
166
166
|
version: '0'
|
|
167
167
|
required_rubygems_version: !ruby/object:Gem::Requirement
|
|
168
168
|
requirements:
|
|
169
|
-
- - "
|
|
169
|
+
- - ">="
|
|
170
170
|
- !ruby/object:Gem::Version
|
|
171
|
-
version:
|
|
171
|
+
version: '0'
|
|
172
172
|
requirements: []
|
|
173
173
|
rubyforge_project:
|
|
174
174
|
rubygems_version: 2.4.5.1
|