/// <summary>
/// Get the corresponding source file path for a specific srcML file.
/// </summary>
/// <param name="xmlPath"></param>
/// <returns></returns>
public string GetSourcePathForXmlPath(string xmlPath)
{
return(xmlFileNameMapping.GetSourcePath(xmlPath));
}
