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

xml.resolver.resolver_interface

Class XM_URI_REFERENCE_RESOLVER


Direct ancestors

XM_RESOLVER_MEDIA_TYPE

Known direct descendants

XM_SIMPLE_URI_EXTERNAL_RESOLVER, XM_CATALOG_RESOLVER, XM_CATALOG_BOOTSTRAP_RESOLVER

Features

Invariants

indexing

description

Objects that resolve URI references

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2004, Colin Adams and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/04/10 12:39:55 $

revision

$Revision: 1.4 $

deferred class

XM_URI_REFERENCE_RESOLVER

inherit

XM_RESOLVER_MEDIA_TYPE

feature -- Action

resolve_uri (a_uri_reference: STRING)

-- Resolve a_uri_reference on behalf of an application.

require
uri_reference_not_void: a_uri_reference /= Void

feature -- Result

has_media_type: BOOLEAN

-- Is the media type available.

-- (From XM_RESOLVER_MEDIA_TYPE)

has_uri_reference_error: BOOLEAN

-- Did the last resolution attempt succeed?

last_media_type: UT_MEDIA_TYPE

-- Media type, if available.

-- (From XM_RESOLVER_MEDIA_TYPE)

require
has_media_type: has_media_type
ensure
result_not_void: Result /= Void
last_system_id: UT_URI

-- System id used to actually open last_uri_reference_stream

require
not_error: not has_uri_reference_error
ensure
not_void: Result /= Void
last_uri_reference_error: STRING

-- Last error message.

require
ensure
not_void: Result /= Void
last_uri_reference_stream: KI_CHARACTER_INPUT_STREAM

-- Last stream initialised from URI reference.

require
not_error: not has_uri_reference_error
ensure
not_void: Result /= Void

invariant


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

end