An ADT of errors from Jar scanning.
An ADT of errors from extraction.
Extract u
, if possible, and invoke f
with it.
Extract u
, if possible, and invoke f
with it. The extraction
is only valid in f
's dynamic context.
Extract the directory u
, if possible, and invoke f
with it.
Extract the directory u
, if possible, and invoke f
with it.
The extraction is only valid in f
's dynamic context.
The concrete URI resource forming the start of a JarURI
extraction.
The concrete URI resource forming the start of a JarURI
extraction.
Extract u
, if possible.
Extract u
, if possible. #extract
may be simpler for you.
A file, indicated by file
or jar
URI.
An error message or the extracted file, and if str
was
used to acquire a temporary file, its #release
identifier.
Extract u
, if possible.
Extract u
, if possible. #extractDirectory
may be simpler
for you.
A directory, indicated by file
or jar
URI.
An error message or the extracted directory, and if
str
was used to acquire a temporary directory, its
#release
identifier.
Parse a URI into jar levels.
The outermost-first zip entry names to find the resource
underlying a JarURI
.
The outermost-first zip entry names to find the resource
underlying a JarURI
.
Parsing Jar URIs and extracting them to disk.