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 << "static const " << spec.getType() << " " << constant->getName()  in writeConstantSpecification()
349         Constant* constant = spec->getConstant();  in writeHeaderFile()  local
350         if (documentedConstants.find(constant) == documentedConstants.end()) {  in writeHeaderFile()
351             documentedConstants.insert(constant);  in writeHeaderFile()
352             writeConstantComment(&file, *constant);  in writeHeaderFile()