Uchar-format
Fixtype of formats of unsigned char objects.
This is a product type introduced by fty::defprod.
Fields
- bits — natp
Additional Requirements
The following invariant is enforced on the fields:
(>= bits 8)
Values of the unsigned char type are represented using
a pure binary notation [C:6.2.6.1/3],
i.e. where each bit counts for a successive power of 2.
Footnote 50 says that a byte consists of CHAR_BIT bits,
and implies that an unsigned char consists of one byte
(as also implied by [C:6.5.3.4/2] and [C:6.5.3.4/4]).
Thus, the format of unsigned char objects is determined
by their number of bits, i.e. CHAR_BIT.
This is required to be at least 8 [C:5.2.4.2.1/1].
Subtopics
- Uchar-format-fix
- Fixing function for uchar-format structures.
- Uchar-format-equiv
- Basic equivalence relation for uchar-format structures.
- Make-uchar-format
- Basic constructor macro for uchar-format structures.
- Uchar-format->bits
- Get the bits field from a uchar-format.
- Change-uchar-format
- Modifying constructor for uchar-format structures.
- Uchar-formatp
- Recognizer for uchar-format structures.
