Member predicate HeaderFile::noTopLevelCode
Holds if this header file does not contain any declaration entries or top level declarations. For example it might be:
- a file containing only preprocessor directives and/or comments
- an empty file
- a file that contains non-top level code or data that’s included in an unusual way
predicate noTopLevelCode()