Searched refs:TopHeaderNames (Results 1 – 2 of 2) sorted by relevance
247 if (!TopHeaderNames.empty()) { in getTopHeaders()249 I = TopHeaderNames.begin(), E = TopHeaderNames.end(); I != E; ++I) { in getTopHeaders()253 TopHeaderNames.clear(); in getTopHeaders()
131 std::vector<std::string> TopHeaderNames; variable503 TopHeaderNames.push_back(Filename); in addTopHeaderFilename()