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

xml.parser.eiffel

Class XM_EIFFEL_PARSER_FACTORY


Direct ancestors

XM_PARSER_FACTORY

Known direct descendants

XM_XSLT_TRANSFORMER_FACTORY

Features

Invariants

indexing

description

Factories for Eiffel XML parsers

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2003/02/07 13:11:41 $

revision

$Revision: 1.3 $

class

XM_EIFFEL_PARSER_FACTORY

inherit

XM_PARSER_FACTORY

feature -- Access

new_eiffel_parser: XM_PARSER

-- New Eiffel XML parser

-- (From XM_PARSER_FACTORY)

require
parser_available: is_parser_available
ensure
parser_not_void: Result /= Void

feature -- Status report

is_eiffel_parser_available: BOOLEAN

-- Is Eiffel XML parser available?

-- (From XM_PARSER_FACTORY)

invariant


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

end