cprover
locst Class Reference

#include <locs.h>

Collaboration diagram for locst:
[legend]

Classes

class  function_entryt
 

Public Types

typedef std::vector< loctloc_vectort
 
typedef std::map< irep_idt, function_entrytfunction_mapt
 

Public Member Functions

 locst (const namespacet &_ns)
 
void build (const goto_functionst &goto_functions)
 
void output (std::ostream &out) const
 
loctoperator[] (loc_reft l)
 
const loctoperator[] (loc_reft l) const
 
loc_reft end () const
 
std::size_t size () const
 

Static Public Member Functions

static loc_reft begin ()
 

Public Attributes

loc_vectort loc_vector
 
loc_reft entry_loc
 
function_mapt function_map
 

Protected Attributes

const namespacetns
 

Detailed Description

Definition at line 39 of file locs.h.

Member Typedef Documentation

◆ function_mapt

Definition at line 53 of file locs.h.

◆ loc_vectort

typedef std::vector<loct> locst::loc_vectort

Definition at line 42 of file locs.h.

Constructor & Destructor Documentation

◆ locst()

locst::locst ( const namespacet _ns)
explicit

Definition at line 14 of file locs.cpp.

Member Function Documentation

◆ begin()

static loc_reft locst::begin ( )
inlinestatic

Definition at line 72 of file locs.h.

References loc_reft::loc_number.

Referenced by target_to_loc_mapt::target_to_loc_mapt().

◆ build()

◆ end()

loc_reft locst::end ( ) const
inline

Definition at line 79 of file locs.h.

References loc_reft::loc_number, and loc_vector.

Referenced by build(), and target_to_loc_mapt::target_to_loc_mapt().

◆ operator[]() [1/2]

loct& locst::operator[] ( loc_reft  l)
inline

Definition at line 60 of file locs.h.

References loc_reft::loc_number, and loc_vector.

◆ operator[]() [2/2]

const loct& locst::operator[] ( loc_reft  l) const
inline

Definition at line 66 of file locs.h.

References loc_reft::loc_number, and loc_vector.

◆ output()

void locst::output ( std::ostream &  out) const

Definition at line 84 of file locs.cpp.

References as_string(), entry_loc, loc, loc_vector, and ns.

Referenced by symex_parse_optionst::doit().

◆ size()

std::size_t locst::size ( ) const
inline

Definition at line 86 of file locs.h.

References loc_vector.

Referenced by path_searcht::operator()().

Member Data Documentation

◆ entry_loc

loc_reft locst::entry_loc

Definition at line 44 of file locs.h.

Referenced by build(), initial_state(), and output().

◆ function_map

function_mapt locst::function_map

Definition at line 54 of file locs.h.

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

◆ loc_vector

loc_vectort locst::loc_vector

Definition at line 43 of file locs.h.

Referenced by build(), end(), operator[](), output(), and size().

◆ ns

const namespacet& locst::ns
protected

Definition at line 92 of file locs.h.

Referenced by output().


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