cprover
require_symbol.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3  Module: Unit test utilities
4 
5  Author: DiffBlue Limited. All rights reserved.
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
Symbol table entry.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
Definition: symbol.h:30
The symbol table.
Definition: symbol_table.h:19
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.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
Definition: dstring.h:33
Author: Diffblue Ltd.