Searched refs:headerFileName (Results 1 – 1 of 1) sorted by relevance
317 const string headerFileName = specFile.getHeaderFileName(); in writeHeaderFile() local321 if (!file.start(directory, headerFileName)) { in writeHeaderFile()327 writeComment(&file, headerFileName, specFile.getBriefDescription(), in writeHeaderFile()332 const string guard = makeGuardString(headerFileName); in writeHeaderFile()