Next: , Previous: J.6, Up: Annex J


J.7 At Clauses

Syntax

1

at_clause::= for direct_name use at expression;
Static Semantics

2
An at_clause of the form "for x use at y;" is equivalent to an attribute_definition_clause of the form "for x'Address use y;".