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

xml.tree

Class XM_TREE_CALLBACKS_PIPE


Direct ancestors

XM_CALLBACKS_FILTER_FACTORY

Creation

Features

Invariants

indexing

description

Standard pipe of callbacks filter leading to construction of a tree of XM_NODEs

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

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

revision

$Revision: 1.3 $

class

XM_TREE_CALLBACKS_PIPE

create

make

-- Create a new pipe.

feature -- Filters (part of the pipe)

error: XM_STOP_ON_ERROR_FILTER

-- Error collector

last: XM_CALLBACKS_FILTER

-- Last element in the pipe, to which further filters can be added

start: XM_CALLBACKS_FILTER

-- Starting point for XM_CALLBACKS_SOURCE (e.g. parser)

tree: XM_CALLBACKS_TO_TREE_FILTER

-- Tree construction

feature -- Shortcuts

document: XM_DOCUMENT

-- Document (from tree building filter)

require
not_error: not error.has_error
last_error: STRING

-- Error (from error filter)

require
error: error.has_error
ensure
last_error_not_void: Result /= Void

invariant

tree_not_void: tree /= Void
error_not_void: error /= Void

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

end