CBMC
|
Format specifiers for String.format. More...
Go to the source code of this file.
Functions | |
static format_specifiert | format_specifier_of_match (std::smatch &m) |
Helper function for parsing format strings. More... | |
std::vector< format_elementt > | parse_format_string (std::string s) |
Regexp is taken directly from openJDK implementation: http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/9b8c96f96a0f/src/share/classes/java/util/Formatter.java#l2506. More... | |
Format specifiers for String.format.
Definition in file format_specifier.cpp.
|
static |
Helper function for parsing format strings.
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#l2660
m | a match in a regular expression |
Definition at line 24 of file format_specifier.cpp.
std::vector<format_elementt> parse_format_string | ( | std::string | s | ) |
Regexp is taken directly from openJDK implementation: http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/9b8c96f96a0f/src/share/classes/java/util/Formatter.java#l2506.
Parse the given string into format specifiers and text.
Definition at line 48 of file format_specifier.cpp.