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); |