Maintain a list of all files that CIL has encountered during lexing and expose this as a part of Cil.file.
This information is useful for tools that, e.g., want to apply CIL to a file only if one of the files from which content is included by the preprocessor has changed.
Maintain a list of all files that CIL has encountered during lexing and expose this as a part of
Cil.file. This information is useful for tools that, e.g., want to apply CIL to a file only if one of the files from which content is included by the preprocessor has changed.