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
The symbol table.
Definition: symbol_table.h:19
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:35
Author: Diffblue Ltd.
bool builtin_factory(const irep_idt &identifier, symbol_tablet &, message_handlert &)
Check whether given identifier is a compiler built-in.