Class: Contracts::Xor

Inherits:
CallableClass show all
Defined in:
lib/contracts/builtin_contracts.rb

Overview

Takes a variable number of contracts. The contract passes if exactly one of those contracts pass. Example: Xor[Fixnum, Float]

Instance Method Summary collapse

Methods inherited from CallableClass

[]

Constructor Details

#initialize(*vals) ⇒ Xor

Returns a new instance of Xor.



131
132
133
 
# File 'lib/contracts/builtin_contracts.rb', line 131

def initialize(*vals)
  @vals = vals
end

Instance Method Details

#test_data ⇒ Object 



153
154
155
156
157
 
# File 'lib/contracts/builtin_contracts.rb', line 153

def test_data
  @vals.map { |val|
    Testable.test_data val
  }.flatten
end

#testable? ⇒ Boolean

Returns:

  • (Boolean) 


147
148
149
150
151
 
# File 'lib/contracts/builtin_contracts.rb', line 147

def testable?
  @vals.all? do |val|
    Testable.testable? val
  end    
end

#to_s ⇒ Object 



143
144
145
 
# File 'lib/contracts/builtin_contracts.rb', line 143

def to_s
  @vals[0, @vals.size-1].join(", ") + " xor " + @vals[-1].to_s
end

#valid?(val) ⇒ Boolean

Returns:

  • (Boolean) 


135
136
137
138
139
140
141
 
# File 'lib/contracts/builtin_contracts.rb', line 135

def valid?(val)
  results = @vals.map do |contract|
    res, _ = Contract.valid?(val, contract)
    res
  end
  results.count(true) == 1
end