Ada Reference Manual
—
Legal Information
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
;”.
Ada 2005 and 2012 Editions sponsored in part by
Ada-Europe