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