rdl 1.0.0.rc5 → 1.0.0
Sign up to get free protection for your applications and to get access to all the features.
- 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
|