Class: Ibex::Verify::LanguageWitness::Difference

Inherits:
Object
  • Object
show all
Defined in:
lib/ibex/verify/language_witness.rb,
sig/ibex/verify/language_witness.rbs

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(entry:, tokens:, canonical:, target:) ⇒ Difference

Returns a new instance of Difference.

RBS:

  • (entry: String, tokens: Array[String], canonical: witness_status, target: witness_status) -> void

Parameters:

  • entry: (String)
  • tokens: (Array[String])
  • canonical: (witness_status)
  • target: (witness_status) 


26
27
28
29
30
31
32
 
# File 'lib/ibex/verify/language_witness.rb', line 26

def initialize(entry:, tokens:, canonical:, target:)
  @entry = entry.freeze
  @tokens = tokens.dup.freeze
  @canonical = canonical
  @target = target
  freeze
end

Instance Attribute Details

#canonical ⇒ witness_status (readonly)

Signature:

  • witness_status

Returns:

  • (witness_status) 


21
22
23
 
# File 'lib/ibex/verify/language_witness.rb', line 21

def canonical
  @canonical
end

#entry ⇒ String (readonly)

Signature:

  • String

Returns:

  • (String) 


19
20
21
 
# File 'lib/ibex/verify/language_witness.rb', line 19

def entry
  @entry
end

#target ⇒ witness_status (readonly)

Signature:

  • witness_status

Returns:

  • (witness_status) 


22
23
24
 
# File 'lib/ibex/verify/language_witness.rb', line 22

def target
  @target
end

#tokens ⇒ Array[String] (readonly)

Signature:

  • Array[String]

Returns:

  • (Array[String]) 


20
21
22
 
# File 'lib/ibex/verify/language_witness.rb', line 20

def tokens
  @tokens
end