* @param location identification of a path in the {@code javax.tool} API
     * @return Java path type associated to the given location
     */
    public static Optional<JavaPathType> valueOf(JavaFileManager.Location location) {
        for (JavaPathType type : JavaPathType.values()) {
            if (location.equals(type.location)) {
                return Optional.of(type);
            }
        }
        return Optional.empty();

    }

    /**
     * Tests the formatting of an option without module name.
     */
    @Test
    public void testOption() {
        String[] formatted = JavaPathType.MODULES.option(paths());
        assertEquals(2, formatted.length);
        assertEquals("--module-path", formatted[0]);
        assertEquals(toPlatformSpecific("\"src/foo.java:src/bar.java\""), formatted[1]);
    }

     * and the user may have provided no instruction about which type to use. In such
     * case, the plugin may apply rules for choosing a path. See for example
     * {@link JavaPathType#CLASSES} and {@link JavaPathType#MODULES}.</p>
     */
    @Nonnull
    Set<PathType> getPathTypes();