Class: RBS::Types::Variable
- Inherits:
-
Object
- Object
- RBS::Types::Variable
- Includes:
- EmptyEachType, NoTypeName
- Defined in:
- lib/rbs/types.rb
Constant Summary collapse
- @@count =
0
Instance Attribute Summary collapse
-
#location ⇒ Object
readonly
Returns the value of attribute location.
-
#name ⇒ Object
readonly
Returns the value of attribute name.
Class Method Summary collapse
Instance Method Summary collapse
- #==(other) ⇒ Object (also: #eql?)
- #free_variables(set = Set.new) ⇒ Object
- #hash ⇒ Object
-
#initialize(name:, location:) ⇒ Variable
constructor
A new instance of Variable.
- #sub(s) ⇒ Object
- #to_json(state = _ = nil) ⇒ Object
- #to_s(level = 0) ⇒ Object
Methods included from EmptyEachType
Methods included from NoTypeName
Constructor Details
#initialize(name:, location:) ⇒ Variable
Returns a new instance of Variable.
107 108 109 110 |
# File 'lib/rbs/types.rb', line 107 def initialize(name:, location:) @name = name @location = location end |
Instance Attribute Details
#location ⇒ Object (readonly)
Returns the value of attribute location.
103 104 105 |
# File 'lib/rbs/types.rb', line 103 def location @location end |
#name ⇒ Object (readonly)
Returns the value of attribute name.
102 103 104 |
# File 'lib/rbs/types.rb', line 102 def name @name end |
Class Method Details
.build(v) ⇒ Object
136 137 138 139 140 141 142 143 |
# File 'lib/rbs/types.rb', line 136 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) ⇒ Object
146 147 148 149 |
# File 'lib/rbs/types.rb', line 146 def self.fresh(v = :T) @@count = @@count + 1 new(name: :"#{v}@#{@@count}", location: nil) end |
Instance Method Details
#==(other) ⇒ Object Also known as: eql?
112 113 114 |
# File 'lib/rbs/types.rb', line 112 def ==(other) other.is_a?(Variable) && other.name == name end |
#free_variables(set = Set.new) ⇒ Object
122 123 124 125 126 |
# File 'lib/rbs/types.rb', line 122 def free_variables(set = Set.new) set.tap do set << name end end |
#hash ⇒ Object
118 119 120 |
# File 'lib/rbs/types.rb', line 118 def hash self.class.hash ^ name.hash end |
#sub(s) ⇒ Object
132 133 134 |
# File 'lib/rbs/types.rb', line 132 def sub(s) s.apply(self) end |
#to_json(state = _ = nil) ⇒ Object
128 129 130 |
# File 'lib/rbs/types.rb', line 128 def to_json(state = _ = nil) { class: :variable, name: name, location: location }.to_json(state) end |
#to_s(level = 0) ⇒ Object
151 152 153 |
# File 'lib/rbs/types.rb', line 151 def to_s(level = 0) name.to_s end |