The keyword redundantly can also be used to state
redundant frames.
A redundant modifies-clause states a subset of the objects
that are allowed
to be modified by the non-redundant modifies-clause(s).
Similarly, a redundant trashes-clause states a subset of
the objects that are allowed
to be trashed by the non-redundant trashes-clause(s).
A good use of redundant modifies and trashes clauses is to point
out objects that are allowed to be modified or trashed,
but which are not mentioned explicitly by the non-redundant clauses.
These are objects that the explicitly mentioned objects depend on
(see section 7.6 The Depends Clause).
[[[Needs example]]]
Go to the first, previous, next, last section, table of contents.