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

Dedicated cache for function-call resolution data. More...

#include <cache.h>

Public Member Functions

std::optional< std::vector< std::string > > get_possible_class_types (const std::string &key) const
void set_possible_class_types (const std::string &key, const std::vector< std::string > &types)
std::optional< bool > get_method_exists (const std::string &key) const
void set_method_exists (const std::string &key, bool exists)
std::optional< bool > get_math_dispatch_classification (const std::string &key) const
void set_math_dispatch_classification (const std::string &key, bool matches)
void clear ()

Detailed Description

Dedicated cache for function-call resolution data.

Holds inferred class-type candidates and method-existence results, isolating cache responsibilities from function_call_expr internals.

Member Function Documentation

◆ clear()

void function_call_cache::clear ( )
inline

◆ get_math_dispatch_classification()

std::optional< bool > function_call_cache::get_math_dispatch_classification ( const std::string & key) const
inline

◆ get_method_exists()

std::optional< bool > function_call_cache::get_method_exists ( const std::string & key) const
inline

◆ get_possible_class_types()

std::optional< std::vector< std::string > > function_call_cache::get_possible_class_types ( const std::string & key) const
inline

◆ set_math_dispatch_classification()

void function_call_cache::set_math_dispatch_classification ( const std::string & key,
bool matches )
inline

◆ set_method_exists()

void function_call_cache::set_method_exists ( const std::string & key,
bool exists )
inline

◆ set_possible_class_types()

void function_call_cache::set_possible_class_types ( const std::string & key,
const std::vector< std::string > & types )
inline

The documentation for this class was generated from the following file:
  • src/python-frontend/function_call/cache.h