check_file_on_disk


Description:

[ Version ( since = "3.18" ) ]
public void check_file_on_disk ()

Checks synchronously the file on disk, to know whether the file is externally modified, or has been deleted, and whether the file is read-only.

SourceFile doesn't create a FileMonitor to track those properties, so this function needs to be called instead. Creating lots of FileMonitor's would take lots of resources.

Since this function is synchronous, it is advised to call it only on local files. See is_local.

Parameters:

this

a SourceFile.