Format-strings
Leo format strings.
A format string in Leo is a sequence of characters
where occurrences of {} are treated as containers.
In abstract syntax, we model a format string as
a sequence of characters and containers.
That is, we treat containers as separate entities,
which are intermixed with regular characters in a format string.
We also require the non-container characters to
not include any subsequence {},
because that must be represented as a container.
Subtopics
- Format-string-containers
- Number of containers in a format string.
- Format-string
- Fixtype of Leo format strings.
- Char/container
- Fixtype of Leo characters and containers.
- Char/container-list-no-open/close-brace-p
- Check that a list of characters and containers does not include
a non-container open brace immediately followed by
a non-container close brace.
- Parse-format-chars
- Format-string-containers-aux
- Char-list-to-format-string
- Parse the given chars into a format-string.
- Char/container-list
- Fixtype of lists of Leo characters and containers.
