accesses-clause-seq ::= accesses-clause [ accesses-clause ] ... accesses-clause ::=accesses[redundantly] store-ref-list;
An accesses-clause says what objects may be read
by a correct implementation of the function being specified.
By default an omitted accesses-clause is equivalent to
accesses everything;, which imposes no constraints on
implementations.
[[[Detailed semantics to be written.]]]
Go to the first, previous, next, last section, table of contents.