Searched refs:TopHeaderNames (Results 1 – 2 of 2) sorted by relevance
160 if (!TopHeaderNames.empty()) { in getTopHeaders()162 I = TopHeaderNames.begin(), E = TopHeaderNames.end(); I != E; ++I) { in getTopHeaders()166 TopHeaderNames.clear(); in getTopHeaders()
91 std::vector<std::string> TopHeaderNames; variable423 TopHeaderNames.push_back(Filename); in addTopHeaderFilename()