Method exportTrees

src/figtree/application/JSONTreeExporter.java:180–183

(Collection<? extends Tree> trees)

    }

    @Override
    public void exportTrees(Collection<? extends Tree> trees) throws IOException {
        writeTrees(trees);
    }

    final private String nameRegex = "^(\\w|-)+$";