J.7 At Clauses

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;".

• J.7.1: Interrupt Entries

Go to the first, previous, next, last section, table of contents.