PIPS
transformer-local.h File Reference

Go to the source code of this file.

Macros

#define SEMANTICS_MODULE_NAME   "*SEMANTICS*"
 include file for transformer library More...
 
#define SEMANTICS_SEPARATOR   '#'
 Must be used in suffixes and prefixes below. More...
 
#define OLD_VALUE_PREFIX   "o#"
 internal entity names (FI: I should have used suffixes to be consistent with external suffixes More...
 
#define INTERMEDIATE_VALUE_PREFIX   "i#"
 
#define TEMPORARY_VALUE_PREFIX   "t#"
 
#define NEW_VALUE_SUFFIX   "#new"
 external suffixes (NEW_VALUE_SUFFIX is not used, new values are represented by the variable itself, i.e. More...
 
#define OLD_VALUE_SUFFIX   "#init"
 
#define INTERMEDIATE_VALUE_SUFFIX   "#int"
 
#define ADDRESS_OF_SUFFIX   "#addressof"
 
#define SIZEOF_SUFFIX   "#sizeof"
 

Macro Definition Documentation

◆ ADDRESS_OF_SUFFIX

#define ADDRESS_OF_SUFFIX   "#addressof"

Definition at line 48 of file transformer-local.h.

◆ INTERMEDIATE_VALUE_PREFIX

#define INTERMEDIATE_VALUE_PREFIX   "i#"

Definition at line 38 of file transformer-local.h.

◆ INTERMEDIATE_VALUE_SUFFIX

#define INTERMEDIATE_VALUE_SUFFIX   "#int"

Definition at line 46 of file transformer-local.h.

◆ NEW_VALUE_SUFFIX

#define NEW_VALUE_SUFFIX   "#new"

external suffixes (NEW_VALUE_SUFFIX is not used, new values are represented by the variable itself, i.e.

new value suffix is the empty string "")

Definition at line 44 of file transformer-local.h.

◆ OLD_VALUE_PREFIX

#define OLD_VALUE_PREFIX   "o#"

internal entity names (FI: I should have used suffixes to be consistent with external suffixes

Definition at line 37 of file transformer-local.h.

◆ OLD_VALUE_SUFFIX

#define OLD_VALUE_SUFFIX   "#init"

Definition at line 45 of file transformer-local.h.

◆ SEMANTICS_MODULE_NAME

#define SEMANTICS_MODULE_NAME   "*SEMANTICS*"

include file for transformer library

prefix used for value entity names; no conflict should occur with user function names as long as they are restricted to 6 characters

Definition at line 30 of file transformer-local.h.

◆ SEMANTICS_SEPARATOR

#define SEMANTICS_SEPARATOR   '#'

Must be used in suffixes and prefixes below.

Definition at line 33 of file transformer-local.h.

◆ SIZEOF_SUFFIX

#define SIZEOF_SUFFIX   "#sizeof"

Definition at line 50 of file transformer-local.h.

◆ TEMPORARY_VALUE_PREFIX

#define TEMPORARY_VALUE_PREFIX   "t#"

Definition at line 39 of file transformer-local.h.