module LineCache

def cached_files()

Return an array of cached file names
def cached_files()
  @@file_cache.keys
end