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
&,
19
message_handlert
&);
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
ansi-c
builtin_factory.h
Generated by
1.8.20