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