From file zip_utils.iol

Port Name

Location

Protocol

ZipUtils

List of the available interfaces

Interface ZipUtilsInterface

Heading

Input type

Output type

Faults

IOException

undefined

undefined

readEntry

ReadEntryRequest

any

IOException( IOExceptionType )

unzip

UnzipRequest

UnzipResponse

FileNotFound,

zip

ZipRequest

raw

IOException( IOExceptionType )

Operation list

zip

zip( ZipRequest )( raw )
throws
IOException( IOExceptionType )

IOException

IOException( undefined )( undefined )

unzip

unzip( UnzipRequest )( UnzipResponse )
throws
FileNotFound

readEntry

readEntry( ReadEntryRequest )( any )
throws
IOException( IOExceptionType )

Message type list

ZipRequest

type ZipRequest: undefined

IOExceptionType

type IOExceptionType: JavaExceptionType

UnzipRequest

type UnzipRequest: void {
.filename: string
.targetPath: string
}

UnzipResponse

type UnzipResponse: void {
.entry*: string
}

ReadEntryRequest

type ReadEntryRequest: void {
.entry: string
.filename: string
}

Type list