uid_from_file


Description:

public static string? uid_from_file (File file) throws Error

Extracts a unique identity string from the base name of file.

If the base name of file is missing a '.source' extension, the function sets throws and returns null.

Parameters:

file

a File for a data source

Returns:

the unique identity string for file, or null