 DocAda(tm) is a productivity tool of KSCE
DocAda(tm) is a productivity tool of KSCE
 |
 |  |
 |  |
 |  |
 | 
 
About DocAda Light:
  Preface / Preliminary
/ Help
/ TOC
/ Copyright
DocAda Online at the Ada Home:
  Complete RM95
/ Updates
/ News
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;''.
 
About DocAda Light:
  Preface / Preliminary
/ Help
/ TOC
/ Copyright
DocAda Online at the Ada Home:
  Complete RM95
/ Updates
/ News
 |
 |  |
 |  |
 |  |
 | 