113 static void writeConstantComment(GeneratedFile* file, const Constant& constant) {  in writeConstantComment()  argument
114     const string name = constant.getName();  in writeConstantComment()
115     writeComment(file, name, constant.getSummary(), constant.getDescription(),  in writeConstantComment()
116                  constant.deprecated(), true);  in writeConstantComment()
120     const Constant* constant = spec.getConstant();  in writeConstantSpecification()  local
122     writeVersionGuardStart(file, info, constant->getFinalVersion());  in writeConstantSpecification()
123     *file << "#define " << constant->getName() << " " << spec.getValue() << "\n\n";  in writeConstantSpecification()
348         Constant* constant = spec->getConstant();  in writeHeaderFile()  local
349         if (documentedConstants.find(constant) == documentedConstants.end()) {  in writeHeaderFile()
350             documentedConstants.insert(constant);  in writeHeaderFile()
351             writeConstantComment(&file, *constant);  in writeHeaderFile()