Returns new_initial_flow by default.
Redefine this method to inject things in the inset like parameters from
the signature.
# Initial flow set to use within methods.
#
# Returns `new_initial_flow` by default.
# Redefine this method to inject things in the inset like parameters from
# the signature.
fun new_initial_method_flow(v: AMethPropdef): FLOW do return new_initial_flow
src/saf/saf_base.nit:59,2--64,78
# New initial flows for methods contains the parameters.
redef fun new_initial_method_flow(n) do
var flow = new_initial_flow
var n_signature = n.n_signature
if n_signature == null then return flow
for n_param in n_signature.n_params do
var variable = n_param.variable
if variable == null then continue
flow.add(new VarDef(variable, n_param.location))
end
return flow
end
src/saf/reaching_defs.nit:29,2--40,4