file property

File file
final

The file that this SourceElement was parsed from.

Implementation

final File file;