cprover
Loading...
Searching...
No Matches
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
symbol_table_baset
&,
21
message_handlert
&);
22
23
#endif
// CPROVER_ANSI_C_BUILTIN_FACTORY_H
builtin_factory
bool builtin_factory(const irep_idt &identifier, symbol_table_baset &, message_handlert &)
Check whether given identifier is a compiler built-in.
Definition
builtin_factory.cpp:98
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition
dstring.h:39
message_handlert
Definition
message.h:28
symbol_table_baset
The symbol table base class interface.
Definition
symbol_table_base.h:22
irep.h
ansi-c
builtin_factory.h
Generated by
1.10.0