ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
dynamic_type_handler::scope_guard Class Reference

RAII: adds dynamic_type_names to the transient tagged-name set for the duration of converting one if/else's branches; removes on exit only what it added, keeping nested invocations independent. More...

#include <dynamic_type_handler.h>

Public Member Functions

 scope_guard (dynamic_type_handler &handler, const std::unordered_set< std::string > &dynamic_type_names)
 ~scope_guard ()

Detailed Description

RAII: adds dynamic_type_names to the transient tagged-name set for the duration of converting one if/else's branches; removes on exit only what it added, keeping nested invocations independent.

Constructor & Destructor Documentation

◆ scope_guard()

dynamic_type_handler::scope_guard::scope_guard ( dynamic_type_handler & handler,
const std::unordered_set< std::string > & dynamic_type_names )

◆ ~scope_guard()

dynamic_type_handler::scope_guard::~scope_guard ( )

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