EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.processing

Class EDOC_INDEX_PROCESSOR


Known direct descendants

EDOC_HTML_INDEX_FILE

Features

Invariants

indexing

description

Index processor

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

deferred class EDOC_INDEX_PROCESSOR

feature -- Processing

process_class_entry (an_entry: EDOC_CLASS_INDEX_ENTRY)

-- Process an_entry.

require

an_entry_not_void: an_entry /= Void
deferred

process_cluster_entry (an_entry: EDOC_CLUSTER_INDEX_ENTRY)

-- Process an_entry.

require

an_entry_not_void: an_entry /= Void
deferred

process_creator_entry (an_entry: EDOC_CREATOR_INDEX_ENTRY)

-- Process an_entry.

require

an_entry_not_void: an_entry /= Void
deferred

process_feature_entry (an_entry: EDOC_FEATURE_INDEX_ENTRY)

-- Process an_entry.

require

an_entry_not_void: an_entry /= Void
deferred

invariant

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