RM 13 3 42-43 Size Clauses (GNAT Reference Manual)

Next: RM 13.3(50-56): Size Clauses, Previous: RM 13.3(29-35): Alignment Clauses, Up: Implementation Advice [Contents][Index]

6.20 RM 13.3(42-43): Size Clauses ¶

"The recommended level of support for the Size attribute of objects is:

A Size clause should be supported for an object if the specified Size is at least as large as its subtype’s Size, and corresponds to a size in storage elements that is a multiple of the object’s Alignment (if the Alignment is nonzero)."

Followed.