J.7 At Clauses
From OC Systems Wiki!
< Guide:95lrm
Revision as of 09:15, 2 May 2019 by imported>WikiVisor
Syntax
at_clause ::= for direct_name use at expression;
Static Semantics
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