EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.processing

Class EDOC_INDEX_ENTRY


Known direct descendants

EDOC_CLUSTER_INDEX_ENTRY, EDOC_CLASS_INDEX_ENTRY, EDOC_FEATURE_INDEX_ENTRY, EDOC_CREATOR_INDEX_ENTRY

Features

Invariants

indexing

description

Entry of global index

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

deferred class EDOC_INDEX_ENTRY

feature -- Access

index_name: STRING

-- String representation of index
-- This is used to sort the index and should be lowercase

feature -- Processing

process (a_processor: EDOC_INDEX_PROCESSOR)

-- Process entry with a_processor.

require

a_processor_not_void: a_processor /= Void
deferred

invariant

index_name_not_void: index_name /= Void

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