nitc :: ANode :: accept_reaching_defs
self
.
# Apply a ReachingDefsAnalysis to `self`.
fun accept_reaching_defs(v: ReachingDefsAnalysis) do accept_forward_analysis(v)
src/saf/reaching_defs.nit:71,2--72,80
redef fun accept_reaching_defs(v) do
# add variables from `for` declaration
for n_group in n_groups do
var variables = n_group.variables
if variables == null then continue
for variable in variables do v.gen(variable, n_group.location)
end
super
# remove variables from `for` declaration
for n_group in n_groups do
var variables = n_group.variables
if variables == null then continue
for variable in variables do v.kill(variable)
end
end
src/saf/reaching_defs.nit:100,2--114,4