Searched refs:getHeaderFileName (Results 1 – 2 of 2) sorted by relevance
316 const string headerFileName = specFile.getHeaderFileName(); in writeHeaderFile()
533 std::string getHeaderFileName() const { return mHeaderFileName; } in getHeaderFileName() function