class RBS::Types::Variable

Attributes

location [R] loc?

name [R] Symbol

Public Class Methods

(Symbol) → Variable
(Array[Symbol]) → Array[Variable]

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 168
def self.build(v)
  case v
  when Symbol
    new(name: v, location: nil)
  when Array
    v.map {|x| new(name: x, location: nil) }
  end
end

fresh (v = :T)

(?Symbol prefix) → Variable

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 178
def self.fresh(v = :T)
  @@count = @@count + 1
  new(name: :"#{v}@#{@@count}", location: nil)
end

Returns fresh type variable with prefix (if given.)

Variable.fresh(:S)       # => S@1
Variable.fresh(:S)       # => S@2
Variable.fresh()         # => T@3

new (name:, location:)

(name: Symbol, location: loc?) → void

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 139
def initialize(name:, location:)
  @name = name
  @location = location
end

Public Instance Methods

== (other)

(untyped other) → bool

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 144
def ==(other)
  other.is_a?(Variable) && other.name == name
end

Also aliased as: eql?, eql?

eql? (other)

(untyped other) → bool

Alias for: ==

free_variables (set = Set.new)

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 154
def free_variables(set = Set.new)
  set.tap do
    set << name
  end
end

has_classish_type? ()

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 193
def has_classish_type?
  false
end

has_self_type? ()

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 189
def has_self_type?
  false
end

hash ()

() → Integer

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 150
def hash
  self.class.hash ^ name.hash
end

sub (s)

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 164
def sub(s)
  s.apply(self)
end

to_json (state = nil)

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 160
def to_json(state = nil)
  { class: :variable, name: name, location: location }.to_json(state)
end

to_s (level = 0)

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 183
def to_s(level = 0)
  name.to_s
end

with_nonreturn_void? ()

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 197
def with_nonreturn_void?
  false
end