class Contracts::Builtin::And
Takes a variable number of contracts. The contract passes if all contracts pass. Example: And[Integer, Float]
Public Class Methods
Source
# File lib/contracts/builtin_contracts.rb, line 151 def initialize(*vals) super() @vals = vals end
Calls superclass method
Public Instance Methods
Source
# File lib/contracts/builtin_contracts.rb, line 163 def to_s # rubocop:disable Style/StringConcatenation @vals[0, @vals.size-1].map do |x| InspectWrapper.create(x) end.join(", ") + " and " + InspectWrapper.create(@vals[-1]).to_s # rubocop:enable Style/StringConcatenation end
Source
# File lib/contracts/builtin_contracts.rb, line 156 def valid?(val) @vals.all? do |contract| res, _ = Contract.valid?(val, contract) res end end