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

em.goof.loader

Class EM_GOOF_LOADER_XML_ADAPTOR



Features

Invariants

indexing

description

Adaptor used to adapt the city parser to parse and process visualization elements

date

$Date: 2005/10/23 10:25:26 $

revision

$Revision: 1.5 $

class

EM_GOOF_LOADER_XML_ADAPTOR

feature -- Basic operations

adapt_xml_registry (a_level_parser: EM_GOOF_LOADER_LEVEL_PARSER)

-- Add new node_processors to a_level_parser.

require
a_level_parser_exists: a_level_parser /= Void

invariant

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

end