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

xml.source

Class XM_FILE_SOURCE


Direct ancestors

XM_URI_SOURCE, KL_IMPORTED_STRING_ROUTINES

Creation

Features

Invariants

indexing

description

Files as source of XML documents

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.10 $

class

XM_FILE_SOURCE

obsolete

Use XM_POSITION instead

inherit

XM_URI_SOURCE

create

make (a_filename: STRING)

-- Create a new file source.

require
a_filename_not_void: a_filename /= Void
ensure
filename_set: filename = a_filename

feature -- Access

filename: STRING

-- File name

uri: STRING

-- File URI

-- (From XM_URI_SOURCE)

feature -- Output

out: STRING

-- Textual representation

-- (From ANY)

invariant

filename_not_void: filename /= Void

uri_not_void: uri /= Void

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

end