contract 0.0.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +7 -0
- data/.gems +1 -0
- data/LICENSE +19 -0
- data/README.md +44 -0
- data/contract.gemspec +13 -0
- data/lib/contract.rb +29 -0
- data/makefile +4 -0
- data/test/contract_test.rb +35 -0
- metadata +64 -0
checksums.yaml
ADDED
@@ -0,0 +1,7 @@
|
|
1
|
+
---
|
2
|
+
SHA1:
|
3
|
+
metadata.gz: 015f97c2285dac2ec81370f391be68fe2f0e0e12
|
4
|
+
data.tar.gz: 3769a9e66a2c4dd76426f1df7c101689d69d1983
|
5
|
+
SHA512:
|
6
|
+
metadata.gz: 4f01f554ff61a8002c853b699b9ea393fac00585560143e396fdad79b6953220e893a9b21b298962ca5eac3158af7719ae0b73f2dbbacbe916a220dd099f4cc3
|
7
|
+
data.tar.gz: b28b4edaca9aa181c37189d8abd1613d03857e67379c6b3d0595841f11fb4ba54f3cd788160b2a36dfc4c42669304cf470b9c0dc965852c7aae82fb9eb0bdecf
|
data/.gems
ADDED
@@ -0,0 +1 @@
|
|
1
|
+
cutest -v 1.2.1
|
data/LICENSE
ADDED
@@ -0,0 +1,19 @@
|
|
1
|
+
Copyright (c) 2014 Michel Martens
|
2
|
+
|
3
|
+
Permission is hereby granted, free of charge, to any person obtaining a copy
|
4
|
+
of this software and associated documentation files (the "Software"), to deal
|
5
|
+
in the Software without restriction, including without limitation the rights
|
6
|
+
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
7
|
+
copies of the Software, and to permit persons to whom the Software is
|
8
|
+
furnished to do so, subject to the following conditions:
|
9
|
+
|
10
|
+
The above copyright notice and this permission notice shall be included in
|
11
|
+
all copies or substantial portions of the Software.
|
12
|
+
|
13
|
+
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
14
|
+
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
15
|
+
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
16
|
+
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
17
|
+
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
18
|
+
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
19
|
+
THE SOFTWARE.
|
data/README.md
ADDED
@@ -0,0 +1,44 @@
|
|
1
|
+
# Contract helper
|
2
|
+
|
3
|
+
This module provides a way to define contracts in functions, and
|
4
|
+
return a value based on a series of user defined verifications.
|
5
|
+
|
6
|
+
## Usage
|
7
|
+
|
8
|
+
The functions of a contract can be used directly from the
|
9
|
+
`Contract` module:
|
10
|
+
|
11
|
+
``` ruby
|
12
|
+
class Foo
|
13
|
+
def foo(a, b)
|
14
|
+
Contract.define do
|
15
|
+
Contract.verify(Numeric === a)
|
16
|
+
Contract.verify(Numeric === b)
|
17
|
+
|
18
|
+
a * b
|
19
|
+
end
|
20
|
+
end
|
21
|
+
end
|
22
|
+
```
|
23
|
+
|
24
|
+
``` ruby
|
25
|
+
class Bar
|
26
|
+
include Contract
|
27
|
+
|
28
|
+
def bar(a, b)
|
29
|
+
contract do
|
30
|
+
verify(Numeric === a)
|
31
|
+
verify(Numeric === b)
|
32
|
+
|
33
|
+
a * b
|
34
|
+
end
|
35
|
+
end
|
36
|
+
end
|
37
|
+
```
|
38
|
+
|
39
|
+
When the `Contract` module is included, the methods `contract` and
|
40
|
+
`verify` become available.
|
41
|
+
|
42
|
+
## Installation
|
43
|
+
|
44
|
+
$ gem install contract
|
data/contract.gemspec
ADDED
@@ -0,0 +1,13 @@
|
|
1
|
+
Gem::Specification.new do |s|
|
2
|
+
s.name = "contract"
|
3
|
+
s.version = "0.0.1"
|
4
|
+
s.summary = "Contract helper"
|
5
|
+
s.description = "Contract helper"
|
6
|
+
s.authors = ["Michel Martens"]
|
7
|
+
s.email = ["michel@soveran.com"]
|
8
|
+
s.homepage = "http://github.com/soveran/contract"
|
9
|
+
|
10
|
+
s.files = `git ls-files`.split("\n")
|
11
|
+
|
12
|
+
s.add_development_dependency "cutest"
|
13
|
+
end
|
data/lib/contract.rb
ADDED
@@ -0,0 +1,29 @@
|
|
1
|
+
# Provides a way to define contracts for a given function.
|
2
|
+
# The methods `define` and `verify` can be used directly.
|
3
|
+
# If the `Contract` module is included in a class, the
|
4
|
+
# methods `contract` and `verify` are added.
|
5
|
+
module Contract
|
6
|
+
|
7
|
+
# Returns the value of the block
|
8
|
+
# if all verifications pass
|
9
|
+
def self.define(&block)
|
10
|
+
catch(:contract) do
|
11
|
+
yield
|
12
|
+
end
|
13
|
+
end
|
14
|
+
|
15
|
+
# Fails unless value is true
|
16
|
+
def self.verify(value)
|
17
|
+
value || throw(:contract, false)
|
18
|
+
end
|
19
|
+
|
20
|
+
# Shorthand for Contract.define
|
21
|
+
def contract(&block)
|
22
|
+
Contract.define(&block)
|
23
|
+
end
|
24
|
+
|
25
|
+
# Shorthand for Contract.verify
|
26
|
+
def verify(value)
|
27
|
+
Contract.verify(value)
|
28
|
+
end
|
29
|
+
end
|
data/makefile
ADDED
@@ -0,0 +1,35 @@
|
|
1
|
+
require_relative "../lib/contract"
|
2
|
+
|
3
|
+
class Foo
|
4
|
+
def foo(a, b)
|
5
|
+
Contract.define do
|
6
|
+
Contract.verify(Numeric === a)
|
7
|
+
Contract.verify(Numeric === b)
|
8
|
+
|
9
|
+
a * b
|
10
|
+
end
|
11
|
+
end
|
12
|
+
end
|
13
|
+
|
14
|
+
class Bar
|
15
|
+
include Contract
|
16
|
+
|
17
|
+
def bar(a, b)
|
18
|
+
contract do
|
19
|
+
verify(Numeric === a)
|
20
|
+
verify(Numeric === b)
|
21
|
+
|
22
|
+
a * b
|
23
|
+
end
|
24
|
+
end
|
25
|
+
end
|
26
|
+
|
27
|
+
test "direct" do
|
28
|
+
assert_equal 6, Foo.new.foo(2, 3)
|
29
|
+
assert_equal false, Foo.new.foo(2, "3")
|
30
|
+
end
|
31
|
+
|
32
|
+
test "included" do
|
33
|
+
assert_equal 6, Bar.new.bar(2, 3)
|
34
|
+
assert_equal false, Bar.new.bar(2, "3")
|
35
|
+
end
|
metadata
ADDED
@@ -0,0 +1,64 @@
|
|
1
|
+
--- !ruby/object:Gem::Specification
|
2
|
+
name: contract
|
3
|
+
version: !ruby/object:Gem::Version
|
4
|
+
version: 0.0.1
|
5
|
+
platform: ruby
|
6
|
+
authors:
|
7
|
+
- Michel Martens
|
8
|
+
autorequire:
|
9
|
+
bindir: bin
|
10
|
+
cert_chain: []
|
11
|
+
date: 2014-07-08 00:00:00.000000000 Z
|
12
|
+
dependencies:
|
13
|
+
- !ruby/object:Gem::Dependency
|
14
|
+
name: cutest
|
15
|
+
requirement: !ruby/object:Gem::Requirement
|
16
|
+
requirements:
|
17
|
+
- - '>='
|
18
|
+
- !ruby/object:Gem::Version
|
19
|
+
version: '0'
|
20
|
+
type: :development
|
21
|
+
prerelease: false
|
22
|
+
version_requirements: !ruby/object:Gem::Requirement
|
23
|
+
requirements:
|
24
|
+
- - '>='
|
25
|
+
- !ruby/object:Gem::Version
|
26
|
+
version: '0'
|
27
|
+
description: Contract helper
|
28
|
+
email:
|
29
|
+
- michel@soveran.com
|
30
|
+
executables: []
|
31
|
+
extensions: []
|
32
|
+
extra_rdoc_files: []
|
33
|
+
files:
|
34
|
+
- .gems
|
35
|
+
- LICENSE
|
36
|
+
- README.md
|
37
|
+
- contract.gemspec
|
38
|
+
- lib/contract.rb
|
39
|
+
- makefile
|
40
|
+
- test/contract_test.rb
|
41
|
+
homepage: http://github.com/soveran/contract
|
42
|
+
licenses: []
|
43
|
+
metadata: {}
|
44
|
+
post_install_message:
|
45
|
+
rdoc_options: []
|
46
|
+
require_paths:
|
47
|
+
- lib
|
48
|
+
required_ruby_version: !ruby/object:Gem::Requirement
|
49
|
+
requirements:
|
50
|
+
- - '>='
|
51
|
+
- !ruby/object:Gem::Version
|
52
|
+
version: '0'
|
53
|
+
required_rubygems_version: !ruby/object:Gem::Requirement
|
54
|
+
requirements:
|
55
|
+
- - '>='
|
56
|
+
- !ruby/object:Gem::Version
|
57
|
+
version: '0'
|
58
|
+
requirements: []
|
59
|
+
rubyforge_project:
|
60
|
+
rubygems_version: 2.0.3
|
61
|
+
signing_key:
|
62
|
+
specification_version: 4
|
63
|
+
summary: Contract helper
|
64
|
+
test_files: []
|