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

xml.tree

Class XM_NODE_PROCESSOR


Known direct descendants

XM_NODE_TYPER, XM_TREE_TO_EVENTS, XM_FORMATTER, XM_UNIQUE_NAMESPACE_PREFIXES

Features

Invariants

indexing

description

Visitor pattern for XML node objects. Inherit and %
%redefine to make use of this pattern

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:55 $

revision

$Revision: 1.11 $

class

XM_NODE_PROCESSOR

feature -- Processing

process_attribute (att: XM_ATTRIBUTE)

-- Process attribute att.

require
att_not_void: att /= Void
process_attributes (e: XM_ELEMENT)

-- Process attributes of element e.

require
e_not_void: e /= Void
process_character_data (c: XM_CHARACTER_DATA)

-- Process character data c.

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

-- Process comment com.

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

-- Process document doc.

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

-- Process element e.

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

-- Process processing instruction a_pi.

require
a_pi_not_void: a_pi /= Void

invariant

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

end