Searched refs:documentedTypes (Results 1 – 1 of 1) sorted by relevance
356 set<Type*> documentedTypes; in writeHeaderFile() local359 if (documentedTypes.find(type) == documentedTypes.end()) { in writeHeaderFile()360 documentedTypes.insert(type); in writeHeaderFile()