J.7 At Clauses
From OC Systems Wiki!
at_clause ::= for direct_name use at expression;
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;.
Copyright © 1992,1993,1994,1995 Intermetrics, Inc.
Copyright © 2000 The MITRE Corporation, Inc. Ada Reference Manual