Class: SFRP::Flat::VarRefExp

Inherits:
Struct
  • Object
show all
Defined in:
lib/sfrp/flat/expression.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Instance Attribute Details

#sp ⇒ Object

Returns the value of attribute sp

Returns:

  • (Object) —

    the current value of sp



110
111
112
 
# File 'lib/sfrp/flat/expression.rb', line 110

def sp
  @sp
end

#var_str ⇒ Object

Returns the value of attribute var_str

Returns:

  • (Object) —

    the current value of var_str



110
111
112
 
# File 'lib/sfrp/flat/expression.rb', line 110

def var_str
  @var_str
end

Instance Method Details

#alpha_convert(table, _) ⇒ Object

Raises:



115
116
117
118
 
# File 'lib/sfrp/flat/expression.rb', line 115

def alpha_convert(table, _)
  raise UnboundLocalVariableError.new(var_str) unless table.key?(var_str)
  VarRefExp.new(table[var_str])
end

#lift_node_ref(_collected_node_refs) ⇒ Object 



111
112
113
 
# File 'lib/sfrp/flat/expression.rb', line 111

def lift_node_ref(_collected_node_refs)
  self
end

#to_poly ⇒ Object 



120
121
122
 
# File 'lib/sfrp/flat/expression.rb', line 120

def to_poly
  P.v_e(var_str)
end