equal
deleted
inserted
replaced
112 currentSection.clear(); |
112 currentSection.clear(); |
113 }; |
113 }; |
114 |
114 |
115 void startSection(const SectionStartEvent& event) override { |
115 void startSection(const SectionStartEvent& event) override { |
116 currentSection.push_back(event.name); |
116 currentSection.push_back(event.name); |
|
117 |
|
118 if (configuration.enableComments && event.comment.size()) { |
|
119 Record record(&event); |
|
120 record.comment = event.comment; |
|
121 write(record); |
|
122 } |
117 }; |
123 }; |
118 |
124 |
119 void endSection() override { |
125 void endSection() override { |
120 currentSection.pop_back(); |
126 currentSection.pop_back(); |
121 }; |
127 }; |