class RBS::BuiltinNames::Name
Attributes
Public Class Methods
Source
# File bundled-src/rbs-3.10.0/lib/rbs/builtin_names.rb, line 32 def self.define(name, namespace: Namespace.root) new(name: TypeName.new(name: name, namespace: namespace)) end
Source
# File bundled-src/rbs-3.10.0/lib/rbs/builtin_names.rb, line 8 def initialize(name:) @name = name end
Public Instance Methods
Source
# File bundled-src/rbs-3.10.0/lib/rbs/builtin_names.rb, line 16 def instance_type(*args) Types::ClassInstance.new(name: name, args: args, location: nil) end
Source
# File bundled-src/rbs-3.10.0/lib/rbs/builtin_names.rb, line 20 def instance_type?(type) type.is_a?(Types::ClassInstance) && type.name == name end
Source
# File bundled-src/rbs-3.10.0/lib/rbs/builtin_names.rb, line 24 def singleton_type @singleton_type ||= Types::ClassSingleton.new(name: name, location: nil) end
Source
# File bundled-src/rbs-3.10.0/lib/rbs/builtin_names.rb, line 28 def singleton_type?(type) type.is_a?(Types::ClassSingleton) && type.name == name end
Source
# File bundled-src/rbs-3.10.0/lib/rbs/builtin_names.rb, line 12 def to_s name.to_s end