|
CBMC
|
Include dependency graph for format_specifier.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | format_specifiert |
| Field names follow the OpenJDK implementation: http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/9b8c96f96a0f/src/share/classes/java/util/Formatter.java#l2569. More... | |
| class | format_textt |
| class | format_elementt |
Functions | |
| std::vector< format_elementt > | parse_format_string (std::string s) |
| Parse the given string into format specifiers and text. More... | |
Format specifiers for String.format
Definition in file format_specifier.h.
| std::vector<format_elementt> parse_format_string | ( | std::string | s | ) |
Parse the given string into format specifiers and text.
This follows the implementation in openJDK of the java.util.Formatter class: http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/9b8c96f96a0f/src/share/classes/java/util/Formatter.java#l2513
| s | a string |
Parse the given string into format specifiers and text.
Definition at line 48 of file format_specifier.cpp.