cprover
require_symbol.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Unit test utilities
4 
5 Author: Diffblue Limited.
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_TESTING_UTILS_REQUIRE_SYMBOL_H
10 #define CPROVER_TESTING_UTILS_REQUIRE_SYMBOL_H
11 
12 #include <util/symbol.h>
13 #include <util/symbol_table.h>
14 
17 
18 // NOLINTNEXTLINE(readability/namespace)
19 namespace require_symbol
20 {
22  const symbol_tablet &symbol_table,
23  const irep_idt &symbol_identifier);
24 }
25 
26 #endif // CPROVER_TESTING_UTILS_REQUIRE_SYMBOL_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
require_symbol::require_symbol_exists
const symbolt & require_symbol_exists(const symbol_tablet &symbol_table, const irep_idt &symbol_identifier)
Verify whether a given identifier is found in the symbol table and return it.
Definition: require_symbol.cpp:15
symbol.h
Symbol table entry.
symbolt
Symbol table entry.
Definition: symbol.h:28
require_symbol
Definition: require_symbol.h:20
symbol_table.h
Author: Diffblue Ltd.