Spec-Zone.ru › Ada 2012 Справочник Ada 2012 J.7 Операторы at Синтаксис at_clause ::= for direct_name use at expression; Статическая семантика Оператор at_clause вида “for x use at y;” эквивалентен оператору attribute_definition_clause вида “for x'Address use y;”.
