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
mod_clause ::= at mod static_expression;
Static Semantics
A record_representation_clause of the form:
for r use record at mod a ... end record;
is equivalent to:
for r'Alignment use a; for r use record ... end record;
About DocAda Light:
Preface / Preliminary
/ Help
/ TOC
/ Copyright
DocAda Online at the Ada Home:
Complete RM95
/ Updates
/ News
|
|
|
|