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
{
21
const
symbolt
&
require_symbol_exists
(
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.
unit
testing-utils
require_symbol.h
Generated by
1.8.20