JvmUrl

Parses string into a JvmUrl, via toUrl.

Builds a JvmUrl from its protocol/host/port/path/query components, via Url.toString.

The host component of this Url, or the empty string for isFile URLs.

Whether this Url's protocol is "file".

Whether this Url's protocol starts with "http" (i.e. is "http" or "https").

The path component of this Url, e.g. /path/to/resource.

The port component of this Url, or null if unspecified.

The scheme this Url uses, e.g. "file", "http", "https".

The query component of this Url (everything between ? and an optional #anchor), or null if absent.

Operator alias for resolve, so that url / "child" reads like a path-append.

Opens this Url for reading, e.g. to back open(Url, read, Stream) (see it.unibo.tuprolog.solve.libs.io.primitives.Open3) or it.unibo.tuprolog.solve.libs.io.primitives.Consult.

Under Node, streams a local file lazily off disk. Everywhere else (browser-local or any remote resource), eagerly reads the whole resource via Url.readAsText into an in-memory InputChannel instead, since Okio has no synchronous file system for browsers and this module has no HTTP streaming client (see fetch).

Streams a local file lazily off disk via LocalFileSystem; for any non-Url.isFile URL (http(s), ...), lazily streams from java.net.URL.openStream, unlike the JS implementation which eagerly buffers remote resources in full.

Opens this Url for writing (or, if append, for appending), e.g. to back open(Url, write, Stream) (see it.unibo.tuprolog.solve.libs.io.primitives.Open3).

Only supported for local files under Node: browsers have no writable local file system, and this module never supports writing to remote resources (on any platform).

Only supported for Url.isFile URLs: writing to a remote resource is never supported (on any platform).

Builds the Url obtained by appending child as a further path segment of this one.

Unwraps this Url into a plain java.net. URL, for interop with JVM APIs that require one.