locst::function_entryt Class Reference

#include <locs.h>

Collaboration diagram for locst::function_entryt:

Public Attributes
loc_reft	first_loc
code_typet	type

Detailed Description

Definition at line 46 of file locs.h.

Member Data Documentation

first_loc

loc_reft locst::function_entryt::first_loc

Definition at line 49 of file locs.h.

Referenced by locst::build(), and path_symext::function_call_rec().

type

code_typet locst::function_entryt::type

Definition at line 50 of file locs.h.

Referenced by locst::build(), and path_symext::function_call_rec().

---

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

• path-symex/locs.h