code: public void genDotFile(Path path, String name,
                             Configuration configuration,
                             Attributes attributes)
          throws IOException
      {
          // transitive reduction
          Graph<String> graph = apiOnly
                  ? requiresTransitiveGraph(configuration, Set.of(name))
                  : gengraph(configuration);
  
          DotGraphBuilder builder = new DotGraphBuilder(name, graph, attributes);
          builder.subgraph("se", "java", attributes.javaSubgraphColor(),
                           DotGraphBuilder.JAVA_SE_SUBGRAPH)
                 .subgraph("jdk", "jdk", attributes.jdkSubgraphColor(),
                           DotGraphBuilder.JDK_SUBGRAPH)
                 .modules(graph.nodes().stream()
                                   .map(mn -> configuration.findModule(mn).get()
                                                  .reference().descriptor()));
          // build dot file
          builder.build(path);
      }
docs: Generate dotfile of the given path