Go to the documentation of this file.
30 #define SEMANTICS_MODULE_NAME "*SEMANTICS*"
33 #define SEMANTICS_SEPARATOR '#'
37 #define OLD_VALUE_PREFIX "o#"
38 #define INTERMEDIATE_VALUE_PREFIX "i#"
39 #define TEMPORARY_VALUE_PREFIX "t#"
44 #define NEW_VALUE_SUFFIX "#new"
45 #define OLD_VALUE_SUFFIX "#init"
46 #define INTERMEDIATE_VALUE_SUFFIX "#int"
48 #define ADDRESS_OF_SUFFIX "#addressof"
50 #define SIZEOF_SUFFIX "#sizeof"