Next: RM 13 3 50-56 Size Clauses, Previous: RM 13 3 29-35 Alignment Clauses, Up: Implementation Advice
"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.