cprover
var_mapt::var_infot Struct Reference

#include <var_map.h>

Collaboration diagram for var_mapt::var_infot:
[legend]

Public Types

enum  { SHARED, THREAD_LOCAL, PROCEDURE_LOCAL }
 

Public Member Functions

bool is_shared () const
 
 var_infot ()
 
irep_idt ssa_identifier () const
 
symbol_exprt ssa_symbol () const
 
void increment_ssa_counter ()
 
void output (std::ostream &out) const
 

Public Attributes

enum var_mapt::var_infot:: { ... }  kind
 
unsigned number
 
irep_idt full_identifier
 
irep_idt symbol
 
irep_idt suffix
 
typet type
 
unsigned ssa_counter
 

Detailed Description

Definition at line 35 of file var_map.h.

Member Enumeration Documentation

§ anonymous enum

anonymous enum
Enumerator
SHARED 
THREAD_LOCAL 
PROCEDURE_LOCAL 

Definition at line 37 of file var_map.h.

Constructor & Destructor Documentation

§ var_infot()

var_mapt::var_infot::var_infot ( )
inline

Definition at line 55 of file var_map.h.

References ssa_identifier().

Member Function Documentation

§ increment_ssa_counter()

void var_mapt::var_infot::increment_ssa_counter ( )
inline

Definition at line 69 of file var_map.h.

References output(), and ssa_counter.

Referenced by path_symext::assign_rec().

§ is_shared()

bool var_mapt::var_infot::is_shared ( ) const
inline

Definition at line 39 of file var_map.h.

References SHARED.

Referenced by path_symex_statet::get_var_state(), and var_mapt::init().

§ output()

void var_mapt::var_infot::output ( std::ostream &  out) const

Definition at line 47 of file var_map.cpp.

Referenced by increment_ssa_counter().

§ ssa_identifier()

irep_idt var_mapt::var_infot::ssa_identifier ( ) const

Definition at line 111 of file var_map.cpp.

References id2string().

Referenced by ssa_symbol(), and var_infot().

§ ssa_symbol()

symbol_exprt var_mapt::var_infot::ssa_symbol ( ) const
inline

Member Data Documentation

§ full_identifier

§ kind

enum { ... } var_mapt::var_infot::kind

Referenced by var_mapt::init().

§ number

unsigned var_mapt::var_infot::number

Definition at line 45 of file var_map.h.

Referenced by path_symex_statet::get_var_state(), and var_mapt::init().

§ ssa_counter

unsigned var_mapt::var_infot::ssa_counter

Definition at line 53 of file var_map.h.

Referenced by increment_ssa_counter().

§ suffix

irep_idt var_mapt::var_infot::suffix

Definition at line 48 of file var_map.h.

§ symbol

irep_idt var_mapt::var_infot::symbol

Definition at line 48 of file var_map.h.

Referenced by var_mapt::init().

§ type

typet var_mapt::var_infot::type

Definition at line 51 of file var_map.h.


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