cprover
write_location_contextt::location_update_visitort Class Reference

#include <write_location_context.h>

+ Inheritance diagram for write_location_contextt::location_update_visitort:
+ Collaboration diagram for write_location_contextt::location_update_visitort:

Public Member Functions

 location_update_visitort (const locationst &locations)
 
abstract_object_pointert visit (const abstract_object_pointert element) const
 

Private Attributes

const locationstlocations
 

Detailed Description

Definition at line 76 of file write_location_context.h.

Constructor & Destructor Documentation

◆ location_update_visitort()

write_location_contextt::location_update_visitort::location_update_visitort ( const locationst locations)
inlineexplicit

Definition at line 80 of file write_location_context.h.

Member Function Documentation

◆ visit()

abstract_object_pointert write_location_contextt::location_update_visitort::visit ( const abstract_object_pointert  element) const
inlinevirtual

Member Data Documentation

◆ locations

const locationst& write_location_contextt::location_update_visitort::locations
private

Definition at line 91 of file write_location_context.h.


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