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

xml.resolver.catalog

Class XM_SHARED_CATALOG_MANAGER


Known direct descendants

XM_OASIS_XML_CATALOG_FILTER, XM_CATALOG_RESOLVER, XM_CATALOG, XM_STRING_URI_RESOLVER, XM_XSLT_URI_SOURCE, XM_XSLT_STRING_SOURCE

Features

Invariants

indexing

description

Objects that provide shared access to a singleton catalog manager

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2004, Colin Adams and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/09/12 05:43:10 $

revision

$Revision: 1.1 $

class

XM_SHARED_CATALOG_MANAGER

feature -- Access

shared_catalog_manager: XM_CATALOG_MANAGER

-- Shared catalog manager

ensure
shared_catalog_manager_not_void: Result /= Void

invariant

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

end