62 const auto FB =
AppM->CGetFunctionBehavior(function_id);
63 const auto BH = FB->CGetBehavioralHelper();
64 const auto funName = BH->get_function_name();
65 const auto TM =
AppM->get_tree_manager();
66 const auto node_fun = TM->CGetTreeReindex(function_id);
68 const auto prepend_static =
72 GetPointerS<function_decl>(
GET_NODE(node_fun))->static_flag =
true;
77 GetPointerS<function_decl>(
GET_NODE(node_fun))->static_flag =
false;
#define GET_NODE(t)
Macro used to hide implementation details when accessing a tree_node from another tree_node...
static bool IsExternDeclaration(const tree_nodeConstRef &decl)
discrepancy_instruction_writer(const application_managerConstRef app_man, const IndentedOutputStreamRef indented_output_stream, const ParameterConstRef parameters)
Constructor.
Definition of the class representing a generic C application.
void declareFunction(const unsigned int function_id) override
Write the declaration of a function.
Classes specification of the tree_node data structures.
static bool IsStaticDeclaration(const tree_nodeConstRef &decl)
const application_managerConstRef AppM
The application manager.
This file collects some utility functions.
void declareFunction(const unsigned int function_id) final
Write the declaration of a function.
Class specification of the tree_reindex support class.
Template borrowed from the ANTLR library by Terence Parr (http://www.jGuru.com - Software rights: htt...
specialization of the instruction writer for the discrepancy analysis
Class specification of the manager of the tree structures extracted from the raw file.
A brief description of the C++ Header File.
#define THROW_ASSERT(cond, str_expr)
helper function used to check an assert and if needed to throw an error in a standard way ...