Class: Contracts::Builtin::NatPos

Inherits:

Object

Object
Contracts::Builtin::NatPos

show all

Defined in:: lib/contracts-ruby2/lib/contracts/builtin_contracts.rb,
lib/contracts-ruby3/lib/contracts/builtin_contracts.rb

Overview

Check that an argument is a positive natural number (excludes zero).

Class Method Summary collapse

.valid?(val) ⇒ Boolean

Class Method Details

.valid?(val) ⇒ `Boolean`

Returns:

(Boolean)



60
61
62

# File 'lib/contracts-ruby2/lib/contracts/builtin_contracts.rb', line 60

def self.valid? val
  val && val.is_a?(Integer) && val > 0
end