Searched refs:extraheader (Results 1 – 2 of 2) sorted by relevance
693 extraheader.clear(); in setComments()697 extraheader.append(comments[iA]); in setComments()698 extraheader.push_back('\n'); in setComments()725 if (!extraheader.empty()) { in emitFile()726 out.setExtraHeaderText(extraheader); in emitFile()745 if (!extraheader.empty()) { in emitFilename()746 out.setExtraHeaderText(extraheader); in emitFilename()
71 std::string extraheader; variable