|
Lines 24-29
Link Here
|
| 24 |
dump_buffer.clean(); |
24 |
dump_buffer.clean(); |
| 25 |
dump_buffer << dumped_name; |
25 |
dump_buffer << dumped_name; |
| 26 |
|
26 |
|
|
|
27 |
if (a != NULL) |
| 27 |
if (!a->end()) |
28 |
if (!a->end()) |
| 28 |
for (int i = 0; i < a->get_size(); i++) |
29 |
for (int i = 0; i < a->get_size(); i++) |
| 29 |
dump_buffer << "(" << a->get(i) << ")"; |
30 |
dump_buffer << "(" << a->get(i) << ")"; |
|
Lines 32-37
Link Here
|
| 32 |
reader_pointer = s->reader_pointer; |
33 |
reader_pointer = s->reader_pointer; |
| 33 |
type = s->type; |
34 |
type = s->type; |
| 34 |
|
35 |
|
|
|
36 |
if (a != NULL) |
| 35 |
if (! a->end()) { |
37 |
if (! a->end()) { |
| 36 |
reader_pointer = s->type->element(s->reader_pointer, a); |
38 |
reader_pointer = s->type->element(s->reader_pointer, a); |
| 37 |
type = s->type->get_info(s->reader_pointer, a); |
39 |
type = s->type->get_info(s->reader_pointer, a); |