Class: Steep::TypeInference::Context::BlockContext

Inherits:

Object

• Object
• Steep::TypeInference::Context::BlockContext

Defined in:

lib/steep/type_inference/context.rb

Instance Attribute Summary

• #body_type ⇒ Object readonly

  Returns the value of attribute body_type.

Instance Method Summary

• #initialize(body_type:) ⇒ BlockContext constructor

  A new instance of BlockContext.

• #subst(s) ⇒ Object

Constructor Details

#initialize(body_type:) ⇒ BlockContext

Returns a new instance of BlockContext.

# File 'lib/steep/type_inference/context.rb', line 33

def initialize(body_type:)
  @body_type = body_type
end

Instance Attribute Details

#body_type ⇒ Object (readonly)

Returns the value of attribute body_type.

# File 'lib/steep/type_inference/context.rb', line 31

def body_type
  @body_type
end

Instance Method Details

#subst(s) ⇒ Object

# File 'lib/steep/type_inference/context.rb', line 37

def subst(s)
  BlockContext.new(body_type: body_type&.subst(s))
end