EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.processing

Class EDOC_USAGE_ENTRY


Known direct descendants

EDOC_ARGUMENT_USAGE_ENTRY, EDOC_DECLARED_TYPE_USAGE_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_USAGE_ENTRY

feature -- Processing

process (a_processor: EDOC_USAGE_PROCESSOR)

-- Process entry with a_processor.

require

a_processor_not_void: a_processor /= Void
deferred

invariant

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