Go to the first, previous, next, last section, table of contents.


6.9.4 Redundancy in Frames

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.