void extract()

in mps-maven-plugin/src/main/java/org/jetbrains/mps/mavenplugin/ZipExtractor.java [22:40]


    void extract(File archive, File toDirectory) throws IOException {
        if (log.isDebugEnabled()) {
            log.debug("Extracting " + archive + " to " + toDirectory);
        }
        int count = 0;
        try (ZipFile zipFile = new ZipFile(archive, ZipFile.OPEN_READ)) {
            Enumeration<? extends ZipEntry> entries = zipFile.entries();
            while (entries.hasMoreElements()) {
                ZipEntry entry = entries.nextElement();
                if (entry.isDirectory()) continue;

                log.debug("Extracting " + entry.getName());
                extract(zipFile, entry, toDirectory);
                count++;
            }
        }

        log.debug("Extracted " + count + " files successfully");
    }