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

xml.resolver.catalog

Class XM_PUBLIC_CATALOG_ENTRY


Direct ancestors

XM_CATALOG_ENTRY

Creation

Features

Invariants

indexing

description

Objects that represent a public entry in an XM_CATALOG

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2004, Colin Adams and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/07/13 19:49:02 $

revision

$Revision: 1.2 $

class

XM_PUBLIC_CATALOG_ENTRY

inherit

XM_CATALOG_ENTRY

create

make (a_target_uri: UT_URI; a_prefer_public: BOOLEAN)

-- Establish invariant.

require
target_uri_not_void: a_target_uri /= Void and then a_target_uri.is_absolute
ensure
prefer_public_set: prefer_public = a_prefer_public
target_set: target_uri = a_target_uri

feature -- Access

prefer_public: BOOLEAN

-- Was prefer="public" in effect when this entry was encountered?

target: STRING

-- URI to be used

-- (From XM_CATALOG_ENTRY)

ensure
target_has_scheme: Result /= Void and then Result.count > 2

invariant

target_uri_is_absolute: target_uri /= Void and then target_uri.is_absolute

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

end