Ada Programming/Attributes/'Bit

Description
, where  is any object, yields the bit offset within the storage unit (byte) that contains the first bit of storage allocated for the object. The value of this attribute is of the type universal_integer and is always a nonnegative number smaller than.

For an object that is a variable or a constant allocated in a register, the value is zero. (The use of this attribute does not force the allocation of a variable to memory).

For an object that is a formal parameter, this attribute applies to either the matching actual parameter or to a copy of the matching actual parameter.

For an access object the value is zero. Note that  is subject to an   for the designated object. Similarly for a record component  is subject to a discriminant check and   and   are subject to index checks.

This attribute is designed to be compatible with the DEC Ada 83 definition and implementation of the  attribute.