|
|
|---|
|
|
|
|---|
Fixtype of formats of signed integer objects.
This is a product type introduced by fty::defprod.
The following invariant is enforced on the fields:
(sinteger-bit-roles-wfp bits)
This is for signed integer objects
other than those of type
The format definition includes a list of bit roles,
which should be thought as the juxtaposition of
the bytes that form the unsigned integer object,
in little endian order, i.e. from lower to higher address.
The length of the list of bit roles
must be a mulitple of
The format description also identifies one of the three signed formats. It is not clear from [C17] whether all the signed integer type, within an implementation, use that same signed format, but out model allows them to differ.
We also include a placeholder component meant to define which bit values are trap representations [C17:6.2.6.2/5]. We plan to flesh this out in the future.