class SFRP::Flat::VarRefExp

Public Instance Methods

alpha_convert(table, _) click to toggle source
# 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) click to toggle source
# File lib/sfrp/flat/expression.rb, line 111
def lift_node_ref(_collected_node_refs)
  self
end
to_poly() click to toggle source
# File lib/sfrp/flat/expression.rb, line 120
def to_poly
  P.v_e(var_str)
end