private Zip(File f)
{
try
{
// only support local files
if (!(f is LocalFile))
throw IOErr.make("Only local files supported: " + f).val;
// open the file
this.m_file = (LocalFile)f;
this.m_zipFile = new ZipFile(m_file.m_file.FullName);
}
catch (System.Exception e)
{
// NOTE: use ctor instead of make() to force type == IOErr
throw new IOErr(e).val;
}
}