function_call_builder Class Reference

#include <builder.h>

Public Member Functions
	function_call_builder (python_converter &converter, const nlohmann::json &call)
exprt	build () const
symbol_id	build_function_id () const
bool	is_assume_call (const symbol_id &function_id) const
bool	is_assert_call (const symbol_id &function_id) const
bool	is_cover_call (const symbol_id &function_id) const
bool	is_unreachable_call (const symbol_id &function_id) const
bool	is_len_call (const symbol_id &function_id) const
exprt	len_of_bitvector_operand (const nlohmann::json &arg) const
bool	is_numpy_call (const symbol_id &function_id) const

Constructor & Destructor Documentation

function_call_builder()

function_call_builder::function_call_builder	(	python_converter &	converter,
		const nlohmann::json &	call )

Member Function Documentation

build()

exprt function_call_builder::build

(

)

const

build_function_id()

symbol_id function_call_builder::build_function_id

(

)

const

is_assert_call()

bool function_call_builder::is_assert_call

(

const symbol_id &

function_id

)

const

is_assume_call()

bool function_call_builder::is_assume_call

(

const symbol_id &

function_id

)

const

is_cover_call()

bool function_call_builder::is_cover_call

(

const symbol_id &

function_id

)

const

is_len_call()

bool function_call_builder::is_len_call

(

const symbol_id &

function_id

)

const

is_numpy_call()

bool function_call_builder::is_numpy_call

(

const symbol_id &

function_id

)

const

is_unreachable_call()

bool function_call_builder::is_unreachable_call

(

const symbol_id &

function_id

)

const

len_of_bitvector_operand()

exprt function_call_builder::len_of_bitvector_operand

(

const nlohmann::json &

arg

)

const

---

The documentation for this class was generated from the following files:

• src/python-frontend/function_call/builder.h
• src/python-frontend/function_call/builder.cpp