CBMC
call_grapht::edge_with_callsitest Struct Reference

Edge of the directed graph representation of this call graph. More...

#include <call_graph.h>

+ Collaboration diagram for call_grapht::edge_with_callsitest:

Public Attributes

locationst callsites
 Callsites responsible for this graph edge. More...
 

Detailed Description

Edge of the directed graph representation of this call graph.

Definition at line 124 of file call_graph.h.

Member Data Documentation

◆ callsites

locationst call_grapht::edge_with_callsitest::callsites

Callsites responsible for this graph edge.

Will be empty if collect_callsites was not set at call_grapht construction time.

Definition at line 128 of file call_graph.h.


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