class SFRP::Poly::VarRefExp

Public Class Methods

new(var_str, id = nil) click to toggle source
# File lib/sfrp/poly/expression.rb, line 107
def initialize(var_str, id = nil)
  @var_str = var_str
  @id = id
end

Public Instance Methods

called_func_strs() click to toggle source
# File lib/sfrp/poly/expression.rb, line 120
def called_func_strs
  []
end
clone() click to toggle source
# File lib/sfrp/poly/expression.rb, line 116
def clone
  VarRefExp.new(@var_str, @id)
end
to_mono(monofier) click to toggle source
# File lib/sfrp/poly/expression.rb, line 124
def to_mono(monofier)
  raise UndeterminableTypeError.new(@id, @typing) unless @typing.mono?
  M.v_e(monofier.use_type(@typing), @var_str)
end
typing(_set, var_env) click to toggle source
# File lib/sfrp/poly/expression.rb, line 112
def typing(_set, var_env)
  @typing = var_env[@var_str]
end