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

em.goof.loader

Class EM_GOOF_LOADER_NODE_PROCESSOR_REGISTRY


Known direct descendants

EM_GOOF_LOADER_NODE_PROCESSOR, EM_GOOF_LOADER_LEVEL_PARSER

Features

Invariants

indexing

description

Shared registry of known XML node processors.

date

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

revision

$Revision: 1.3 $

class

EM_GOOF_LOADER_NODE_PROCESSOR_REGISTRY

feature -- Status setting

level: EM_GOOF_PHYSICS

-- Map that is built.

level_factory: EM_GOOF_LOADER_LEVEL_FACTORY

-- Reference to the goof level factory.

processor_registered (a_processor: EM_GOOF_LOADER_NODE_PROCESSOR): BOOLEAN

-- Is a_processor registered?

set_level_factory (a_factory: EM_GOOF_LOADER_LEVEL_FACTORY)

-- Set level reference.

ensure
level_factory_set: level_factory = a_factory

feature -- Basic operations

register_allowed_subnode (a_parent_name: STRING; a_subnode_name: STRING)

-- Register processor with name a_subnode_name as allowed subnode of processor with name a_parent_name.
-- Use register_processor for new node types and
-- register_allowed_subnode for registering their subnode types.

register_processor (a_processor: EM_GOOF_LOADER_NODE_PROCESSOR)

-- Register a_processor in registry.

require
processor_exists: a_processor /= Void
not_registered: not processor_registered (a_processor)
ensure
registered: Processor_registry.has_item (a_processor)

invariant

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

end