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

xml.parser.interface

Class XM_PARSER_FACTORY


Known direct descendants

XM_EXPAT_PARSER_FACTORY, XM_EIFFEL_PARSER_FACTORY

Features

Invariants

indexing

description

Factory interface for 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:08 $

revision

$Revision: 1.2 $

deferred class

XM_PARSER_FACTORY

feature -- Access

new_parser: XM_PARSER

-- New XML parser

require
parser_available: is_parser_available
ensure
parser_not_void: Result /= Void

feature -- Status report

is_parser_available: BOOLEAN

-- Is XML parser available?

invariant

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

end