CBMC
Public Member Functions | Private Attributes | List of all members
location_update_visitort Class Reference

#include <location_update_visitor.h>

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

Public Member Functions

 location_update_visitort (const abstract_objectt::locationt &location)
 
abstract_object_pointert visit (const abstract_object_pointert &element) const override
 

Private Attributes

const abstract_objectt::locationt & location
 

Detailed Description

Definition at line 14 of file location_update_visitor.h.

Constructor & Destructor Documentation

◆ location_update_visitort()

location_update_visitort::location_update_visitort ( const abstract_objectt::locationt &  location)
inlineexplicit

Definition at line 18 of file location_update_visitor.h.

Member Function Documentation

◆ visit()

abstract_object_pointert location_update_visitort::visit ( const abstract_object_pointert &  element) const
inlineoverridevirtual

Implements abstract_objectt::abstract_object_visitort.

Definition at line 24 of file location_update_visitor.h.

Member Data Documentation

◆ location

const abstract_objectt::locationt& location_update_visitort::location
private

Definition at line 30 of file location_update_visitor.h.

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