class Contracts::Builtin::Xor
Takes a variable number of contracts. The contract passes if exactly one of
those contracts pass. Example: Xor[Fixnum, Float]
Public Class Methods
new(*vals)
click to toggle source
# File lib/contracts/builtin_contracts.rb, line 120 def initialize(*vals) @vals = vals end
Public Instance Methods
to_s()
click to toggle source
# File lib/contracts/builtin_contracts.rb, line 132 def to_s @vals[0, @vals.size-1].map do |x| InspectWrapper.create(x) end.join(", ") + " xor " + InspectWrapper.create(@vals[-1]).to_s end
valid?(val)
click to toggle source
# File lib/contracts/builtin_contracts.rb, line 124 def valid?(val) results = @vals.map do |contract| res, _ = Contract.valid?(val, contract) res end results.count(true) == 1 end