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.