cprover
locst::function_entryt Class Reference

#include <locs.h>

Collaboration diagram for locst::function_entryt:
[legend]

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: