Sha256: 81139bae03aeaf6fd6106bf8e5bd9a13fcc8c33cc4d5e71b07c74acb806ed052
Contents?: true
Size: 1.32 KB
Versions: 18
Compression:
Stored size: 1.32 KB
Contents
module Steep
module AST
module Types
class Var
attr_reader :name
attr_reader :location
def initialize(name:, location: nil)
@name = name
@location = location
end
def ==(other)
other.is_a?(Var) &&
other.name == name
end
def hash
self.class.hash ^ name.hash
end
alias eql? ==
def self.fresh_name(name)
@mutex ||= Mutex.new
@mutex.synchronize do
@max ||= 0
@max += 1
:"#{name}(#{@max})"
end
end
def self.fresh(name, location: nil)
new(name: fresh_name(name), location: location)
end
def to_s
name.to_s
end
def subst(s)
if s.key?(name)
s[name]
else
self
end
end
def free_variables()
@fvs ||= Set.new([name])
end
include Helper::NoChild
def level
[0]
end
def update(name: self.name, location: self.location)
self.class.new(
name: name,
location: location
)
end
def with_location(new_location)
update(location: new_location)
end
end
end
end
end
Version data entries
18 entries across 18 versions & 1 rubygems