cprover
jar_file.cpp File Reference
#include "jar_file.h"
#include <algorithm>
#include <cctype>
#include <util/invariant.h>
#include <util/suffix.h>
#include "java_class_loader_limit.h"
Include dependency graph for jar_file.cpp:

Go to the source code of this file.

Functions

static bool is_space (const char ch)
 
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

Definition at line 81 of file jar_file.cpp.

Referenced by trim().

◆ 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.

Definition at line 87 of file jar_file.cpp.

References is_space().

Referenced by jar_filet::get_manifest().