cprover
irep_ids.cpp File Reference

Internal Representation. More...

#include "irep_ids.h"
#include <cassert>
#include "string_container.h"
#include "irep_ids.def"
Include dependency graph for irep_ids.cpp:

Go to the source code of this file.

Macros

#define IREP_ID_ONE(id)   #id,
 
#define IREP_ID_TWO(id, str)   #str,
 
#define IREP_ID_ONE(the_id)
 
#define IREP_ID_TWO(the_id, str)
 

Functions

void initialize_string_container ()
 

Variables

const char * irep_ids_table []
 

Detailed Description

Internal Representation.

Definition in file irep_ids.cpp.

Macro Definition Documentation

§ IREP_ID_ONE [1/2]

#define IREP_ID_ONE (   id)    #id,

Definition at line 30 of file irep_ids.cpp.

§ IREP_ID_ONE [2/2]

#define IREP_ID_ONE (   the_id)
Value:
static_cast<unsigned>(idt::id_##the_id));
static dstringt make_from_table_index(unsigned no)
Definition: dstring.h:36

Definition at line 30 of file irep_ids.cpp.

§ IREP_ID_TWO [1/2]

#define IREP_ID_TWO (   id,
  str 
)    #str,

Definition at line 33 of file irep_ids.cpp.

§ IREP_ID_TWO [2/2]

#define IREP_ID_TWO (   the_id,
  str 
)
Value:
static_cast<unsigned>(idt::id_##the_id));
static dstringt make_from_table_index(unsigned no)
Definition: dstring.h:36

Definition at line 33 of file irep_ids.cpp.

Function Documentation

§ initialize_string_container()

void initialize_string_container ( )

Definition at line 46 of file irep_ids.cpp.

References irep_ids_table, and string_container.

Referenced by string_ptrt::operator==(), and string_containert::string_containert().

Variable Documentation

§ irep_ids_table

const char* irep_ids_table[]

Definition at line 18 of file irep_ids.cpp.

Referenced by initialize_string_container().