Class: Yoda::Typing::Types::SingletonType

Inherits:
Object
  • Object
show all
Extended by:
Forwardable
Includes:
RbsTypeWrapperInterface
Defined in:
lib/yoda/typing/types/singleton_type.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Methods included from RbsTypeWrapperInterface

#environment

Constructor Details

#initialize(instance_type) ⇒ SingletonType

Returns a new instance of SingletonType.

Parameters:



18
19
20
 
# File 'lib/yoda/typing/types/singleton_type.rb', line 18

def initialize(instance_type)
  @instance_type = instance_type
end

Instance Attribute Details

#instance_type ⇒ Type, SingletonType (readonly)

Returns:



12
 
# File 'lib/yoda/typing/types/singleton_type.rb', line 12

delegate environment: :instance_type

Instance Method Details

#klass ⇒ Store::Objects::Base

Deprecated.

Use #value to access referred objects.

Returns:



39
40
41
 
# File 'lib/yoda/typing/types/singleton_type.rb', line 39

def klass
  value.referred_objects.first
end

#pretty_print(pp) ⇒ Object

Parameters:

  • pp (PP) 


49
50
51
52
53
54
55
 
# File 'lib/yoda/typing/types/singleton_type.rb', line 49

def pretty_print(pp)
  pp.object_group(self) do
    pp.breakable
    pp.text "@rbs_type="
    pp.pp rbs_type.to_s
  end
end

#rbs_type ⇒ RBS::Types::t

Returns:

  • (RBS::Types::t) 


23
24
25
 
# File 'lib/yoda/typing/types/singleton_type.rb', line 23

def rbs_type
  @rbs_type ||= make_singleton(instance_type.rbs_type)
end

#singleton_type ⇒ SingletonType

Returns:



33
34
35
 
# File 'lib/yoda/typing/types/singleton_type.rb', line 33

def singleton_type
  SingletonType.new(self)
end

#to_s ⇒ String

Returns:

  • (String) 


44
45
46
 
# File 'lib/yoda/typing/types/singleton_type.rb', line 44

def to_s
  rbs_type.to_s
end

#value ⇒ Model::Values::Base

Returns:



28
29
30
 
# File 'lib/yoda/typing/types/singleton_type.rb', line 28

def value
  @value ||= instance_type.value.singleton_class_value
end