Class: Yoda::Model::Environment::ValueResolveContext

Inherits:

Object

• Object
• Yoda::Model::Environment::ValueResolveContext

Defined in:

lib/yoda/model/environment/value_resolve_context.rb

Defined Under Namespace

Classes: WrappedType

Instance Attribute Summary

• #self_type ⇒ RBS::Types::t^? readonly

Class Method Summary

• .empty ⇒ ValueResolveContext

Instance Method Summary

• #initialize(self_type: nil) ⇒ ValueResolveContext constructor

  A new instance of ValueResolveContext.

• #wrap(type) ⇒ Object

Constructor Details

#initialize(self_type: nil) ⇒ ValueResolveContext

Returns a new instance of ValueResolveContext.

Parameters:

• self_type (RBS::Types::t, nil) (defaults to: nil)

# File 'lib/yoda/model/environment/value_resolve_context.rb', line 16

def initialize(self_type: nil)
  @self_type = self_type
end

Instance Attribute Details

#self_type ⇒ RBS::Types::t^? (readonly)

Returns:

• (RBS::Types::t, nil)

# File 'lib/yoda/model/environment/value_resolve_context.rb', line 13

def self_type
  @self_type
end

Class Method Details

.empty ⇒ ValueResolveContext

Returns:

• (ValueResolveContext)

# File 'lib/yoda/model/environment/value_resolve_context.rb', line 8

def self.empty
  new
end

Instance Method Details

#wrap(type) ⇒ Object

Parameters:

• type (RBS::Types::t)

# File 'lib/yoda/model/environment/value_resolve_context.rb', line 21

def wrap(type)
  WrappedType.new(type, context: self)
end