entitlements 0.1.8 → 0.2.0

data/lib/contracts-ruby3/features/builtin_contracts/bool.feature

@@ -0,0 +1,64 @@
+Feature: Bool
+
+  Checks that the argument is a `true` or `false`.
+
+  ```ruby
+  Contract String => C::Bool
+  ```
+
+  Background:
+    Given a file named "bool_usage.rb" with:
+    """ruby
+    require "contracts"
+    C = Contracts
+
+    class Example
+      include Contracts::Core
+
+      Contract String => C::Bool
+      def self.strong?(password)
+        return if password == ""
+        password.length > 22
+      end
+    end
+    """
+
+  Scenario: Accepts `true`
+    Given a file named "true.rb" with:
+    """ruby
+    require "./bool_usage"
+    puts Example.strong?("verystrongandLon774gPassword!ForYouHere")
+    """
+    When I run `ruby true.rb`
+    Then output should contain:
+    """
+    true
+    """
+
+  Scenario: Accepts `false`
+    Given a file named "false.rb" with:
+    """ruby
+    require "./bool_usage"
+    puts Example.strong?("welcome")
+    """
+    When I run `ruby false.rb`
+    Then output should contain:
+    """
+    false
+    """
+
+  Scenario: Rejects everything else
+    Given a file named "nil.rb" with:
+    """ruby
+    require "./bool_usage"
+    puts Example.strong?("")
+    """
+    When I run `ruby nil.rb`
+    Then output should contain:
+    """
+    : Contract violation for return value: (ReturnContractError)
+            Expected: Bool,
+            Actual: nil
+            Value guarded in: Example::strong?
+            With Contract: String => Bool
+    """

data/lib/contracts-ruby3/features/builtin_contracts/enum.feature

@@ -0,0 +1 @@
+Feature: Enum (TODO)

data/lib/contracts-ruby3/features/builtin_contracts/eq.feature

@@ -0,0 +1 @@
+Feature: Eq (TODO)

data/lib/contracts-ruby3/features/builtin_contracts/exactly.feature

@@ -0,0 +1 @@
+Feature: Exactly (TODO)

data/lib/contracts-ruby3/features/builtin_contracts/func.feature

@@ -0,0 +1 @@
+Feature: Func (TODO)

data/lib/contracts-ruby3/features/builtin_contracts/hash_of.feature

@@ -0,0 +1 @@
+Feature: HashOf (TODO)

data/lib/contracts-ruby3/features/builtin_contracts/int.feature

@@ -0,0 +1,93 @@
+Feature: Int
+
+  Checks that an argument is an integer.
+
+  ```ruby
+  Contract C::Int => C::Int
+  ```
+
+  Background:
+    Given a file named "int_usage.rb" with:
+    """ruby
+    require "contracts"
+    C = Contracts
+
+    class Integr
+      include Contracts::Core
+
+      Contract C::Int => C::Int
+      def prev(number)
+        number - 1
+      end
+    end
+    """
+
+  Scenario: Accepts positive integers
+    Given a file named "accepts_positive_integers.rb" with:
+    """ruby
+    require "./int_usage"
+    puts Integr.new.prev(7)
+    """
+    When I run `ruby accepts_positive_integers.rb`
+    Then output should contain:
+    """
+    6
+    """
+
+  Scenario: Accepts zero
+    Given a file named "accepts_zero.rb" with:
+    """ruby
+    require "./int_usage"
+    puts Integr.new.prev(1)
+    """
+    When I run `ruby accepts_zero.rb`
+    Then output should contain:
+    """
+    0
+    """
+
+  Scenario: Accepts negative integers
+    Given a file named "accepts_negative_integers.rb" with:
+    """ruby
+    require "./int_usage"
+    puts Integr.new.prev(-1)
+    """
+    When I run `ruby accepts_negative_integers.rb`
+    Then output should contain:
+    """
+    -2
+    """
+
+  Scenario: Rejects floats
+    Given a file named "rejects_floats.rb" with:
+    """ruby
+    require "./int_usage"
+    puts Integr.new.prev(3.43)
+    """
+    When I run `ruby rejects_floats.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: Int,
+            Actual: 3.43
+            Value guarded in: Integr::prev
+            With Contract: Int => Int
+    """
+    And output should contain "int_usage.rb:8"
+
+  Scenario: Rejects other values
+    Given a file named "rejects_others.rb" with:
+    """ruby
+    require "./int_usage"
+    puts Integr.new.prev("foo")
+    """
+    When I run `ruby rejects_others.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: Int,
+            Actual: "foo"
+            Value guarded in: Integr::prev
+            With Contract: Int => Int
+    """
+    And output should contain "int_usage.rb:8"

data/lib/contracts-ruby3/features/builtin_contracts/keyword_args.feature

@@ -0,0 +1 @@
+Feature: KeywordArgs (TODO)

data/lib/contracts-ruby3/features/builtin_contracts/maybe.feature

@@ -0,0 +1 @@
+Feature: Maybe (TODO)

data/lib/contracts-ruby3/features/builtin_contracts/nat.feature

@@ -0,0 +1,115 @@
+Feature: Nat
+
+  Checks that an argument is a natural number.
+
+  ```ruby
+  Contract C::Nat => C::Nat
+  ```
+
+  Background:
+    Given a file named "nat_usage.rb" with:
+    """ruby
+    require "contracts"
+    C = Contracts
+
+    class Natural
+      include Contracts::Core
+
+      Contract C::Nat => C::Nat
+      def prev(number)
+        number - 1
+      end
+    end
+    """
+
+  Scenario: Accepts positive integers
+    Given a file named "accepts_positive_integers.rb" with:
+    """ruby
+    require "./nat_usage"
+    puts Natural.new.prev(7)
+    """
+    When I run `ruby accepts_positive_integers.rb`
+    Then output should contain:
+    """
+    6
+    """
+
+  Scenario: Accepts zero
+    Given a file named "accepts_zero.rb" with:
+    """ruby
+    require "./nat_usage"
+    puts Natural.new.prev(1)
+    """
+    When I run `ruby accepts_zero.rb`
+    Then output should contain:
+    """
+    0
+    """
+
+  Scenario: Rejects negative integers
+    Given a file named "rejects_negative_integers.rb" with:
+    """ruby
+    require "./nat_usage"
+    puts Natural.new.prev(-1)
+    """
+    When I run `ruby rejects_negative_integers.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: Nat,
+            Actual: -1
+            Value guarded in: Natural::prev
+            With Contract: Nat => Nat
+    """
+    And output should contain "nat_usage.rb:8"
+
+  Scenario: Rejects negative integers as a return value
+    Given a file named "rejects_negative_integers.rb" with:
+    """ruby
+    require "./nat_usage"
+    puts Natural.new.prev(0)
+    """
+    When I run `ruby rejects_negative_integers.rb`
+    Then output should contain:
+    """
+    : Contract violation for return value: (ReturnContractError)
+            Expected: Nat,
+            Actual: -1
+            Value guarded in: Natural::prev
+            With Contract: Nat => Nat
+    """
+    And output should contain "nat_usage.rb:8"
+
+  Scenario: Rejects floats
+    Given a file named "rejects_floats.rb" with:
+    """ruby
+    require "./nat_usage"
+    puts Natural.new.prev(3.43)
+    """
+    When I run `ruby rejects_floats.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: Nat,
+            Actual: 3.43
+            Value guarded in: Natural::prev
+            With Contract: Nat => Nat
+    """
+    And output should contain "nat_usage.rb:8"
+
+  Scenario: Rejects other values
+    Given a file named "rejects_others.rb" with:
+    """ruby
+    require "./nat_usage"
+    puts Natural.new.prev("foo")
+    """
+    When I run `ruby rejects_others.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: Nat,
+            Actual: "foo"
+            Value guarded in: Natural::prev
+            With Contract: Nat => Nat
+    """
+    And output should contain "nat_usage.rb:8"

data/lib/contracts-ruby3/features/builtin_contracts/nat_pos.feature

@@ -0,0 +1,119 @@
+Feature: NatPos
+
+  Checks that an argument is a positive natural number.
+
+  ```ruby
+  Contract C::NatPos => C::NatPos
+  ```
+
+  Background:
+    Given a file named "nat_pos_usage.rb" with:
+    """ruby
+    require "contracts"
+    C = Contracts
+
+    class NaturalPositive
+      include Contracts::Core
+
+      Contract C::NatPos => C::NatPos
+      def prev(number)
+        number - 1
+      end
+    end
+    """
+
+  Scenario: Accepts positive integers
+    Given a file named "accepts_positive_integers.rb" with:
+    """ruby
+    require "./nat_pos_usage"
+    puts NaturalPositive.new.prev(7)
+    """
+    When I run `ruby accepts_positive_integers.rb`
+    Then output should contain:
+    """
+    6
+    """
+
+  Scenario: Rejects zero
+    Given a file named "rejects_zero.rb" with:
+    """ruby
+    require "./nat_pos_usage"
+    puts NaturalPositive.new.prev(0)
+    """
+    When I run `ruby rejects_zero.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: NatPos,
+            Actual: 0
+            Value guarded in: NaturalPositive::prev
+            With Contract: NatPos => NatPos
+    """
+
+  Scenario: Rejects negative integers
+    Given a file named "rejects_negative_integers.rb" with:
+    """ruby
+    require "./nat_pos_usage"
+    puts NaturalPositive.new.prev(-1)
+    """
+    When I run `ruby rejects_negative_integers.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: NatPos,
+            Actual: -1
+            Value guarded in: NaturalPositive::prev
+            With Contract: NatPos => NatPos
+    """
+    And output should contain "nat_pos_usage.rb:8"
+
+  Scenario: Rejects negative integers as a return value
+    Given a file named "rejects_negative_integers.rb" with:
+    """ruby
+    require "./nat_pos_usage"
+    puts NaturalPositive.new.prev(1)
+    """
+    When I run `ruby rejects_negative_integers.rb`
+    Then output should contain:
+    """
+    : Contract violation for return value: (ReturnContractError)
+            Expected: NatPos,
+            Actual: 0
+            Value guarded in: NaturalPositive::prev
+            With Contract: NatPos => NatPos
+    """
+    And output should contain "nat_pos_usage.rb:8"
+
+  Scenario: Rejects floats
+    Given a file named "rejects_floats.rb" with:
+    """ruby
+    require "./nat_pos_usage"
+    puts NaturalPositive.new.prev(3.43)
+    """
+    When I run `ruby rejects_floats.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: NatPos,
+            Actual: 3.43
+            Value guarded in: NaturalPositive::prev
+            With Contract: NatPos => NatPos
+    """
+    And output should contain "nat_pos_usage.rb:8"
+
+  Scenario: Rejects other values
+    Given a file named "rejects_others.rb" with:
+    """ruby
+    require "./nat_pos_usage"
+    puts NaturalPositive.new.prev("foo")
+    """
+    When I run `ruby rejects_others.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: NatPos,
+            Actual: "foo"
+            Value guarded in: NaturalPositive::prev
+            With Contract: NatPos => NatPos
+    """
+    And output should contain "nat_pos_usage.rb:8"

data/lib/contracts-ruby3/features/builtin_contracts/neg.feature

@@ -0,0 +1,115 @@
+Feature: Neg
+
+  Checks that an argument is negative `Numeric`.
+
+  ```ruby
+  Contract C::Neg => C::Neg
+  ```
+
+  Background:
+    Given a file named "pos_usage.rb" with:
+    """ruby
+    require "contracts"
+    C = Contracts
+
+    class Example
+      include Contracts::Core
+
+      Contract C::Neg => C::Neg
+      def double_expense(amount)
+        amount * 2
+      end
+    end
+    """
+
+  Scenario: Accepts negative integers
+    Given a file named "accepts_negative_integers.rb" with:
+    """ruby
+    require "./pos_usage"
+    puts Example.new.double_expense(-50)
+    """
+    When I run `ruby accepts_negative_integers.rb`
+    Then output should contain:
+    """
+    -100
+    """
+
+  Scenario: Accepts negative floats
+    Given a file named "accepts_negative_floats.rb" with:
+    """ruby
+    require "./pos_usage"
+    puts Example.new.double_expense(-37.99)
+    """
+    When I run `ruby accepts_negative_floats.rb`
+    Then output should contain:
+    """
+    -75.98
+    """
+
+  Scenario: Rejects positive integers
+    Given a file named "rejects_positive_integers.rb" with:
+    """ruby
+    require "./pos_usage"
+    puts Example.new.double_expense(50)
+    """
+    When I run `ruby rejects_positive_integers.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: Neg,
+            Actual: 50
+            Value guarded in: Example::double_expense
+            With Contract: Neg => Neg
+    """
+    And output should contain "pos_usage.rb:8"
+
+  Scenario: Rejects positive floats
+    Given a file named "rejects_positive_floats.rb" with:
+    """ruby
+    require "./pos_usage"
+    puts Example.new.double_expense(42.50)
+    """
+    When I run `ruby rejects_positive_floats.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: Neg,
+            Actual: 42.5
+            Value guarded in: Example::double_expense
+            With Contract: Neg => Neg
+    """
+    And output should contain "pos_usage.rb:8"
+
+  Scenario: Rejects zero
+    Given a file named "rejects_zero.rb" with:
+    """ruby
+    require "./pos_usage"
+    puts Example.new.double_expense(0)
+    """
+    When I run `ruby rejects_zero.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: Neg,
+            Actual: 0
+            Value guarded in: Example::double_expense
+            With Contract: Neg => Neg
+    """
+    And output should contain "pos_usage.rb:8"
+
+  Scenario: Rejects other values
+    Given a file named "rejects_others.rb" with:
+    """ruby
+    require "./pos_usage"
+    puts Example.new.double_expense("foo")
+    """
+    When I run `ruby rejects_others.rb`
+    Then output should contain:
+    """
+    : Contract violation for argument 1 of 1: (ParamContractError)
+            Expected: Neg,
+            Actual: "foo"
+            Value guarded in: Example::double_expense
+            With Contract: Neg => Neg
+    """
+    And output should contain "pos_usage.rb:8"

data/lib/contracts-ruby3/features/builtin_contracts/none.feature

@@ -0,0 +1,145 @@
+Feature: None
+
+  Fails for any argument.
+
+  Often used to explicitly specify that method does not accept any arguments:
+
+  ```ruby
+  Contract C::None => Symbol
+  def a_symbol
+    :a_symbol
+  end
+  ```
+
+  The same behavior can be achieved when argument list omitted:
+
+  ```ruby
+  Contract Symbol
+  def a_symbol
+    :a_symbol
+  end
+  ```
+
+  Background:
+    Given a file named "helper.rb" with:
+    """ruby
+    def autorescue
+      yield
+    rescue => e
+      puts e.inspect
+    end
+    """
+    Given a file named "none_usage.rb" with:
+    """ruby
+    require "contracts"
+    require "./helper"
+    C = Contracts
+
+    class Example
+      include Contracts::Core
+
+      Contract C::None => Symbol
+      def self.a_symbol(*args)
+        :a_symbol
+      end
+    end
+    """
+
+  Scenario: Accepts nothing
+    Given a file named "nothing.rb" with:
+    """ruby
+    require "./none_usage"
+    puts Example.a_symbol
+    """
+    When I run `ruby nothing.rb`
+    Then output should contain:
+    """
+    a_symbol
+    """
+
+  Scenario: Rejects any argument
+    Given a file named "anything.rb" with:
+    """ruby
+    require "./none_usage"
+    autorescue { Example.a_symbol(nil) }
+    autorescue { Example.a_symbol(12) }
+    autorescue { Example.a_symbol(37.5) }
+    autorescue { Example.a_symbol("foo") }
+    autorescue { Example.a_symbol(:foo) }
+    autorescue { Example.a_symbol({}) }
+    autorescue { Example.a_symbol([]) }
+    autorescue { Example.a_symbol(Object) }
+    """
+    When I run `ruby anything.rb`
+
+    Then output should contain:
+    """
+    ParamContractError: Contract violation for argument 1 of 1:
+            Expected: None,
+            Actual: nil
+            Value guarded in: Example::a_symbol
+            With Contract: None => Symbol
+    """
+
+    Then output should contain:
+    """
+    ParamContractError: Contract violation for argument 1 of 1:
+            Expected: None,
+            Actual: 12
+            Value guarded in: Example::a_symbol
+            With Contract: None => Symbol
+    """
+
+    Then output should contain:
+    """
+    ParamContractError: Contract violation for argument 1 of 1:
+            Expected: None,
+            Actual: 37.5
+            Value guarded in: Example::a_symbol
+            With Contract: None => Symbol
+    """
+
+    Then output should contain:
+    """
+    ParamContractError: Contract violation for argument 1 of 1:
+            Expected: None,
+            Actual: "foo"
+            Value guarded in: Example::a_symbol
+            With Contract: None => Symbol
+    """
+
+    Then output should contain:
+    """
+    ParamContractError: Contract violation for argument 1 of 1:
+            Expected: None,
+            Actual: :foo
+            Value guarded in: Example::a_symbol
+            With Contract: None => Symbol
+    """
+
+    Then output should contain:
+    """
+    ParamContractError: Contract violation for argument 1 of 1:
+            Expected: None,
+            Actual: {}
+            Value guarded in: Example::a_symbol
+            With Contract: None => Symbol
+    """
+
+    Then output should contain:
+    """
+    ParamContractError: Contract violation for argument 1 of 1:
+            Expected: None,
+            Actual: []
+            Value guarded in: Example::a_symbol
+            With Contract: None => Symbol
+    """
+
+    Then output should contain:
+    """
+    ParamContractError: Contract violation for argument 1 of 1:
+            Expected: None,
+            Actual: Object
+            Value guarded in: Example::a_symbol
+            With Contract: None => Symbol
+    """

data/lib/contracts-ruby3/features/builtin_contracts/not.feature

@@ -0,0 +1 @@
+Feature: Not (TODO)