Member predicate VariableAccess::isImplicitWrite
Holds if this access is a write access belonging to an implicit assignment. For example, in
def m elements
for e in elements do
puts e
end
end
the access to elements
in the parameter list is an implicit assignment,
as is the first access to e
.
predicate isImplicitWrite()