public IEnumerable<IPrimarySourceLocation> GetPrimarySourceLocationsForDefinitionOf(ILocalDefinition localDefinition) {
ISourceLocationProvider/*?*/ provider = this.GetProvider(localDefinition);
if (provider == null)
return Enumerable<IPrimarySourceLocation>.Empty;
else
return provider.GetPrimarySourceLocationsForDefinitionOf(localDefinition);
}