dereference_callback.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Pointer Dereferencing
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_POINTER_ANALYSIS_DEREFERENCE_CALLBACK_H
#define CPROVER_POINTER_ANALYSIS_DEREFERENCE_CALLBACK_H
 
#include <string>
 
#include "value_sets.h"
 
class exprt;
class symbolt;
 
class dereference_callbackt
{
public:
  virtual ~dereference_callbackt() = default;
 
  virtual std::vector<exprt> get_value_set(const exprt &expr) const = 0;
 
  virtual const symbolt *get_or_create_failed_symbol(const exprt &expr) = 0;
};
 
#endif // CPROVER_POINTER_ANALYSIS_DEREFERENCE_CALLBACK_H