CBMC
irep_ids.cpp File Reference

Internal Representation. More...

#include "irep_ids.h"
#include "invariant.h"
#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)   id_##the_id,
 
#define IREP_ID_TWO(the_id, str)   id_##the_id,
 
#define IREP_ID_ONE(the_id)
 
#define IREP_ID_TWO(the_id, str)
 

Enumerations

enum class  idt : unsigned { IREP_ID_ONE , IREP_ID_TWO }
 

Variables

const char * irep_ids_table []
 

Detailed Description

Internal Representation.

Definition in file irep_ids.cpp.

Macro Definition Documentation

◆ IREP_ID_ONE [1/3]

#define IREP_ID_ONE (   id)    #id,

Definition at line 36 of file irep_ids.cpp.

◆ IREP_ID_ONE [2/3]

#define IREP_ID_ONE (   the_id)    id_##the_id,

Definition at line 36 of file irep_ids.cpp.

◆ IREP_ID_ONE [3/3]

#define IREP_ID_ONE (   the_id)
Value:
static_cast<unsigned>(idt::id_##the_id));
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:38
static dstringt make_from_table_index(unsigned no)
Definition: dstring.h:52

Definition at line 36 of file irep_ids.cpp.

◆ IREP_ID_TWO [1/3]

#define IREP_ID_TWO (   id,
  str 
)    #str,

Definition at line 39 of file irep_ids.cpp.

◆ IREP_ID_TWO [2/3]

#define IREP_ID_TWO (   the_id,
  str 
)    id_##the_id,

Definition at line 39 of file irep_ids.cpp.

◆ IREP_ID_TWO [3/3]

#define IREP_ID_TWO (   the_id,
  str 
)
Value:
static_cast<unsigned>(idt::id_##the_id));

Definition at line 39 of file irep_ids.cpp.

Enumeration Type Documentation

◆ idt

enum idt : unsigned
strong
Enumerator
IREP_ID_ONE 
IREP_ID_TWO 

Definition at line 28 of file irep_ids.cpp.

Variable Documentation

◆ irep_ids_table

const char* irep_ids_table[]
Initial value:
=
{
#define IREP_ID_ONE(id)
#define IREP_ID_TWO(id, str)
nullptr,
}

Definition at line 18 of file irep_ids.cpp.