CBMC
|
Format specifiers for String.format. More...
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.