Contents Index Search Related Documents Previous Next
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;”.
Contents Index Search Related Documents Previous Next Legal