Searched refs:TopHeaderNames (Results 1 – 2 of 2) sorted by relevance
260 if (!TopHeaderNames.empty()) { in getTopHeaders()262 I = TopHeaderNames.begin(), E = TopHeaderNames.end(); I != E; ++I) { in getTopHeaders()266 TopHeaderNames.clear(); in getTopHeaders()
172 std::vector<std::string> TopHeaderNames; variable569 TopHeaderNames.push_back(std::string(Filename)); in addTopHeaderFilename()