Searched refs:TopHeaderNames (Results 1 – 2 of 2) sorted by relevance
144 if (!TopHeaderNames.empty()) { in getTopHeaders()146 I = TopHeaderNames.begin(), E = TopHeaderNames.end(); I != E; ++I) { in getTopHeaders()150 TopHeaderNames.clear(); in getTopHeaders()
83 std::vector<std::string> TopHeaderNames; variable396 TopHeaderNames.push_back(Filename); in addTopHeaderFilename()