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

xml.tree

Class XM_CHARACTER_DATA


Direct ancestors

XM_ELEMENT_NODE, KL_IMPORTED_STRING_ROUTINES

Creation

Features

Invariants

indexing

description

XML character data nodes (plain text)

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

revision

$Revision: 1.20 $

class

XM_CHARACTER_DATA

inherit

XM_ELEMENT_NODE
KL_IMPORTED_STRING_ROUTINES

create

make (a_parent: XM_ELEMENT; c: like content)

-- Create a new character data node.

require
a_parent_not_void: a_parent /= Void
c_not_void: c /= Void
ensure
parent_set: parent = a_parent
content_set: content = c
make_last (a_parent: XM_ELEMENT; c: like content)

-- Create a new character data node,
-- and add it to parent.

require
a_parent_not_void: a_parent /= Void
c_not_void: c /= Void
ensure
parent_set: parent = a_parent
in_parent: parent.last = Current
content_set: content = c

feature -- Access

string_: KL_STRING_ROUTINES

-- Routines that ought to be in class STRING

-- (From KL_IMPORTED_STRING_ROUTINES)

ensure
string_routines_not_void: Result /= Void
content: STRING

-- Actual character data

parent: XM_COMPOSITE

-- Parent of current node;
-- Void if current node is root

-- (From XM_NODE)

feature -- Status report

is_first: BOOLEAN

-- Is this node the first in its parent's child list,
-- or the root node?

-- (From XM_NODE)

ensure
definition: Result = (is_root_node or else (parent.first = Current))
is_last: BOOLEAN

-- Is this node the last in its parent's child list,
-- or the root node?

-- (From XM_NODE)

ensure
definition: Result = (is_root_node or else (parent.last = Current))
is_root_node: BOOLEAN

-- Is current node the root node?

-- (From XM_NODE)

ensure
definition: Result = (parent = Void)
level: INTEGER

-- Depth at which current node appears relative to its root
-- (The root node has the level 1.)

-- (From XM_NODE)

ensure
root_level: is_root_node implies (Result = 1)
parent_element: XM_ELEMENT

-- Parent element.

-- (From XM_NODE)

require
not_root_node: not is_root_node
not_root_element: not parent.is_root_node
ensure
result_not_void: Result /= Void
root_node: XM_DOCUMENT

-- Root node of current node

-- (From XM_NODE)

ensure
result_not_void: Result /= Void

feature -- Element change

append_content (other: like Current)

-- Append the content of 'other' to
-- the content of Current.

require
other_not_void: other /= Void
ensure
appended_count: content.count = other.content.count + old (content.count)
appended: STRING_.same_string (other.content,content.substring (content.count - other.content.count + 1, content.count))
node_set_parent (a_parent: like parent)

-- Set parent to a_parent.

-- (From XM_NODE)

ensure
parent_set: parent = a_parent
set_content (a_content: STRING)

-- Set content.

require
a_content_not_void: a_content /= Void
ensure
set: content = a_content
same_string: STRING_.same_string (content, a_content)
set_parent (a_parent: like parent)

-- Set parent to a_parent.

-- (From XM_NODE)

require
a_parent_not_void: a_parent /= Void
not_root_node: not is_root_node
ensure
parent_set: parent = a_parent

feature -- Duplication

cloned_object: like Current

-- Clone of current object

-- (From KL_CLONABLE)

ensure
cloned_not_void: Result /= Void
same_type: ANY_.same_types (Result, Current)
is_equal: Result.is_equal (Current)

feature -- Processing

process (a_processor: XM_NODE_PROCESSOR)

-- Process current node with a_processor.

-- (From XM_NODE)

require
a_processor_not_void: a_processor /= Void

invariant

content_not_void: content /= Void


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

end