Missing-parents
Placeholder for documentation topics that lack :parents.
If a defxdoc form ends up having no parents, it ends up
being put here. See also undocumented.
Historic note. We used to put these topics directly underneath top
instead. But we found that during development, this sometimes led to a
strange-looking hierarchy where ``random'' topics were presented as top-level
topics just because they were new or being moved around or because set-default-parents forms weren't quite in the right places. To avoid this,
we now move these topics to missing-parents and print notes about them
when a manual is saved with save.
Subtopics
- Prettygoals
- Experimental tool for displaying proof goals in a prettier way.
- Check-declspec-list-all-tyspec/stoclaspec
- Check if all the declaration specifiers in a list
are type specifiers or storage class specifiers.
- Check-specqual-list-all-tyspec
- Check if all the specifiers and qualifiers in a list
are type specifiers.
- Check-declspec-list-all-tyspec
- Check if all the declaration specifiers in a list
are type specifiers.
- Check-strunispec-no-members
- Check if a structure or union specifier has no members,
returning the name if the check passes.
- Declspec-list-to-stoclaspec-list
- Extract the list of storage class specifiers
from a list of declaration specifiers,
preserving the order.
- Check-enumspec-no-list
- Check if an enumeration union specifier has no enumerators,
returning the name if the check passes.
- Specqual-list-to-tyspec-list
- Extract the list of type specifiers
from a list of type specifiers and qualifiers,
preserving the order.
- Declspec-list-to-tyspec-list
- Extract the list of type specifiers
from a list of declaration specifiers,
preserving the order.
- Pos-set->=-pos
- Check if all the positive integers in a given set
are greater than or equal to a given positive integer.
- Pos-set-max
- Maximum of a set of positive integers.
- Check-expr-iconst
- Check if an expression is an integer constant,
returning the integer constant if the check passes.
- Check-expr-ident
- Check if an expression is an identifier,
returning the identifier if the check passes.
- Grammar-character-p
- Check if a character (code) is valid according to the ABNF grammar.
- Missing-parents-test
- A topic with no :parents.