EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.processing

Class EDOC_CLUSTER_INDEX_ENTRY


Direct ancestors

EDOC_INDEX_ENTRY

Creation

Features

Invariants

indexing

description

Index entry of a cluster

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_CLUSTER_INDEX_ENTRY

inherit

EDOC_INDEX_ENTRY

create

make (a_cluster: ET_CLUSTER)

-- Initialise with a_cluster.

require

a_cluster_not_void: a_cluster /= Void

ensure

cluster_set: cluster = a_cluster

feature -- Access

index_name: STRING

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

cluster: ET_CLUSTER

-- Cluster 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

cluster_not_void: cluster /= 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)