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

xml.formatter

Class XM_RESOLVED_FORMATTER


Direct ancestors

XM_FORMATTER

Creation

Features

Invariants

indexing

description

Formatter that displays resolved namespaces for debugging (not valid XML)

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2003, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/07/13 19:47:50 $

revision

$Revision: 1.7 $

class

XM_RESOLVED_FORMATTER

obsolete

Use XM_XMLNS_GENERATOR and XM_NAMESPACE_PRETTY_PRINT_FILTER directly

inherit

XM_FORMATTER

create

make

-- Create a new XML formatter.

-- (From XM_FORMATTER)

feature -- Initialization

wipe_out

-- Clear last_string.

-- (From XM_FORMATTER)

obsolete

Not meaningful now that streams are used

feature -- Access

set_output (an_output: like last_output)

-- Set output stream.

-- (From XM_FORMATTER)

require
not_void: an_output /= Void

feature -- Tree processor routines

process_document (a_document: XM_DOCUMENT)

-- Process document using xmlns generator and
-- pretty print with namespaces filters.

-- (From XM_NODE_PROCESSOR)

require
doc_not_void: doc /= Void

feature -- Debugging options

exclude_position

-- Specify that node positions will not be kept.

-- (From XM_FORMATTER)

obsolete

position not supported in filters

ensure
position_included: not is_position_included
include_position (a_pos_table: XM_POSITION_TABLE)

-- Specify that node positions will be kept in a_pos_table.

-- (From XM_FORMATTER)

obsolete

position not supported in filters

require
a_pos_table_not_void: a_pos_table /= Void
ensure
position_included: is_position_included
is_position_included: BOOLEAN

-- Are node positions kept?

-- (From XM_FORMATTER)

ensure
not_supported: False

feature -- Processing

process_attribute (att: XM_ATTRIBUTE)

-- Process attribute att.

-- (From XM_NODE_PROCESSOR)

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

-- Process attributes of element e.

-- (From XM_NODE_PROCESSOR)

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

-- Process character data c.

-- (From XM_NODE_PROCESSOR)

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

-- Process comment com.

-- (From XM_NODE_PROCESSOR)

require
com_not_void: com /= Void
process_element (e: XM_ELEMENT)

-- Process element e.

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

invariant

-- From XM_FORMATTER
last_output_not_void: last_output /= Void

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

end