316 static bool writeHeaderFile(const string& directory, const SpecFile& specFile) {  in writeHeaderFile()  argument
317     const string headerFileName = specFile.getHeaderFileName();  in writeHeaderFile()
327     writeComment(&file, headerFileName, specFile.getBriefDescription(),  in writeHeaderFile()
328                  specFile.getFullDescription(), false, true);  in writeHeaderFile()
337     if (specFile.getVerbatimInclude().size() > 0) {  in writeHeaderFile()
338         for (auto s : specFile.getVerbatimInclude()) {  in writeHeaderFile()
348     for (auto spec : specFile.getConstantSpecifications()) {  in writeHeaderFile()
357     for (auto spec : specFile.getTypeSpecifications()) {  in writeHeaderFile()
367     for (auto spec : specFile.getFunctionSpecifications()) {  in writeHeaderFile()
387     for (auto specFile : systemSpecification.getSpecFiles()) {  in generateHeaderFiles()  local
388         if (!writeHeaderFile(directory, *specFile)) {  in generateHeaderFiles()