cprover
string2int.cpp File Reference
#include "string2int.h"
#include <cerrno>
#include <cstdlib>
#include <limits>
#include <cassert>
Include dependency graph for string2int.cpp:

Go to the source code of this file.

Functions

template<typename T >
str2number (const char *str, int base, bool safe)
 
unsigned safe_string2unsigned (const std::string &str, int base)
 
std::size_t safe_string2size_t (const std::string &str, int base)
 
int unsafe_string2int (const std::string &str, int base)
 
unsigned unsafe_string2unsigned (const std::string &str, int base)
 
std::size_t unsafe_string2size_t (const std::string &str, int base)
 
signed long long int unsafe_string2signedlonglong (const std::string &str, int base)
 
unsigned long long int unsafe_string2unsignedlonglong (const std::string &str, int base)
 

Function Documentation

◆ safe_string2size_t()

std::size_t safe_string2size_t ( const std::string &  str,
int  base 
)

Definition at line 56 of file string2int.cpp.

◆ safe_string2unsigned()

◆ str2number()

template<typename T >
T str2number ( const char *  str,
int  base,
bool  safe 
)
inline

Definition at line 17 of file string2int.cpp.

◆ unsafe_string2int()

◆ unsafe_string2signedlonglong()

signed long long int unsafe_string2signedlonglong ( const std::string &  str,
int  base 
)

Definition at line 76 of file string2int.cpp.

Referenced by irept::get_long_long().

◆ unsafe_string2size_t()

std::size_t unsafe_string2size_t ( const std::string &  str,
int  base 
)

Definition at line 71 of file string2int.cpp.

Referenced by irept::get_size_t().

◆ unsafe_string2unsigned()

◆ unsafe_string2unsignedlonglong()

unsigned long long int unsafe_string2unsignedlonglong ( const std::string &  str,
int  base 
)

Definition at line 83 of file string2int.cpp.