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

xml.parser.eiffel

Class XM_EIFFEL_DECLARATION



Creation

Features

Invariants

indexing

description

XML declaration

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2003, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/07/13 19:48:54 $

revision

$Revision: 1.3 $

class

XM_EIFFEL_DECLARATION

create

make

-- Initialize.

feature -- Setting

set_encoding (a: STRING)

-- Set encoding

require
not_void: a /= Void
set_stand_alone (a: BOOLEAN)

-- Set stand alone status.

set_version (a: STRING)

-- Set version.

require
not_void: a /= Void

feature -- Event(s)

process (a_callback: XM_CALLBACKS)

-- Process XML declaration events.

require
not_void: a_callback /= Void

feature -- Attribute(s)

encoding: STRING

-- XML encoding.

stand_alone: BOOLEAN

-- Standalone document?

version: STRING

-- Version

invariant

version_not_void: version /= Void
encoding_not_void: encoding /= Void

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

end