Ienv
Fixtype of implementation environments.
This is a product type introduced by fty::defprod.
Fields
- version — version
- char+short+int+long+llong+bool-format — char+short+int+long+llong+bool-format
Additional Requirements
The following invariant is enforced on the fields:
(char+short+int+long+llong+bool-format-wfp
char+short+int+long+llong+bool-format)
For now this only contains the following information:
- The version of C.
- The formats of the three character types.
- The formats of the standard signed integer types
and their unsigned counterparts.
We plan to add more information.
The reason for using
the ``intermediate'' fixtype char+short+int+long+llong+bool-format
is the same as explained in integer-format
about the ``intermediate'' fixtype used there.
We may eliminate this at some point.
Subtopics
- Ienvp
- Recognizer for ienv structures.
- Ienv-fix
- Fixing function for ienv structures.
- Ienv->char+short+int+long+llong+bool-format
- Get the char+short+int+long+llong+bool-format field from a ienv.
- Make-ienv
- Basic constructor macro for ienv structures.
- Ienv-equiv
- Basic equivalence relation for ienv structures.
- Change-ienv
- Modifying constructor for ienv structures.
- Ienv->version
- Get the version field from a ienv.