Searched refs:TopHeaderNames (Results 1 – 2 of 2) sorted by relevance
278 if (!TopHeaderNames.empty()) { in getTopHeaders()280 I = TopHeaderNames.begin(), E = TopHeaderNames.end(); I != E; ++I) { in getTopHeaders()284 TopHeaderNames.clear(); in getTopHeaders()
195 std::vector<std::string> TopHeaderNames; variable646 TopHeaderNames.push_back(std::string(Filename)); in addTopHeaderFilename()