Class: Bparity::Formal::Scope

Inherits:
Object
  • Object
show all
Defined in:
lib/bparity/formal/result.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(size:, depth:, cases:, exhaustive:, timebox: nil) ⇒ Scope

Returns a new instance of Scope.



8
9
10
11
12
13
14
 
# File 'lib/bparity/formal/result.rb', line 8

def initialize(size:, depth:, cases:, exhaustive:, timebox: nil)
  @size = size
  @depth = depth
  @cases = cases
  @exhaustive = exhaustive
  @timebox = timebox
end

Instance Attribute Details

#cases ⇒ Object (readonly)

Returns the value of attribute cases.



6
7
8
 
# File 'lib/bparity/formal/result.rb', line 6

def cases
  @cases
end

#depth ⇒ Object (readonly)

Returns the value of attribute depth.



6
7
8
 
# File 'lib/bparity/formal/result.rb', line 6

def depth
  @depth
end

#exhaustive ⇒ Object (readonly)

Returns the value of attribute exhaustive.



6
7
8
 
# File 'lib/bparity/formal/result.rb', line 6

def exhaustive
  @exhaustive
end

#size ⇒ Object (readonly)

Returns the value of attribute size.



6
7
8
 
# File 'lib/bparity/formal/result.rb', line 6

def size
  @size
end

#timebox ⇒ Object (readonly)

Returns the value of attribute timebox.



6
7
8
 
# File 'lib/bparity/formal/result.rb', line 6

def timebox
  @timebox
end

Instance Method Details

#to_h ⇒ Object 



16
17
18
19
 
# File 'lib/bparity/formal/result.rb', line 16

def to_h
  { "size" => size, "depth" => depth, "cases" => cases, "exhaustive" => exhaustive,
    "timebox_seconds" => timebox }
end