for local_name'attribute_designator use expression;
| for local_name'attribute_designator use name;
for Some_Type'Read use Subprogram_Pointer.all;
46 · A record component of subtype S when the record type is packed.
47 · The formal parameter of an instance of Unchecked_Conversion that converts from subtype S to some other subtype.
for S'Size use 64;
subtype Small is Big range 1..1000;
for Device_Register'Size use 8; --Confusing!
My_Device : Device_Register;
for My_Device'Address use To_Address(16#FF00#);
My_Device : Device_Register;
for My_Device'Size use 8;
for My_Device'Address use To_Address(16#FF00#);
Page : constant := 2**12;
for Medium'Size use 2*Byte;
for Medium'Alignment use 2;
Device_Register : Medium;
for Device_Register'Size use Medium'Size;
for Device_Register'Address use System.Storage_Elements.To_Address(16#FFFF_0020#);
for Short'Size use 15;
2000*((Car'Size/System.Storage_Unit) +1); --approximately 2000 cars
return T;
for T'Read use My_Read; --see 13.13.2