public CompilerInfo GetCompilerInfoForExtension (string extension) { if (compiler_extensions.Count == 0) return null; CompilerInfo ci; if (compiler_extensions.TryGetValue (extension, out ci)) return ci; return null; }