CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
builtin_factory.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: 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
14class message_handlert;
15class symbol_table_baset;
16
18bool 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