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