code: public boolean containsProgramPath(String path) {
          return registryMap.containsKey(path) && registryMap.get(path).getProgram() != null;
      }
docs: Gets the document for a given file path.
  
  @param path The file path.
  @return The contained document, or null if not found.