Class: Steep::Errors::UnsatisfiableConstraint

Inherits:
Base
  • Object
show all
Includes:
ResultPrinter
Defined in:
lib/steep/errors.rb

Instance Attribute Summary collapse

Attributes inherited from Base

#node

Instance Method Summary collapse

Methods included from ResultPrinter

#print_result_to, #print_to

Methods inherited from Base

#location_to_str, #print_to

Constructor Details

#initialize(node:, method_type:, var:, sub_type:, super_type:, result:) ⇒ UnsatisfiableConstraint

Returns a new instance of UnsatisfiableConstraint.



417
418
419
420
421
422
423
424
 
# File 'lib/steep/errors.rb', line 417

def initialize(node:, method_type:, var:, sub_type:, super_type:, result:)
  super(node: node)
  @method_type = method_type
  @var = var
  @sub_type = sub_type
  @super_type = super_type
  @result = result
end

Instance Attribute Details

#method_type ⇒ Object (readonly)

Returns the value of attribute method_type.



411
412
413
 
# File 'lib/steep/errors.rb', line 411

def method_type
  @method_type
end

#result ⇒ Object (readonly)

Returns the value of attribute result.



415
416
417
 
# File 'lib/steep/errors.rb', line 415

def result
  @result
end

#sub_type ⇒ Object (readonly)

Returns the value of attribute sub_type.



413
414
415
 
# File 'lib/steep/errors.rb', line 413

def sub_type
  @sub_type
end

#super_type ⇒ Object (readonly)

Returns the value of attribute super_type.



414
415
416
 
# File 'lib/steep/errors.rb', line 414

def super_type
  @super_type
end

#var ⇒ Object (readonly)

Returns the value of attribute var.



412
413
414
 
# File 'lib/steep/errors.rb', line 412

def var
  @var
end

Instance Method Details

#to_s ⇒ Object 



428
429
430
 
# File 'lib/steep/errors.rb', line 428

def to_s
  "#{location_to_str}: UnsatisfiableConstraint: method_type=#{method_type}, constraint=#{sub_type} <: '#{var} <: #{super_type}"
end