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

xml.parser.no_expat

Class XM_EXPAT_PARSER_FACTORY


Direct ancestors

XM_PARSER_FACTORY

Features

Invariants

indexing

description

Factories for Expat XML parsers

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2001, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2003/02/07 13:12:18 $

revision

$Revision: 1.5 $

class

XM_EXPAT_PARSER_FACTORY

inherit

XM_PARSER_FACTORY

feature -- Access

new_expat_parser: XM_PARSER

-- New Expat XML parser

-- (From XM_PARSER_FACTORY)

require
parser_available: is_parser_available
ensure
parser_not_void: Result /= Void
ensure then
not_possible: False

feature -- Status report

is_expat_available: BOOLEAN

-- Is Expat XML parser available?

obsolete

[020812] Use is_expat_parser_available instead.

is_expat_parser_available: BOOLEAN

-- Is Expat XML parser available?

-- (From XM_PARSER_FACTORY)

invariant


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

end