rdl 1.0.0.rc1 → 1.0.0.rc2
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- metadata +29 -4
checksums.yaml
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
---
|
|
2
2
|
SHA1:
|
|
3
|
-
metadata.gz:
|
|
4
|
-
data.tar.gz:
|
|
3
|
+
metadata.gz: 86b39dac5757f4c4da27f51a84139b74f1444147
|
|
4
|
+
data.tar.gz: 8680039b12fd4247b0d41fa18dcd80a57a7d7eed
|
|
5
5
|
SHA512:
|
|
6
|
-
metadata.gz:
|
|
7
|
-
data.tar.gz:
|
|
6
|
+
metadata.gz: 1cfb6b42f364ced28c6af6fa2e019f19d401702d54cb4e4fb8b2499d687432360eb9bac676fd17e0e882a44685cfab5f5d148452363be7f694262a504aeae84e
|
|
7
|
+
data.tar.gz: bb5f3243df91ce7b3f29e503b801f186dc394d26432ddbcbd54014d844f50fb652c21f171725154702f82bf2261afe10085a251679631e2e3c078e10075f59a8
|
metadata
CHANGED
|
@@ -1,16 +1,41 @@
|
|
|
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.rc2
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- University of Maryland, College Park
|
|
8
8
|
autorequire:
|
|
9
9
|
bindir: bin
|
|
10
10
|
cert_chain: []
|
|
11
|
-
date: 2015-12-
|
|
12
|
-
dependencies:
|
|
13
|
-
|
|
11
|
+
date: 2015-12-17 00:00:00.000000000 Z
|
|
12
|
+
dependencies:
|
|
13
|
+
- !ruby/object:Gem::Dependency
|
|
14
|
+
name: require_all
|
|
15
|
+
requirement: !ruby/object:Gem::Requirement
|
|
16
|
+
requirements:
|
|
17
|
+
- - "~>"
|
|
18
|
+
- !ruby/object:Gem::Version
|
|
19
|
+
version: '1.3'
|
|
20
|
+
- - ">="
|
|
21
|
+
- !ruby/object:Gem::Version
|
|
22
|
+
version: 1.3.3
|
|
23
|
+
type: :runtime
|
|
24
|
+
prerelease: false
|
|
25
|
+
version_requirements: !ruby/object:Gem::Requirement
|
|
26
|
+
requirements:
|
|
27
|
+
- - "~>"
|
|
28
|
+
- !ruby/object:Gem::Version
|
|
29
|
+
version: '1.3'
|
|
30
|
+
- - ">="
|
|
31
|
+
- !ruby/object:Gem::Version
|
|
32
|
+
version: 1.3.3
|
|
33
|
+
description: |
|
|
34
|
+
RDL add support for adding contracts (pre- and postconditions) to methods.
|
|
35
|
+
Preconditions are checked at run time when the method is called, and
|
|
36
|
+
postconditions are checked at run time when the method returns.
|
|
37
|
+
RDL also includes extensive support for type contracts, which check the types of arguments and returns
|
|
38
|
+
when the method is called and when it returns, respectively.
|
|
14
39
|
email:
|
|
15
40
|
- rdl-users@googlegroups.com
|
|
16
41
|
executables: []
|