public String GetFilename(String file) { String key2 = "SETUP:FILENAMES_" + file; if (!_data.ContainsKey(key2)) { throw new AnalystError("Undefined file: " + file); } return _data[key2]; }