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

xml.formatter

Class XM_FORMATTER


Direct ancestors

XM_NODE_PROCESSOR, KL_SHARED_STREAMS, XM_MARKUP_CONSTANTS

Known direct descendants

XM_RESOLVED_FORMATTER

Creation

Features

Invariants

indexing

description

Generators of XML documents from XML trees (wrapper for output filters)

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:47:50 $

revision

$Revision: 1.30 $

class

XM_FORMATTER

inherit

XM_NODE_PROCESSOR

create

make

-- Create a new XML formatter.

feature -- Initialization

wipe_out

-- Clear last_string.

obsolete

Not meaningful now that streams are used

feature -- Access

set_output (an_output: like last_output)

-- Set output stream.

require
not_void: an_output /= Void

feature -- Tree processor routines

process_document (a_document: XM_DOCUMENT)

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

-- (From XM_NODE_PROCESSOR)

require
doc_not_void: doc /= Void

feature -- Debugging options

exclude_position

-- Specify that node positions will not be kept.

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.

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?

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

last_output_not_void: last_output /= Void

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

end