Next: J.7.1, Previous: J.6, Up: Annex J
1
at_clause::= for direct_name use at expression;
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;".