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

xml.tree

Class XM_NODE_TYPER


Direct ancestors

XM_NODE_PROCESSOR

Features

Invariants

indexing

description

Get static type of an XML node object without a reverse assignment

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2001, Andreas Leitner and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/06/07 07:33:29 $

revision

$Revision: 1.5 $

class

XM_NODE_TYPER

inherit

XM_NODE_PROCESSOR

feature -- Access

attribute: XM_ATTRIBUTE

-- xml_attribute alias.

obsolete

renamed to xml_attribute to avoid conflict with future Eiffel keyword

ensure
synonym: Result = xml_attribute
character_data: XM_CHARACTER_DATA

-- Character data
-- require type_ok: is_character_data
-- ensure not_void: Result /= Void

comment: XM_COMMENT

-- Comment
-- require type_ok: is_comment
-- ensure not_void: Result /= Void

composite: XM_COMPOSITE

-- Composite
-- require type_ok: is_composite
-- ensure not_void: Result /= Void

document: XM_DOCUMENT

-- Document
-- require type_ok: is_document
-- ensure not_void: Result /= Void

element: XM_ELEMENT

-- Element
-- require type_ok: is_element
-- ensure not_void: Result /= Void

processing_instruction: XM_PROCESSING_INSTRUCTION

-- Processing instruction
-- require type_ok: is_processing_instruction
-- ensure not_void: Result /= Void

xml_attribute: XM_ATTRIBUTE

-- Attribute
-- require type_ok: is_attribute
-- ensure not_void: Result /= Void

feature -- Status report

is_attribute: BOOLEAN

-- Attribute?

is_character_data: BOOLEAN

-- Character data?

is_comment: BOOLEAN

-- Comment?

is_composite: BOOLEAN

-- Composite?

ensure
consistent: Result = (is_element or is_document)
is_document: BOOLEAN

-- Document?

is_element: BOOLEAN

-- Element?

is_processing_instruction: BOOLEAN

-- Processing instruction?

feature

process_attribute (a: XM_ATTRIBUTE)

-- Attribute.

-- (From XM_NODE_PROCESSOR)

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

-- Character data.

-- (From XM_NODE_PROCESSOR)

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

-- Comment.

-- (From XM_NODE_PROCESSOR)

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

-- Root.

-- (From XM_NODE_PROCESSOR)

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

-- Element.

-- (From XM_NODE_PROCESSOR)

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

-- Processing instruction.

-- (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

invariant


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

end