Re: Binary and XML serialization of types

[AdaMagica <christ-usch.grein@t-online.de>]

> P.S. I cannot find a reference in RM which states the semantics of
>
> Shift_Left. I presume that it is such that
>
>     Shift_Left (2#0001#, 1) = 2#0010#
>

B.2(9) should be clear enough, especially when you take into account the last sentence about tight shift:

For each such modular type in Interfaces, shifting and rotating subprograms as specified in the declaration of Interfaces above. These subprograms are Intrinsic. They operate on a bit-by-bit basis, using the binary representation of the value of the operands to yield a binary representation for the result. The Amount parameter gives the number of bits by which to shift or rotate. For shifting, zero bits are shifted in, except in the case of Shift_Right_Arithmetic, where one bits are shifted in if Value is at least half the modulus. 

(Note that more significant bits in any scalar value independently of its length are always left from less significant ones, independently whether you count bits from left to right (BE) or rigth to left (LE).)