File: or.feature

package info (click to toggle)
ruby-contracts 0.17-2
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 624 kB
  • sloc: ruby: 3,805; makefile: 4; sh: 2
file content (83 lines) | stat: -rw-r--r-- 2,025 bytes parent folder | download | duplicates (4)
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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
Feature: Or

  Takes a variable number of contracts. The contract passes if any of the
  contracts pass.

  ```ruby
  Contract C::Or[Float, C::Nat] => String
  ```

  This example will validate first argument of a method and accept either
  `Float` or natural integer.

  Background:
    Given a file named "or_usage.rb" with:
    """ruby
    require "contracts"
    C = Contracts

    class Example
      include Contracts::Core

      Contract C::Or[Float, C::Nat] => String
      def nat_string(number)
        number.to_i.to_s
      end
    end
    """

  Scenario: Accepts float
    Given a file named "accepts_float.rb" with:
    """ruby
    require "./or_usage"
    puts Example.new.nat_string(3.7)
    """
    When I run `ruby accepts_float.rb`
    Then output should contain:
    """
    3
    """

  Scenario: Accepts natural
    Given a file named "accepts_natural.rb" with:
    """ruby
    require "./or_usage"
    puts Example.new.nat_string(7)
    """
    When I run `ruby accepts_natural.rb`
    Then output should contain:
    """
    7
    """

  Scenario: Rejects negative integer
    Given a file named "rejects_negative_integer.rb" with:
    """ruby
    require "./or_usage"
    puts Example.new.nat_string(-3)
    """
    When I run `ruby rejects_negative_integer.rb`
    Then output should contain:
    """
    : Contract violation for argument 1 of 1: (ParamContractError)
            Expected: (Float or Nat),
            Actual: -3
            Value guarded in: Example::nat_string
            With Contract: Or => String
    """

  Scenario: Rejects other values
    Given a file named "rejects_other.rb" with:
    """ruby
    require "./or_usage"
    puts Example.new.nat_string(nil)
    """
    When I run `ruby rejects_other.rb`
    Then output should contain:
    """
    : Contract violation for argument 1 of 1: (ParamContractError)
            Expected: (Float or Nat),
            Actual: nil
            Value guarded in: Example::nat_string
            With Contract: Or => String
    """