CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
ansi_c_entry_point.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9
10#ifndef CPROVER_ANSI_C_ANSI_C_ENTRY_POINT_H
11#define CPROVER_ANSI_C_ANSI_C_ENTRY_POINT_H
12
15class symbolt;
17
19 symbol_table_baset &symbol_table,
20 message_handlert &message_handler,
21 const c_object_factory_parameterst &object_factory_parameters);
22
24 const symbolt &symbol,
25 symbol_table_baset &symbol_table,
26 message_handlert &message_handler,
27 const c_object_factory_parameterst &object_factory_parameters);
28
29#endif // CPROVER_ANSI_C_ANSI_C_ENTRY_POINT_H
bool generate_ansi_c_start_function(const symbolt &symbol, symbol_table_baset &symbol_table, message_handlert &message_handler, const c_object_factory_parameterst &object_factory_parameters)
Generate a _start function for a specific function.
bool ansi_c_entry_point(symbol_table_baset &symbol_table, message_handlert &message_handler, const c_object_factory_parameterst &object_factory_parameters)
The symbol table base class interface.
Symbol table entry.
Definition symbol.h:28