EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.processing

Class EDOC_FEATURE_INDEX_ENTRY


Direct ancestors

EDOC_INDEX_ENTRY

Creation

Features

Invariants

indexing

description

Index entry of a feature

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_FEATURE_INDEX_ENTRY

inherit

EDOC_INDEX_ENTRY

create

make (a_feature: ET_FEATURE)

-- Initialise with a_feature.

require

a_feature_not_void: a_feature /= Void

ensure

et_feature_set: et_feature = a_feature

feature -- Access

index_name: STRING

-- String representation of index
-- This is used to sort the index and should be lowercase
-- (From EDOC_INDEX_ENTRY)

et_feature: ET_FEATURE

-- Feature of entry

feature -- Processing

process (a_processor: EDOC_INDEX_PROCESSOR)

-- Process cluster entry with a_processor.
-- (From EDOC_INDEX_ENTRY)

require

a_processor_not_void: a_processor /= Void

invariant

et_feature_not_void: et_feature /= Void

-- From EDOC_INDEX_ENTRY
index_name_not_void: index_name /= Void

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