Class: RBS::Types::Variable

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

Constant Summary collapse

@@count = 
0

Instance Attribute Summary collapse

Class Method Summary collapse

Instance Method Summary collapse

Methods included from EmptyEachType

#each_type

Methods included from NoTypeName

#map_type_name

Constructor Details

#initialize(name:, location:) ⇒ Variable

Returns a new instance of Variable.



106
107
108
109
 
# File 'lib/rbs/types.rb', line 106

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

Instance Attribute Details

#location ⇒ Object (readonly)

Returns the value of attribute location.



102
103
104
 
# File 'lib/rbs/types.rb', line 102

def location
  @location
end

#name ⇒ Object (readonly)

Returns the value of attribute name.



101
102
103
 
# File 'lib/rbs/types.rb', line 101

def name
  @name
end

Class Method Details

.build(v) ⇒ Object 



135
136
137
138
139
140
141
142
143
144
 
# File 'lib/rbs/types.rb', line 135

def self.build(v)
  case v
  when Symbol
    new(name: v, location: nil)
  when Array
    v.map {|x| new(name: x, location: nil) }
  else
    raise
  end
end

.fresh(v = :T) ⇒ Object 



147
148
149
150
 
# File 'lib/rbs/types.rb', line 147

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

Instance Method Details

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



111
112
113
 
# File 'lib/rbs/types.rb', line 111

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

#free_variables(set = Set.new) ⇒ Object 



121
122
123
124
125
 
# File 'lib/rbs/types.rb', line 121

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

#hash ⇒ Object 



117
118
119
 
# File 'lib/rbs/types.rb', line 117

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

#sub(s) ⇒ Object 



131
132
133
 
# File 'lib/rbs/types.rb', line 131

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

#to_json(*a) ⇒ Object 



127
128
129
 
# File 'lib/rbs/types.rb', line 127

def to_json(*a)
  { class: :variable, name: name, location: location }.to_json(*a)
end

#to_s(level = 0) ⇒ Object 



152
153
154
 
# File 'lib/rbs/types.rb', line 152

def to_s(level = 0)
  name.to_s
end