Class: Laser::Analysis::Bindings::Base

Inherits:

Object

• Object
• Laser::Analysis::Bindings::Base

show all

Includes:

Comparable

Defined in:

lib/laser/analysis/bindings.rb

Overview

Instance Attribute Summary (collapse)

• - (Object) annotated_type

  Returns the value of attribute annotated_type.

• - (Object) ast_node

  Returns the value of attribute ast_node.

• - (Object) definition

  Returns the value of attribute definition.

• - (Object) inferred_type

  Returns the value of attribute inferred_type.

• - (Object) name

  Returns the value of attribute name.

• - (Object) self_owner

  Returns the value of attribute self_owner.

• - (Object) uses

  Returns the value of attribute uses.

• - (Object) value readonly

  Returns the value of attribute value.

Instance Method Summary (collapse)

• - (Object) <=>(other)
• - (Object) bind!(value)
• - (Object) class_used
• - (Object) deep_dup
• - (Object) expr_type
• - (Base) initialize(name, value) constructor

  A new instance of Base.

• - (Object) initialize_dup_deep(other)

  like initialize_dup, but manually called and deep copy.

• - (Object) inspect
• - (Object) scope
• - (Object) to_s

Methods included from Comparable

#<, #<=, #==, #>, #>=, #between?, compare_int

12
13
14
15
16
17
18

# File 'lib/laser/analysis/bindings.rb', line 12

def initialize(name, value)
  @name = name
  @uses = Set.new
  @definition = @self_owner = nil
  @value = :uninitialized
  bind!(value)
end

8
9
10

# File 'lib/laser/analysis/bindings.rb', line 8

def annotated_type
  @annotated_type
end

8
9
10

# File 'lib/laser/analysis/bindings.rb', line 8

def ast_node
  @ast_node
end

9
10
11

# File 'lib/laser/analysis/bindings.rb', line 9

def definition
  @definition
end

8
9
10

# File 'lib/laser/analysis/bindings.rb', line 8

def inferred_type
  @inferred_type
end

8
9
10

# File 'lib/laser/analysis/bindings.rb', line 8

def name
  @name
end

9
10
11

# File 'lib/laser/analysis/bindings.rb', line 9

def self_owner
  @self_owner
end

8
9
10

# File 'lib/laser/analysis/bindings.rb', line 8

def uses
  @uses
end

10
11
12

# File 'lib/laser/analysis/bindings.rb', line 10

def value
  @value
end

46
47
48

# File 'lib/laser/analysis/bindings.rb', line 46

def <=>(other)
  self.name <=> other.name
end

39
40
41
42
43
44

# File 'lib/laser/analysis/bindings.rb', line 39

def bind!(value)
  if respond_to?(:validate_value)
    validate_value(value)
  end
  @value = value
end

54
55
56

# File 'lib/laser/analysis/bindings.rb', line 54

def class_used
  value.klass
end

20
21
22
23
24

# File 'lib/laser/analysis/bindings.rb', line 20

def deep_dup
  result = self.class.new(@name, @value)
  result.initialize_dup_deep(self)
  result
end

34
35
36
37

# File 'lib/laser/analysis/bindings.rb', line 34

def expr_type
  annotated_type || inferred_type || Types::ClassType.new(
      (LaserObject === @value ? @value.klass.path : @value.class.name), :invariant)
end

27
28
29
30
31
32

# File 'lib/laser/analysis/bindings.rb', line 27

def initialize_dup_deep(other)
  @annotated_type = other.annotated_type.dup if other.annotated_type
  @inferred_type = other.inferred_type.dup if other.inferred_type
  @ast_node = other.ast_node # immutable
  self
end

62
63
64

# File 'lib/laser/analysis/bindings.rb', line 62

def inspect
  "#<#{self.class.name.split('::').last}: #{name}>"
end

50
51
52

# File 'lib/laser/analysis/bindings.rb', line 50

def scope
  value.scope
end

58
59
60

# File 'lib/laser/analysis/bindings.rb', line 58

def to_s
  inspect
end