cprover
builtin_factory.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_ANSI_C_BUILTIN_FACTORY_H
10 #define CPROVER_ANSI_C_BUILTIN_FACTORY_H
11 
12 #include <util/symbol_table.h>
13 #include <util/message.h>
14 
16 bool builtin_factory(
17  const irep_idt &identifier,
18  symbol_tablet &,
20 
21 #endif // CPROVER_ANSI_C_BUILTIN_FACTORY_H
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
symbol_tablet
The symbol table.
Definition: symbol_table.h:20
message_handlert
Definition: message.h:28
builtin_factory
bool builtin_factory(const irep_idt &identifier, symbol_tablet &, message_handlert &)
Check whether given identifier is a compiler built-in.
Definition: builtin_factory.cpp:98
symbol_table.h
Author: Diffblue Ltd.
message.h