CBMC
jar_file.cpp File Reference
#include "jar_file.h"
#include <algorithm>
#include <cctype>
#include <sstream>
+ Include dependency graph for jar_file.cpp:

Go to the source code of this file.

Functions

static bool is_space (const char ch)
 Wrapper for std::isspace from cctype More...
 
static std::string trim (const std::string::const_iterator begin, const std::string::const_iterator end)
 Remove leading and trailing whitespace characters from string. More...
 

Function Documentation

◆ is_space()

static bool is_space ( const char  ch)
static

Wrapper for std::isspace from cctype

Parameters
chthe character to check
Returns
true if the parameter is considered to be a space in the current locale, else false

Definition at line 77 of file jar_file.cpp.

◆ trim()

static std::string trim ( const std::string::const_iterator  begin,
const std::string::const_iterator  end 
)
static

Remove leading and trailing whitespace characters from string.

Parameters
beginiterator to start search in string
enditerator to end search in string
Returns
string truncated from begin to end and all whitespace removed at the begin and end

Definition at line 87 of file jar_file.cpp.