Implementation-environments
Implementation environments for the C syntax for tools.
These are similar in purpose to the implementation environments that are part of our formalization of C.
We need to use implementation environments also for our C syntax for tools,
specifically for certain tools that operate on it.
We created this notion anew here,
instead of using the one from the language formalization,
because at that time the latter lacked some information needed here.
Now the information has been added there,
so we plan soon to remove this notion here
and use the one from the language formalization.
Subtopics
- Ienv
- Fixtype of implementation environments.
- Ushort-rangep
- Check if a mathematical integer is
in the range of (i.e. representable in) type unsigned short.
- Ullong-rangep
- Check if a mathematical integer is
in the range of (i.e. representable in) type unsigned long long.
- Sshort-rangep
- Check if a mathematical integer is
in the range of (i.e. representable in) type signed short.
- Sllong-rangep
- Check if a mathematical integer is
in the range of (i.e. representable in) type signed long long.
- Ulong-rangep
- Check if a mathematical integer is
in the range of (i.e. representable in) type unsigned long.
- Uint-rangep
- Check if a mathematical integer is
in the range of (i.e. representable in) type unsigned int.
- Slong-rangep
- Check if a mathematical integer is
in the range of (i.e. representable in) type signed long.
- Sint-rangep
- Check if a mathematical integer is
in the range of (i.e. representable in) type signed int.
- Ushort-max
- Maximum mathematical integer value of type unsigned short.
- Ulong-max
- Maximum mathematical integer value of type unsigned long.
- Ullong-max
- Maximum mathematical integer value of type unsigned long long.
- Uint-max
- Maximum mathematical integer value of type unsigned int.
- Uchar-rangep
- Check if a mathematical integer is
in the range of (i.e. representable in) type unsigned char.
- Sshort-min
- Minimum mathematical integer value of type signed short.
- Sllong-min
- Minimum mathematical integer value of type signed long long.
- Schar-rangep
- Check if a mathematical integer is
in the range of (i.e. representable in) type signed char.
- Char-min
- Minimum mathematical integer value of the type char.
- Char-max
- Maximum mathematical integer value of the type char.
- Sshort-max
- Maximum mathematical integer value of type signed short.
- Slong-min
- Minimum mathematical integer value of type signed long.
- Slong-max
- Maximum mathematical integer value of type signed long.
- Sllong-max
- Maximum mathematical integer value of type signed long long.
- Sint-min
- Minimum mathematical integer value of type signed int.
- Sint-max
- Maximum mathematical integer value of type signed int.
- Uchar-max
- Maximum mathematical integer value of type unsigned char.
- Schar-min
- Minimum mathematical integer value of type signed char.
- Schar-max
- Maximum mathematical integer value of type signed char.
- Ienv-default
- A default implementation environment.
