Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

xml.resolver.resolver_interface

Class XM_RESOLVER_FACTORY


Direct ancestors

UT_SHARED_FILE_URI_ROUTINES, KL_SHARED_FILE_SYSTEM, KL_IMPORTED_STRING_ROUTINES

Known direct descendants

XM_XSLT_CONFIGURATION, XM_XPATH_EVALUATOR, XM_XPATH_STAND_ALONE_DYNAMIC_CONTEXT

Features

Invariants

indexing

description

Convenience class to setup common versions of resolvers

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2004, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/03/05 20:53:14 $

revision

$Revision: 1.6 $

class

XM_RESOLVER_FACTORY

feature -- Access

new_catalog_resolver: XM_CATALOG_RESOLVER

-- As new_resolver_current_directory plues indirection through OASIS XML Catalogs

new_file_resolver: XM_URI_EXTERNAL_RESOLVER

-- Resolver for "file:" scheme

ensure
result_not_void: Result /= Void
new_file_resolver_current_directory: XM_URI_EXTERNAL_RESOLVER

-- Resolver for "file:" scheme with default set
-- to the current directory

ensure
result_not_void: Result /= Void
new_file_resolver_with_uri (a_uri: UT_URI): XM_URI_EXTERNAL_RESOLVER

-- Resolver for "file:" scheme with default URI

require
a_uri_not_void: a_uri /= Void
ensure
result_not_void: Result /= Void
new_resolver: XM_URI_EXTERNAL_RESOLVER

-- Resolver for all schemes implemented within Gobo (other than string:)

ensure
result_not_void: Result /= Void
new_resolver_current_directory: XM_URI_EXTERNAL_RESOLVER

-- Resolver for all schemes implemented within Gobo (other than string:), with default set
-- to the current directory

ensure
result_not_void: Result /= Void
new_resolver_with_uri (a_uri: UT_URI): XM_URI_EXTERNAL_RESOLVER

-- Resolver for all schemes implemented within Gobo (other than string:), with default URI

require
a_uri_not_void: a_uri /= Void
ensure
result_not_void: Result /= Void

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end