the name of the file being analyzed
the scope
declaration kind used in error messages, e.g. "Variable"s
declaration kind used in error reports, e.g. "unused_variable"
See Implementation