docs: public String generateGraphVizDotFile(final float sizeX, final float sizeY) {
          return generateGraphVizDotFile(sizeX, sizeY, /* showFields = */ true,
                  /* showFieldTypeDependencyEdges = */ true, /* showMethods = */ true,
                  /* showMethodTypeDependencyEdges = */ true, /* showAnnotations = */ true);
      }