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

xml.source

Class XM_DEFAULT_URI_SOURCE


Direct ancestors

XM_URI_SOURCE

Creation

Features

Invariants

indexing

description

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: 2005/07/13 19:49:03 $

revision

$Revision: 1.12 $

class

XM_DEFAULT_URI_SOURCE

inherit

XM_URI_SOURCE

create

make (a_uri: STRING)

-- Create a new URI.

require
a_uri_not_void: a_uri /= Void
ensure
uri_set: uri = a_uri

feature -- Access

uri: STRING

-- URI for the source of the XML document

-- (From XM_URI_SOURCE)

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