| changeset 809 | 9204559768f1 |
| parent 767 | e7d6619f6145 |
| child 965 | c9eeb67ba939 |
| 808:7a6b53d61ea3 | 809:9204559768f1 |
|---|---|
93 fprintf(stderr, "\n"); |
93 fprintf(stderr, "\n"); |
94 } |
94 } |
95 |
95 |
96 |
96 |
97 void print_symbol_c::dump_symbol(symbol_c* symbol) { |
97 void print_symbol_c::dump_symbol(symbol_c* symbol) { |
98 fprintf(stderr, "(%03d:%03d..%03d:%03d) \t%s\t", symbol->first_line, symbol->first_column, symbol->last_line, symbol->last_column, symbol->absyntax_cname()); |
98 fprintf(stderr, "(%s->%03d:%03d..%03d:%03d) \t%s\t", symbol->first_file, symbol->first_line, symbol->first_column, symbol->last_line, symbol->last_column, symbol->absyntax_cname()); |
99 |
99 |
100 fprintf(stderr, " datatype="); |
100 fprintf(stderr, " datatype="); |
101 if (NULL == symbol->datatype) |
101 if (NULL == symbol->datatype) |
102 fprintf(stderr, "NULL\t\t"); |
102 fprintf(stderr, "NULL\t\t"); |
103 else { |
103 else { |