destructor_and_idt Class Reference

Result of a tree query holding both destructor codet and the ID of the node that held it. More...

#include <scope_tree.h>

Collaboration diagram for destructor_and_idt:

Public Member Functions
	destructor_and_idt (const codet &code, node_indext id)

Public Attributes
const codet	destructor
node_indext	node_id

Detailed Description

Result of a tree query holding both destructor codet and the ID of the node that held it.

Definition at line 49 of file scope_tree.h.

Constructor & Destructor Documentation

destructor_and_idt()

destructor_and_idt::destructor_and_idt ( const codet &  code, node_indext  id  )

inline

Definition at line 52 of file scope_tree.h.

Member Data Documentation

destructor

const codet destructor_and_idt::destructor

Definition at line 57 of file scope_tree.h.

node_id

node_indext destructor_and_idt::node_id

Definition at line 58 of file scope_tree.h.

---

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

• /home/runner/work/cbmc/cbmc/src/ansi-c/goto-conversion/scope_tree.h