memory_snapshot_harness_generatort::source_location_matcht Struct Reference
Wraps the information for source location match candidates. More...
#include <memory_snapshot_harness_generator.h>
Collaboration diagram for memory_snapshot_harness_generatort::source_location_matcht:Public Member Functions | |
| source_location_matcht () | |
| void | match_up (const size_t &candidate_distance, const irep_idt &candidate_function_name, const goto_programt::const_targett &candidate_instruction) |
Public Attributes | |
| size_t | distance |
| irep_idt | function_name |
| goto_programt::const_targett | instruction |
| bool | match_found |
Detailed Description
Wraps the information for source location match candidates.
Keeps track of the distance between user specified source code line and goto-program instruction line.
Definition at line 132 of file memory_snapshot_harness_generator.h.
Constructor & Destructor Documentation
◆ source_location_matcht()
|
inline |
Definition at line 139 of file memory_snapshot_harness_generator.h.
Member Function Documentation
◆ match_up()
|
inline |
Definition at line 143 of file memory_snapshot_harness_generator.h.
Member Data Documentation
◆ distance
| size_t memory_snapshot_harness_generatort::source_location_matcht::distance |
Definition at line 134 of file memory_snapshot_harness_generator.h.
◆ function_name
| irep_idt memory_snapshot_harness_generatort::source_location_matcht::function_name |
Definition at line 135 of file memory_snapshot_harness_generator.h.
◆ instruction
| goto_programt::const_targett memory_snapshot_harness_generatort::source_location_matcht::instruction |
Definition at line 136 of file memory_snapshot_harness_generator.h.
◆ match_found
| bool memory_snapshot_harness_generatort::source_location_matcht::match_found |
Definition at line 137 of file memory_snapshot_harness_generator.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-harness/memory_snapshot_harness_generator.h
