cprover
|
#include <restrict_function_pointers.h>
Classes | |
class | invalid_restriction_exceptiont |
Public Types | |
using | restrictionst = std::unordered_map< irep_idt, std::unordered_set< irep_idt > > |
using | restrictiont = restrictionst::value_type |
Public Member Functions | |
jsont | to_json () const |
void | write_to_file (const std::string &filename) const |
Static Public Member Functions | |
static function_pointer_restrictionst | from_options (const optionst &options, const goto_modelt &goto_model, message_handlert &message_handler) |
Parse function pointer restrictions from command line. More... | |
static function_pointer_restrictionst | from_json (const jsont &json) |
static function_pointer_restrictionst | read_from_file (const std::string &filename, message_handlert &message_handler) |
Public Attributes | |
const restrictionst | restrictions |
Static Protected Member Functions | |
static void | typecheck_function_pointer_restrictions (const goto_modelt &goto_model, const restrictionst &restrictions) |
static restrictionst | merge_function_pointer_restrictions (restrictionst lhs, const restrictionst &rhs) |
static restrictionst | parse_function_pointer_restrictions_from_file (const std::list< std::string > &filenames, message_handlert &message_handler) |
static restrictionst | parse_function_pointer_restrictions_from_command_line (const std::list< std::string > &restriction_opts) |
static restrictionst | parse_function_pointer_restrictions (const std::list< std::string > &restriction_opts, const std::string &option) |
static restrictiont | parse_function_pointer_restriction (const std::string &restriction_opt, const std::string &option) |
static optionalt< restrictiont > | get_by_name_restriction (const goto_functiont &goto_function, const function_pointer_restrictionst::restrictionst &by_name_restrictions, const goto_programt::const_targett &location) |
static restrictionst | get_function_pointer_by_name_restrictions (const std::list< std::string > &restriction_name_opts, const goto_modelt &goto_model) |
Get function pointer restrictions from restrictions with named pointers. More... | |
Definition at line 60 of file restrict_function_pointers.h.
using function_pointer_restrictionst::restrictionst = std::unordered_map<irep_idt, std::unordered_set<irep_idt> > |
Definition at line 63 of file restrict_function_pointers.h.
using function_pointer_restrictionst::restrictiont = restrictionst::value_type |
Definition at line 65 of file restrict_function_pointers.h.
|
static |
Definition at line 494 of file restrict_function_pointers.cpp.
|
static |
Parse function pointer restrictions from command line.
Definition at line 437 of file restrict_function_pointers.cpp.
|
staticprotected |
Definition at line 392 of file restrict_function_pointers.cpp.
|
staticprotected |
Get function pointer restrictions from restrictions with named pointers.
This takes a list of restrictions, with each restriction consisting of a function pointer name, and the list of target functions. That is, each input restriction is of the form <fp-name>/<target>(,<target>)*. The method then returns a restrictionst
object constructed from the given list of restrictions
restriction_name_opts | restrictions |
goto_model | goto model with labelled function pointer calls |
Definition at line 587 of file restrict_function_pointers.cpp.
|
staticprotected |
Definition at line 256 of file restrict_function_pointers.cpp.
|
staticprotected |
Definition at line 332 of file restrict_function_pointers.cpp.
|
staticprotected |
Definition at line 278 of file restrict_function_pointers.cpp.
|
staticprotected |
Definition at line 305 of file restrict_function_pointers.cpp.
|
staticprotected |
Definition at line 314 of file restrict_function_pointers.cpp.
|
static |
Definition at line 533 of file restrict_function_pointers.cpp.
jsont function_pointer_restrictionst::to_json | ( | ) | const |
Definition at line 549 of file restrict_function_pointers.cpp.
|
staticprotected |
Definition at line 165 of file restrict_function_pointers.cpp.
void function_pointer_restrictionst::write_to_file | ( | const std::string & | filename | ) | const |
Definition at line 568 of file restrict_function_pointers.cpp.
const restrictionst function_pointer_restrictionst::restrictions |
Definition at line 67 of file restrict_function_pointers.h.