#include "string_builtin_function.h"
#include <algorithm>
#include <iterator>
#include "string_constraint_generator.h"

Include dependency graph for string_builtin_function.cpp:

Functions
static optionalt< std::vector< mp_integer > >	eval_string (const array_string_exprt &a, const std::function< exprt(const exprt &)> &get_value)
	Module: String solver Author: Diffblue Ltd. More...

static array_string_exprt	make_string (const std::vector< mp_integer > &array, const array_typet &array_type)
	Make a string from a constant array. More...

template<typename Iter >
static array_string_exprt	make_string (Iter begin, Iter end, const array_typet &array_type)

static bool	eval_is_upper_case (const mp_integer &c)

static exprt	is_upper_case (const exprt &character)
	Expression which is true for uppercase characters of the Basic Latin and Latin-1 supplement of unicode. More...

static exprt	is_lower_case (const exprt &character)
	Expression which is true for lower_case characters of the Basic Latin and Latin-1 supplement of unicode. More...

Function Documentation

◆ eval_is_upper_case()

static bool eval_is_upper_case ( const mp_integer & c )

static

Definition at line 290 of file string_builtin_function.cpp.

◆ eval_string()

optionalt< std::vector< mp_integer > > eval_string	(	const array_string_exprt &	a,
		const std::function< exprt(const exprt &)> &	get_value
	)

static

Module: String solver Author: Diffblue Ltd.

Given a function get_value which gives a valuation to expressions, attempt to find the current value of the array a. If the valuation of some characters are missing, then return an empty optional.

Definition at line 67 of file string_builtin_function.cpp.