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

xml.event

Class XM_DTD_EXTERNAL_ID


Direct ancestors

HASHABLE, KL_IMPORTED_STRING_ROUTINES

Creation

Features

Invariants

indexing

description

External identifiers in DTD

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

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

revision

$Revision: 1.12 $

class

XM_DTD_EXTERNAL_ID

inherit

HASHABLE

create

make

-- Create a new external ID.

feature -- Access

base: STRING

-- Base URI

hash_code: INTEGER

-- Hash code

-- (From HASHABLE)

ensure
good_hash_value: Result >= 0
public_id: STRING

-- PUBLIC

system_id: STRING

-- SYSTEM

feature -- Status report

is_hashable: BOOLEAN

-- May current object be hashed?
-- (True if it is not its type's default.)

-- (From HASHABLE)

ensure
ok_if_not_default: Result implies (Current /= default)
is_public: BOOLEAN

--- Is public_id defined?

feature -- Setting

set_base (a_base: like base)

-- Set base URI.

ensure
base_set: base = a_base
set_public (a_public_id: like public_id)

-- Set PUBLIC.

ensure
public_id_set: public_id = a_public_id
set_system (a_system_id: like system_id)

-- Set SYSTEM.

ensure
system_id_set: system_id = a_system_id

feature -- Output

out: STRING

-- Print as in input.

-- (From ANY)

invariant

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

end