J.8 Mod Clauses

From OC Systems Wiki!
< Guide:95lrm
Revision as of 09:17, 2 May 2019 by imported>WikiVisor
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


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
    end record;

Copyright © 1992,1993,1994,1995 Intermetrics, Inc.
Copyright © 2000 The MITRE Corporation, Inc. Ada Reference Manual