EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.processing

Class EDOC_USAGE_PROCESSOR


Features

Invariants

indexing

description

Usage processor

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

deferred class EDOC_USAGE_PROCESSOR

feature -- Processing

process_argument_entry (an_entry: EDOC_ARGUMENT_USAGE_ENTRY)

-- Process an_entry.

require

an_entry_not_void: an_entry /= Void
deferred

process_declared_type_entry (an_entry: EDOC_DECLARED_TYPE_USAGE_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)