J.7 At Clauses

From OC Systems Wiki!
< Guide:95lrm
Revision as of 09:15, 2 May 2019 by imported>WikiVisor
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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