def read_methods(file): names = {} for line in file: nline = line.strip() jstr = String(nline) hcode = jstr.hashCode() names[hcode] = nline return names