Exception: Steep::Subtyping::Constraints::UnsatisfiedInvariantError

Inherits:
StandardError
  • Object
show all
Defined in:
lib/steep/subtyping/constraints.rb

Defined Under Namespace

Classes: UnknownsFreeVariableNotDisjoint, VariablesFreeVariablesNotDisjoint, VariablesUnknownsNotDisjoint

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(reason:, constraints:) ⇒ UnsatisfiedInvariantError

Returns a new instance of UnsatisfiedInvariantError.



8
9
10
11
12
 
# File 'lib/steep/subtyping/constraints.rb', line 8

def initialize(reason:, constraints:)
  @reason = reason
  @constraints = constraints
  super "Invalid constraint: reason=#{reason.message}, constraints=#{constraints.to_s}"
end

Instance Attribute Details

#constraints ⇒ Object (readonly)

Returns the value of attribute constraints.



5
6
7
 
# File 'lib/steep/subtyping/constraints.rb', line 5

def constraints
  @constraints
end

#reason ⇒ Object (readonly)

Returns the value of attribute reason.



6
7
8
 
# File 'lib/steep/subtyping/constraints.rb', line 6

def reason
  @reason
end