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

xml.resolver.catalog

Class XM_SUFFIX_CATALOG_ENTRY



Creation

Features

Invariants

indexing

description

Objects that represent a systemSuffix or uriSuffix entry in an XM_CATALOG

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2005, 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_SUFFIX_CATALOG_ENTRY

create

make (a_suffix_string: STRING; a_target_uri: UT_URI)

-- Establish invariant.

require
target_uri_not_void: a_target_uri /= Void and then a_target_uri.is_absolute
suffix_string_not_void: a_suffix_string /= Void
ensure
suffix_string_set: suffix_string = a_suffix_string
target_set: target_uri = a_target_uri

feature -- Access

count: INTEGER

-- length of suffix_string

suffix_string: STRING

-- System-id or URI suffix

target: STRING

-- URI to be used

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
suffix_string_not_void: suffix_string /= Void
correct_count: suffix_string.count = count

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

end