docs/api/destructor_8h_source.html

#ifndef CPROVER_GOTO_PROGRAMS_DESTRUCTOR_H

#define CPROVER_GOTO_PROGRAMS_DESTRUCTOR_H


#include <util/symtab/namespace.h>

#include <util/irep/std_code.h>

#include <util/irep/std_types.h>


const struct_typet *resolve_class_type(const namespacet &ns, const typet &type);


const struct_typet::componentt *

get_destructor_component(const namespacet &ns, const struct_typet &struct_type);


bool get_destructor(

  const namespacet &ns,

  const typet &type,

  code_function_callt &destructor);


#endif

code_function_callt
A `switch' instruction */ class code_switcht : public codet { public: inline code_switcht() : codet("...
Definition std_code.h:574

namespacet
Definition namespace.h:10

struct_typet
Definition std_types.h:232

struct_union_typet::componentt
Definition std_types.h:87

typet
Definition type.h:9

resolve_class_type
const struct_typet * resolve_class_type(const namespacet &ns, const typet &type)
Follows type to the authoritative class type symbol, or nullptr when it does not resolve to a struct.
Definition destructor.cpp:3

get_destructor_component
const struct_typet::componentt * get_destructor_component(const namespacet &ns, const struct_typet &struct_type)
The destructor method component of struct_type, or nullptr when it has none.
Definition destructor.cpp:30

get_destructor
bool get_destructor(const namespacet &ns, const typet &type, code_function_callt &destructor)
Definition destructor.cpp:55

namespace.h

std_code.h

std_types.h