FixIO Documentation

Back to summary

import "io/zip";

ZipReader class

ZIP reader.

Functions

static function create(file: File): ZipReader

Creates a new ZIP reader.

function close()

Closes the file.

function get_files(): String[]

Returns the list of files.

function get_file(filename: String): Stream

Creates a stream for reading the given file.