Exception: Ibex::Verify::BudgetExceeded

Inherits:

Error

• Object
• StandardError
• Error
• Ibex::Verify::BudgetExceeded

Defined in:

lib/ibex/verify/result.rb,
sig/ibex/verify/result.rbs

Instance Attribute Summary

• #bounds ⇒ Hash[Symbol, Integer] readonly

Instance Method Summary

• #initialize(message, bounds:) ⇒ BudgetExceeded constructor

  A new instance of BudgetExceeded.

Constructor Details

#initialize(message, bounds:) ⇒ BudgetExceeded

Returns a new instance of BudgetExceeded.

RBS:

• (String message, bounds: Hash[Symbol, Integer]) -> void

Parameters:

• message (String)
• bounds: (Hash[Symbol, Integer])

# File 'lib/ibex/verify/result.rb', line 67

def initialize(message, bounds:)
  @bounds = bounds.dup.freeze
  super(message)
end

Instance Attribute Details

#bounds ⇒ Hash[Symbol, Integer] (readonly)

Signature:

• Hash[Symbol, Integer]

Returns:

• (Hash[Symbol, Integer])

# File 'lib/ibex/verify/result.rb', line 64

def bounds
  @bounds
end