1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
class GenericExample
Contract String, C::Bool, C::Args[Symbol], Float, C::KeywordArgs[e: Range, f: C::Optional[C::Num], g: Symbol], Proc =>
[Proc, Hash, C::Maybe[C::Num], Range, Float, C::ArrayOf[Symbol], C::Bool, String]
def complicated(a, b = true, *c, d, e:, f:2, **g, &h)
h.call [h, g, f, e, d, c, b, a]
end
end
RSpec.describe "Contracts:" do
before :all do
@o = GenericExample.new
end
describe "Required named arguments" do
describe "really complicated method signature" do
it "should work with default named args used" do
expect do
@o.complicated("a", false, :b, 2.0, e: (1..5), g: :d) { |x| x }
end.to_not raise_error
end
it "should work with all args filled manually, with extra splat and hash" do
expect do
@o.complicated("a", true, :b, :c, 2.0, e: (1..5), f: 8.3, g: :d) do |x|
x
end
end.to_not raise_error
end
it "should fail when the return is invalid" do
expect do
@o.complicated("a", true, :b, 2.0, e: (1..5)) { |_x| "bad" }
end.to raise_error(ContractError)
end
it "should fail when args are invalid" do
expect do
@o.complicated("a", "bad", :b, 2.0, e: (1..5)) { |x| x }
end.to raise_error(ContractError)
end
it "should fail when splat is invalid" do
expect do
@o.complicated("a", true, "bad", 2.0, e: (1..5)) { |x| x }
end.to raise_error(ContractError)
end
it "should fail when named argument is invalid" do
expect do
@o.complicated("a", true, :b, 2.0, e: "bad") { |x| x }
end.to raise_error(ContractError)
end
it "should fail when passed nil to an optional argument which contract shouldn't accept nil" do
expect do
@o.complicated("a", true, :b, :c, 2.0, e: (1..5), f: nil, g: :d) do |x|
x
end
end.to raise_error(ContractError, /Expected: \(KeywordArgs\[{:e=>Range, :f=>Optional\[Num\], :g=>Symbol}\]\)/)
end
end
end
end
|
