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

xml.tree

Class XM_TREE_TO_EVENTS


Direct ancestors

XM_NODE_PROCESSOR

Creation

Features

Invariants

indexing

description

Emit events from a tree

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2004, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/07/13 19:49:04 $

revision

$Revision: 1.2 $

class

XM_TREE_TO_EVENTS

inherit

XM_NODE_PROCESSOR

create

make (an_events: like events)

-- Set events sink.

require
an_events_not_void: an_events /= Void
ensure
set: events = an_events

feature -- Node processor

process_attribute (an_attribute: XM_ATTRIBUTE)

-- (From XM_NODE_PROCESSOR)

require
att_not_void: att /= Void
process_character_data (a_data: XM_CHARACTER_DATA)

-- Process character data .

-- (From XM_NODE_PROCESSOR)

require
c_not_void: c /= Void
process_comment (a_comment: XM_COMMENT)

-- (From XM_NODE_PROCESSOR)

require
com_not_void: com /= Void
process_document (a_document: XM_DOCUMENT)

-- (From XM_NODE_PROCESSOR)

require
doc_not_void: doc /= Void
process_element (an_element: XM_ELEMENT)

-- Process element.

-- (From XM_NODE_PROCESSOR)

require
e_not_void: e /= Void
process_processing_instruction (a_pi: XM_PROCESSING_INSTRUCTION)

-- Process processing instruction a_pi.

-- (From XM_NODE_PROCESSOR)

require
a_pi_not_void: a_pi /= Void

feature -- Processing

process_attributes (e: XM_ELEMENT)

-- Process attributes of element e.

-- (From XM_NODE_PROCESSOR)

require
e_not_void: e /= Void

feature -- Status

invariant


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

end