class Contracts::Builtin::RangeOf
Use this to specify a Range object of a particular datatype. Example:
RangeOf[Nat]
, RangeOf[Date]
, …
Public Class Methods
new(contract)
click to toggle source
# File lib/contracts/builtin_contracts.rb, line 345 def initialize(contract) @contract = contract end
Public Instance Methods
to_s()
click to toggle source
# File lib/contracts/builtin_contracts.rb, line 355 def to_s "a range of #{@contract}" end
valid?(val)
click to toggle source
# File lib/contracts/builtin_contracts.rb, line 349 def valid?(val) val.is_a?(Range) && Contract.valid?(val.first, @contract) && Contract.valid?(val.last, @contract) end