Exception: Ibex::Equiv::BudgetExceeded

Inherits:

Ibex::Error

• Object
• StandardError
• Ibex::Error
• Ibex::Equiv::BudgetExceeded

Defined in:

lib/ibex/equiv.rb

Instance Attribute Summary

• #details ⇒ Object readonly

  : Hash[Symbol, Object?].

Instance Method Summary

• #initialize(details) ⇒ BudgetExceeded constructor

  A new instance of BudgetExceeded.

Constructor Details

#initialize(details) ⇒ BudgetExceeded

Returns a new instance of BudgetExceeded.

# File 'lib/ibex/equiv.rb', line 37

def initialize(details)
  @details = IR.deep_freeze(details)
  super("(equiv):1:1: configured budget was exhausted")
end

Instance Attribute Details

#details ⇒ Object (readonly)

: Hash[Symbol, Object?]

# File 'lib/ibex/equiv.rb', line 34

def details
  @details
end