/// <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)); }