import java.util.ArrayList;

import java.util.List;

import java.util.Properties;

import java.util.function.Function;

import java.util.stream.Collectors;

        Properties props = null;

            } else if (arg.equals("--dot-attributes")) {

                if (i++ == args.length) {

                    throw new IllegalArgumentException("Missing argument: --dot-attributes option");

                }

                props = new Properties();

                props.load(Files.newInputStream(Paths.get(args[i])));

                dir = ++i < args.length ? Paths.get(args[i]) : null;

        ModuleGraphAttributes attributes;

        if (props != null) {

            attributes = new ModuleGraphAttributes(props);

        } else {

            attributes = new ModuleGraphAttributes();

        }

        GenGraphs genGraphs = new GenGraphs(dir, spec, attributes);

    /**

     * Custom dot file attributes.

     */

    static class ModuleGraphAttributes implements ModuleDotGraph.Attributes {

        static Map<String, String> DEFAULT_ATTRIBUTES = Map.of(

            "ranksep", "0.6",

            "fontsize", "12",

            "fontcolor", BLACK,

            "fontname", "DejaVuSans",

            "arrowsize", "1",

            "arrowwidth", "2",

            "arrowcolor", DARK_GRAY,

            // custom

            "requiresMandatedColor", LIGHT_GRAY,

            "javaSubgraphColor", ORANGE,

            "jdkSubgraphColor", BLUE

        );

        final Map<String, Integer> weights = new HashMap<>();

        final List<Set<String>> ranks = new ArrayList<>();

        final Map<String, String> attrs;

        ModuleGraphAttributes(Map<String, String> attrs) {

            int h = 1000;

            weight("java.se", "java.sql.rowset", h * 10);

            weight("java.sql.rowset", "java.sql", h * 10);

            weight("java.sql", "java.xml", h * 10);

            weight("java.xml", "java.base", h * 10);

            ranks.add(Set.of("java.logging", "java.scripting", "java.xml"));

            ranks.add(Set.of("java.sql"));

            ranks.add(Set.of("java.compiler", "java.instrument"));

            ranks.add(Set.of("java.desktop", "java.management"));

            ranks.add(Set.of("java.corba", "java.xml.ws"));

            ranks.add(Set.of("java.xml.bind", "java.xml.ws.annotation"));

            this.attrs = attrs;

        }

        ModuleGraphAttributes() {

            this(DEFAULT_ATTRIBUTES);

        }

        ModuleGraphAttributes(Properties props) {

            this(toAttributes(props));

        }

        @Override

        public double rankSep() {

            return Double.valueOf(attrs.get("ranksep"));

        }

        @Override

        public int fontSize() {

            return Integer.valueOf(attrs.get("fontsize"));

        }

        @Override

        public String fontName() {

            return attrs.get("fontname");

        }

        @Override

        public String fontColor() {

            return attrs.get("fontcolor");

        }

        @Override

        public int arrowSize() {

            return Integer.valueOf(attrs.get("arrowsize"));

        }

        @Override

        public int arrowWidth() {

            return Integer.valueOf(attrs.get("arrowwidth"));

        }

        @Override

        public String arrowColor() {

            return attrs.get("arrowcolor");

        }

        @Override

        public List<Set<String>> ranks() {

            return ranks;

        }

        @Override

        public String requiresMandatedColor() {

            return attrs.get("requiresMandatedColor");

        }

        @Override

        public String javaSubgraphColor() {

            return attrs.get("javaSubgraphColor");

        }

        @Override

        public String jdkSubgraphColor() {

            return attrs.get("jdkSubgraphColor");

        }

        @Override

        public int weightOf(String s, String t) {

            int w = weights.getOrDefault(s + ":" + t, 1);

            if (w != 1)

                return w;

            if (s.startsWith("java.") && t.startsWith("java."))

                return 10;

            return 1;

        }

        public void weight(String s, String t, int w) {

            weights.put(s + ":" + t, w);

        }

        static Map<String, String> toAttributes(Properties props) {

            return DEFAULT_ATTRIBUTES.keySet().stream()

                .collect(Collectors.toMap(Function.identity(),

                    k -> props.getProperty(k, DEFAULT_ATTRIBUTES.get(k))));

        }

    private final ModuleGraphAttributes attributes;

    GenGraphs(Path dir, boolean spec, ModuleGraphAttributes attributes) {

        this.attributes = attributes;

        dotGraph.genDotFiles(dir, attributes);

    /**

     * Returns true for any name if generating graph for non-spec;

     * otherwise, returns true except "jdk" and name with "jdk.internal." prefix

     */

        if (!spec)

        return !name.equals("jdk") && !name.startsWith("jdk.internal.");

}