CBMC
Public Member Functions | Public Attributes | List of all members
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 133 of file memory_snapshot_harness_generator.h.

Constructor & Destructor Documentation

◆ source_location_matcht()

memory_snapshot_harness_generatort::source_location_matcht::source_location_matcht ( )
inline

Definition at line 140 of file memory_snapshot_harness_generator.h.

Member Function Documentation

◆ match_up()

void memory_snapshot_harness_generatort::source_location_matcht::match_up ( const size_t &  candidate_distance,
const irep_idt &  candidate_function_name,
const goto_programt::const_targett &  candidate_instruction 
)
inline

Definition at line 144 of file memory_snapshot_harness_generator.h.

Member Data Documentation

◆ distance

size_t memory_snapshot_harness_generatort::source_location_matcht::distance

Definition at line 135 of file memory_snapshot_harness_generator.h.

◆ function_name

irep_idt memory_snapshot_harness_generatort::source_location_matcht::function_name

Definition at line 136 of file memory_snapshot_harness_generator.h.

◆ instruction

goto_programt::const_targett memory_snapshot_harness_generatort::source_location_matcht::instruction

Definition at line 137 of file memory_snapshot_harness_generator.h.

◆ match_found

bool memory_snapshot_harness_generatort::source_location_matcht::match_found

Definition at line 138 of file memory_snapshot_harness_generator.h.

The documentation for this struct was generated from the following file: