Module: RubyQC::API

Defined in:
lib/rubyqc/api.rb

Defined Under Namespace

Classes: OneOf, SomeOf

Class Method Summary collapse

Class Method Details

.booleans ⇒ Object 



17
18
19
 
# File 'lib/rubyqc/api.rb', line 17

def booleans
  [true, false]
end

.check(*args, &block) ⇒ Object 



7
8
9
 
# File 'lib/rubyqc/api.rb', line 7

def check *args, &block
  RubyQC::Modifier.new(args, &block)
end

.forall(*args, &block) ⇒ Object 



11
12
13
14
15
 
# File 'lib/rubyqc/api.rb', line 11

def forall *args, &block
  args[0].product(*args[1..-1]).each do |val|
    yield(*val)
  end
end

.oneof(args) ⇒ Object 



41
42
43
 
# File 'lib/rubyqc/api.rb', line 41

def oneof args
  OneOf.new(args)
end

.someof(num, args) ⇒ Object 



37
38
39
 
# File 'lib/rubyqc/api.rb', line 37

def someof num, args
  SomeOf.new(num, args)
end