Function get_file_name

Source
pub fn get_file_name(
    source_engine: &SourceEngine,
    source_id: Option<&SourceId>,
) -> Option<String>
Expand description

Returns the file name (with extension) for the provided source_id, or None if the source_id is None or the file name cannot be obtained.