PartialUriResolvers

Partial URI resolvers, converting an URI to a SAX InputSource.

Partial URI resolvers, converting an URI to a SAX InputSource.

Note that the only fundamental methods in this singleton object are fromPartialUriConverter and its counterpart for ZIP files, namely forZipFile.

Authors

Chris de Vreeze

class Object
trait Matchable
class Any

Type members

Types

type PartialUriResolver = URI => Option[InputSource]

Value members

Concrete methods

def forZipFile(zipFile: ZipFile, partialUriConverter: URI => Option[URI]): PartialUriResolver

Creates a PartialUriResolver for a ZIP file, using the given partial URI converter. This partial URI converter must return only relative URIs.

Creates a PartialUriResolver for a ZIP file, using the given partial URI converter. This partial URI converter must return only relative URIs.

The created PartialUriResolver is defined for the same URIs as the input PartialUriConverter.

The ZIP file should be closed after use (typically when the taxonomy has been loaded), thus closing all its entry input streams.

def forZipFileUsingCatalog(zipFile: ZipFile, catalog: SimpleCatalog): PartialUriResolver

Returns forZipFile(zipFile, PartialUriConverters.fromCatalog(catalog)).

Returns forZipFile(zipFile, PartialUriConverters.fromCatalog(catalog)).

Returns fromPartialUriConverter(PartialUriConverters.fromCatalog(catalog)).

Returns fromPartialUriConverter(PartialUriConverters.fromCatalog(catalog)).

def fromPartialUriConverter(partialUriConverter: URI => Option[URI]): PartialUriResolver

Creates a PartialUriResolver from a partial URI converter. Typically the URI converter converts HTTP(S) URIs to file protocol URIs, but it must in any case return only absolute URIs.

Creates a PartialUriResolver from a partial URI converter. Typically the URI converter converts HTTP(S) URIs to file protocol URIs, but it must in any case return only absolute URIs.

The created PartialUriResolver is defined for the same URIs as the input PartialUriConverter.

def fromUriResolver(uriResolver: URI => InputSource, filterUri: URI => Boolean): PartialUriResolver

Creates a PartialUriResolver from the given UriResolver, returning None for all URIs for which the URI filter returns false.

Creates a PartialUriResolver from the given UriResolver, returning None for all URIs for which the URI filter returns false.

def fromUriResolver(uriResolver: URI => InputSource): PartialUriResolver

Returns fromUriResolver(uriResolver, _ => true).

Returns fromUriResolver(uriResolver, _ => true).

Concrete fields