Class: RBS::Types::Variable

Inherits:
Object
  • Object
show all
Includes:
EmptyEachType, NoTypeName, _TypeBase
Defined in:
lib/rbs/types.rb,
sig/types.rbs

Constant Summary collapse

@@count = 
0

Instance Attribute Summary collapse

Class Method Summary collapse

Instance Method Summary collapse

Methods included from EmptyEachType

#each_type, #map_type

Methods included from NoTypeName

#map_type_name

Methods included from _TypeBase

#each_type, #map_type_name

Constructor Details

#initialize(name:, location:) ⇒ Variable

Returns a new instance of Variable.

Parameters:

  • name: (Symbol)
  • location: (loc, nil) 


139
140
141
142
 
# File 'lib/rbs/types.rb', line 139

def initialize(name:, location:)
  @name = name
  @location = location
end

Instance Attribute Details

#location ⇒ loc? (readonly)

Returns the value of attribute location.

Returns:

  • (loc, nil) 


135
136
137
 
# File 'lib/rbs/types.rb', line 135

def location
  @location
end

#name ⇒ Symbol (readonly)

Returns the value of attribute name.

Returns:

  • (Symbol) 


134
135
136
 
# File 'lib/rbs/types.rb', line 134

def name
  @name
end

Class Method Details

.build(arg0) ⇒ Variable .build(arg0) ⇒ Array[Variable]

Overloads:

  • .build(arg0) ⇒ Variable

    Parameters:

    • arg0 (Symbol)

    Returns:

  • .build(arg0) ⇒ Array[Variable]

    Parameters:

    • arg0 (Array[Symbol])

    Returns:



168
169
170
171
172
173
174
175
 
# File '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) ⇒ Variable

Returns fresh type variable with prefix (if given.)

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

Parameters:

  • prefix (Symbol)

Returns:



169
170
171
172
 
# File 'sig/types.rbs', line 169

def self.fresh(v = :T)
  @@count = @@count + 1
  new(name: :"#{v}@#{@@count}", location: nil)
end

Instance Method Details

#==(other) ⇒ Boolean Also known as: eql?

Parameters:

  • other (Object)

Returns:

  • (Boolean) 


144
145
146
 
# File 'lib/rbs/types.rb', line 144

def ==(other)
  other.is_a?(Variable) && other.name == name
end

#free_variables(set = Set.new) ⇒ Object 



154
155
156
157
158
 
# File 'lib/rbs/types.rb', line 154

def free_variables(set = Set.new)
  set.tap do
    set << name
  end
end

#has_classish_type? ⇒ Boolean

Returns:

  • (Boolean) 


193
194
195
 
# File 'lib/rbs/types.rb', line 193

def has_classish_type?
  false
end

#has_self_type? ⇒ Boolean

Returns:

  • (Boolean) 


189
190
191
 
# File 'lib/rbs/types.rb', line 189

def has_self_type?
  false
end

#hash ⇒ Integer

Returns:

  • (Integer) 


150
151
152
 
# File 'lib/rbs/types.rb', line 150

def hash
  self.class.hash ^ name.hash
end

#sub(s) ⇒ Object 



164
165
166
 
# File 'lib/rbs/types.rb', line 164

def sub(s)
  s.apply(self)
end

#to_json(state = nil) ⇒ Object 



160
161
162
 
# File '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) ⇒ Object 



183
184
185
 
# File 'lib/rbs/types.rb', line 183

def to_s(level = 0)
  name.to_s
end

#with_nonreturn_void? ⇒ Boolean

Returns:

  • (Boolean) 


197
198
199
 
# File 'lib/rbs/types.rb', line 197

def with_nonreturn_void?
  false
end