CBMC
|
Go to the source code of this file.
Functions | |
static bool | is_space (const char ch) |
Wrapper for std::isspace from cctype | |
static std::string | trim (const std::string::const_iterator begin, const std::string::const_iterator end) |
Remove leading and trailing whitespace characters from string. | |
Wrapper for std::isspace
from cctype
ch | the character to check |
Definition at line 77 of file jar_file.cpp.
|
static |
Remove leading and trailing whitespace characters from string.
begin | iterator to start search in string |
end | iterator to end search in string |
Definition at line 87 of file jar_file.cpp.