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

xml.resolver.resolver_interface

Class XM_RESOLVER_MEDIA_TYPE


Known direct descendants

XM_URI_EXTERNAL_RESOLVER, XM_URI_REFERENCE_RESOLVER

Features

Invariants

indexing

description

Resolvers that may report a media type

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2005, Colin Adams and others

license

Eiffel Forum License v2 (see forum.txt)

date

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

revision

$Revision: 1.1 $

deferred class

XM_RESOLVER_MEDIA_TYPE

feature -- Result

has_media_type: BOOLEAN

-- Is the media type available.

last_media_type: UT_MEDIA_TYPE

-- Media type, if available.

require
has_media_type: has_media_type
ensure
result_not_void: Result /= Void

invariant

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

end