remove_function.h File Reference

Remove function definition. More...

#include <list>
#include <string>
#include <util/irep.h>

Include dependency graph for remove_function.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	remove_function (goto_modelt &, const irep_idt &identifier, message_handlert &)
	Remove the body of function "identifier" such that an analysis will treat it as a side-effect free function with non-deterministic return value.
void	remove_functions (goto_modelt &, const std::list< std::string > &names, message_handlert &)
	Remove the body of all functions listed in "names" such that an analysis will treat it as a side-effect free function with non-deterministic return value.
void	remove_functions_regex (goto_modelt &goto_model, const std::string &pattern, message_handlert &message_handler)
	Remove functions matching any of the provided regular expression patterns.

Detailed Description

Remove function definition.

Definition in file remove_function.h.

Function Documentation

remove_function()

void remove_function	(	goto_modelt &	goto_model,
		const irep_idt &	identifier,
		message_handlert &	message_handler
	)

Remove the body of function "identifier" such that an analysis will treat it as a side-effect free function with non-deterministic return value.

parameters: symbol_table Input symbol table to be modified

goto_model Input program to be modified identifier Function to be removed message_handler Error/status output

Definition at line 28 of file remove_function.cpp.

remove_functions()

void remove_functions	(	goto_modelt &	goto_model,
		const std::list< std::string > &	names,
		message_handlert &	message_handler
	)

Remove the body of all functions listed in "names" such that an analysis will treat it as a side-effect free function with non-deterministic return value.

parameters: symbol_table Input symbol table to be modified

goto_model Input program to be modified names List of functions to be removed message_handler Error/status output

Definition at line 70 of file remove_function.cpp.

remove_functions_regex()

void remove_functions_regex	(	goto_modelt &	goto_model,
		const std::string &	pattern,
		message_handlert &	message_handler
	)

Remove functions matching any of the provided regular expression patterns.

Parameters

goto_model	The goto model to modify
pattern	Regex patterns to match function names against
message_handler	For status/warning/error messages

Definition at line 119 of file remove_function.cpp.