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

xml.source

Class XM_URI_SOURCE


Direct ancestors

XM_SOURCE

Known direct descendants

XM_DEFAULT_URI_SOURCE, XM_FILE_SOURCE

Features

Invariants

indexing

description

Abstract definition of the source of an XML document that %
%has been retrieved via an URI

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2001, Andreas Leitner and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2003/02/07 13:12:39 $

revision

$Revision: 1.10 $

deferred class

XM_URI_SOURCE

inherit

XM_SOURCE

feature -- Access

uri: STRING

-- URI for the source of the XML document

feature -- Output

out: STRING

-- Textual representation

-- (From ANY)

invariant

uri_not_void: uri /= Void

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

end