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

xml.event

Class XM_DTD_PRETTY_PRINT_FILTER


Direct ancestors

XM_DTD_CALLBACKS_FILTER, XM_OUTPUT

Creation

Features

Invariants

indexing

description

Print DTD declaration events

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:45:03 $

revision

$Revision: 1.3 $

class

XM_DTD_PRETTY_PRINT_FILTER

inherit

XM_DTD_CALLBACKS_FILTER
XM_OUTPUT

create

make_null

-- Next is null processor.

-- (From XM_DTD_CALLBACKS_FILTER)

set_next (a_next: like next)

-- Set receiver of forwarded events.

-- (From XM_DTD_CALLBACKS_SOURCE)

require
a_callback_not_void: a_callback /= Void

feature -- Access

: XM_DTD_CALLBACKS

-- Receiver for forwarded events

-- (From XM_DTD_CALLBACKS_FILTER)

set_next (a_next: like next)

-- Set receiver of forwarded events.

-- (From XM_DTD_CALLBACKS_SOURCE)

require
a_callback_not_void: a_callback /= Void

feature -- Document type definition callbacks

on_attribute_declaration (an_element_name, a_name: STRING; a_model: XM_DTD_ATTRIBUTE_CONTENT)

-- Attribute declaration, one event per attribute.

-- (From XM_DTD_CALLBACKS)

require
an_element_name_not_void: an_element_name /= Void
a_name_not_void: a_name /= Void
a_model_not_void: a_model /= Void
on_doctype (a_name: STRING; an_id: XM_DTD_EXTERNAL_ID; has_internal_subset: BOOLEAN)

-- Document type declaration.

-- (From XM_DTD_CALLBACKS)

require
a_name_not_void: a_name /= Void
on_dtd_comment (a_content: STRING)

-- Comment.

-- (From XM_DTD_CALLBACKS)

require
a_content_not_void: a_content /= Void
on_dtd_end

-- End of DTD.

-- (From XM_DTD_CALLBACKS)

on_dtd_processing_instruction (a_name, a_content: STRING)

-- PI.

-- (From XM_DTD_CALLBACKS)

require
name_not_void: a_name /= Void
content_not_void: a_content /= Void
on_element_declaration (a_name: STRING; a_model: XM_DTD_ELEMENT_CONTENT)

-- (From XM_DTD_CALLBACKS)

require
a_name_not_void: a_name /= Void
a_model_not_void: a_model /= Void
on_entity_declaration (entity_name: STRING; is_parameter: BOOLEAN; value: STRING;an_id: XM_DTD_EXTERNAL_ID; notation_name: STRING)

-- Entity declaration.

-- (From XM_DTD_CALLBACKS)

require
entity_name_not_void: entity_name /= Void
on_notation_declaration (notation_name: STRING; an_id: XM_DTD_EXTERNAL_ID)

-- Notation declaration.

-- (From XM_DTD_CALLBACKS)

require
notation_name_not_void: notation_name /= Void
id_not_void: an_id /= Void

feature -- Output, interface to descendants

output (a_string: STRING)

-- Output string.
-- All output from descendants should go through this for
-- convenient redefinition.

-- (From XM_OUTPUT)

require
a_string_not_void: a_string /= Void

feature -- Output

last_output: STRING

-- Last output;
-- May be void if standard output or stream is used.

-- (From XM_OUTPUT)

set_output_standard

-- Set output to standard output (Default).

-- (From XM_OUTPUT)

set_output_standard_error

-- Set output to standard error.

-- (From XM_OUTPUT)

set_output_stream (a_stream: like output_stream)

-- Set output to stream.

-- (From XM_OUTPUT)

require
a_stream_not_void: a_stream /= Void
set_output_string (a_string: like last_output)

-- Initialize output to given string,
-- the result must still be collected from
-- last_output, which may be another string.

-- (From XM_OUTPUT)

require
a_string_not_void: a_string /= Void
set_output_to_string

-- Set output to new string.

-- (From XM_OUTPUT)

ensure
last_output_not_void: last_output /= Void
last_output_empty: last_output.count = 0

invariant

next_not_void: next /= Void

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

end