CBMC
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/irep.h>
13 
14 class message_handlert;
15 class symbol_tablet;
16 
18 bool builtin_factory(
19  const irep_idt &identifier,
20  symbol_tablet &,
21  message_handlert &);
22 
23 #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:36
symbol_tablet
The symbol table.
Definition: symbol_table.h:13
message_handlert
Definition: message.h:27
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:97
irep.h