EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.processing

Class EDOC_DECLARED_TYPE_USAGE_ENTRY


Direct ancestors

EDOC_USAGE_ENTRY

Features

Invariants

indexing

description

Usage entry of a class which is used as a declared type of a feature
TODO: implement usage page

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_DECLARED_TYPE_USAGE_ENTRY

inherit

EDOC_USAGE_ENTRY

feature -- Processing

process (a_processor: EDOC_USAGE_PROCESSOR)

-- Process entry with a_processor.
-- (From EDOC_USAGE_ENTRY)

require

a_processor_not_void: a_processor /= Void

invariant


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