Class: Steep::Subtyping::Constraints::UnsatisfiedInvariantError::VariablesUnknownsNotDisjoint

Inherits:

Object

• Object
• Steep::Subtyping::Constraints::UnsatisfiedInvariantError::VariablesUnknownsNotDisjoint

Defined in:

lib/steep/subtyping/constraints.rb

Instance Attribute Summary

• #vars ⇒ Object readonly

  Returns the value of attribute vars.

Instance Method Summary

• #initialize(vars:) ⇒ VariablesUnknownsNotDisjoint constructor

  A new instance of VariablesUnknownsNotDisjoint.

• #message ⇒ Object

Constructor Details

#initialize(vars:) ⇒ VariablesUnknownsNotDisjoint

Returns a new instance of VariablesUnknownsNotDisjoint.

# File 'lib/steep/subtyping/constraints.rb', line 17

def initialize(vars:)
  @vars = vars
end

Instance Attribute Details

#vars ⇒ Object (readonly)

Returns the value of attribute vars.

# File 'lib/steep/subtyping/constraints.rb', line 15

def vars
  @vars
end

Instance Method Details

#message ⇒ Object

# File 'lib/steep/subtyping/constraints.rb', line 21

def message
  "Variables and unknowns should be disjoint (#{vars})"
end