Class: Steep::AST::Types::Instance

Inherits:
Object
  • Object
show all
Extended by:
SharedInstance
Includes:
Helper::NoChild
Defined in:
lib/steep/ast/types/instance.rb

Constant Summary collapse

@@fvs = 
Set[instance]

Instance Method Summary collapse

Methods included from SharedInstance

instance

Methods included from Helper::NoChild

#each_child, #map_type

Instance Method Details

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



7
8
9
 
# File 'lib/steep/ast/types/instance.rb', line 7

def ==(other)
  other.is_a?(Instance)
end

#free_variables ⇒ Object 



26
27
28
 
# File 'lib/steep/ast/types/instance.rb', line 26

def free_variables
  @@fvs
end

#hash ⇒ Object 



11
12
13
 
# File 'lib/steep/ast/types/instance.rb', line 11

def hash
  self.class.hash
end

#level ⇒ Object 



36
37
38
 
# File 'lib/steep/ast/types/instance.rb', line 36

def level
  [0]
end

#subst(s) ⇒ Object 



17
18
19
20
21
22
23
 
# File 'lib/steep/ast/types/instance.rb', line 17

def subst(s)
  if s.instance_type
    s.instance_type
  else
    self
  end
end

#to_s ⇒ Object 



32
33
34
 
# File 'lib/steep/ast/types/instance.rb', line 32

def to_s
  "instance"
end