equal
deleted
inserted
replaced
47 |
47 |
48 |
48 |
49 |
49 |
50 |
50 |
51 #include "case_element_iterator.hh" |
51 #include "case_element_iterator.hh" |
|
52 #include "../main.hh" // required for ERROR() and ERROR_MSG() macros. |
52 |
53 |
53 |
54 |
54 //#define DEBUG |
55 //#define DEBUG |
55 #ifdef DEBUG |
56 #ifdef DEBUG |
56 #define TRACE(classname) printf("\n____%s____\n",classname); |
57 #define TRACE(classname) printf("\n____%s____\n",classname); |
57 #else |
58 #else |
58 #define TRACE(classname) |
59 #define TRACE(classname) |
59 #endif |
60 #endif |
60 |
61 |
61 |
62 |
62 #define ERROR error_exit(__FILE__,__LINE__) |
|
63 /* function defined in main.cc */ |
|
64 extern void error_exit(const char *file_name, int line_no); |
|
65 |
63 |
66 |
64 |
67 void* case_element_iterator_c::handle_case_element(symbol_c *case_element) { |
65 void* case_element_iterator_c::handle_case_element(symbol_c *case_element) { |
68 if (current_case_element == case_element) { |
66 if (current_case_element == case_element) { |
69 current_case_element = NULL; |
67 current_case_element = NULL; |