public IEnumerable<IAnnotation> ModuleAnnotations(QualifiedModuleName module) { IAnnotation[] result; if (_annotations.TryGetValue(module, out result)) { return result; } return new List<IAnnotation>(); }