Tag-environments
C tag environments.
C code is statically checked and dynamically executed
in the context of structure, union, and enumeration types.
This context is captured via tag environments,
where `tag' refers to the fact that tags identify
structure, union, and enumeration types.
These tag environments are used
in both the static and dynamic semantics.
Subtopics
- Tag-info
- Fixtype of information about
a structure, union, or enumeration type.
- Tag-info-option
- Fixtype of optional tag information.
- Tag-env-add
- Add tag information to a tag environment.
- Tag-env-option
- Fixtype of optional tag environments.
- Tag-info-struct-flexiblep
- Check if (the information for) a structure type
has a flexible array member.
- Tag-env-result
- Fixtype of errors and tag environments.
- Tag-env-lookup
- Look up a tag in a tag environment.
- Tag-env
- Fixtype of tag environments.
- Tag-env-init
- Initial tag environment.
