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