EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.processing

Class EDOC_CLASS_INDEX_ENTRY


Direct ancestors

EDOC_INDEX_ENTRY

Creation

Features

Invariants

indexing

description

Index entry of a class

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_CLASS_INDEX_ENTRY

inherit

EDOC_INDEX_ENTRY

create

make (a_class: ET_CLASS)

-- Initialise with a_class.

require

a_class_not_void: a_class /= Void

ensure

et_class_set: et_class = a_class

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_class: ET_CLASS

-- Class of entry

feature -- Processing

process (a_processor: EDOC_INDEX_PROCESSOR)

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

require

a_processor_not_void: a_processor /= Void

invariant

et_class_not_void: et_class /= 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)