Exception: Ibex::Equiv::Difference

Inherits:
Ibex::Error
  • Object
show all
Defined in:
lib/ibex/equiv.rb,
sig/ibex/equiv.rbs

Overview

Signature:

  • Integer

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(details) ⇒ Difference

Returns a new instance of Difference.

RBS:

  • (Hash[Symbol, Object?] details) -> void

Parameters:

  • details (Hash[Symbol, Object?]) 


26
27
28
29
30
 
# File 'lib/ibex/equiv.rb', line 26

def initialize(details)
  @details = IR.deep_freeze(details)
  label = details[:witness] ? " for #{details.fetch(:witness).inspect}" : ""
  super("(equiv):1:1: comparison found a difference#{label}")
end

Instance Attribute Details

#details ⇒ Hash[Symbol, Object?] (readonly)

Signature:

  • Hash[Symbol, Object?]

Returns:

  • (Hash[Symbol, Object?]) 


23
24
25
 
# File 'lib/ibex/equiv.rb', line 23

def details
  @details
end