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_table_baset;
16 
18 bool builtin_factory(
19  const irep_idt &identifier,
20  bool support_float16_type,
21  symbol_table_baset &,
22  message_handlert &);
23 
24 #endif // CPROVER_ANSI_C_BUILTIN_FACTORY_H
builtin_factory
bool builtin_factory(const irep_idt &identifier, bool support_float16_type, symbol_table_baset &, message_handlert &)
Check whether given identifier is a compiler built-in.
Definition: builtin_factory.cpp:102
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:38
message_handlert
Definition: message.h:27
symbol_table_baset
The symbol table base class interface.
Definition: symbol_table_base.h:23