Searched refs:documentedConstants (Results 1 – 1 of 1) sorted by relevance
347 set<Constant*> documentedConstants; in writeHeaderFile() local350 if (documentedConstants.find(constant) == documentedConstants.end()) { in writeHeaderFile()351 documentedConstants.insert(constant); in writeHeaderFile()