CBMC
Loading...
Searching...
No Matches
Macros | Enumerations | Variables
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,
 
 
 
 
 

Enumerations

enum class   idt : unsigned { IREP_ID_ONE , IREP_ID_TWO }
 

Variables

 

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 30 of file irep_ids.cpp.

◆  IREP_ID_ONE [2/3]

#define IREP_ID_ONE (   the_id )    id_##the_id,

Definition at line 30 of file irep_ids.cpp.

◆  IREP_ID_ONE [3/3]

#define IREP_ID_ONE (   the_id )
Value:
static_cast<unsigned>(idt::id_##the_id));
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:566
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 30 of file irep_ids.cpp.

◆  IREP_ID_TWO [1/3]

#define IREP_ID_TWO (   id,
  str 
)    #str,

Definition at line 31 of file irep_ids.cpp.

◆  IREP_ID_TWO [2/3]

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

Definition at line 31 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 31 of file irep_ids.cpp.

Enumeration Type Documentation

◆  idt

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.

AltStyle によって変換されたページ (->オリジナル) /