[ Version ( since = "3.14" ) ]
public SourceFileLoader (SourceBuffer buffer, SourceFile file)
Creates a new SourceFileLoader object.
The contents is read from the SourceFile's location. If not already done,
call set_location before calling this constructor. The previous
location is anyway not needed, because as soon as the file loading begins, the
buffer is emptied.
the SourceBuffer to load the contents into.
a new SourceFileLoader object.