+
Point of view
All features
deferred class INDEX_LIST_VISITOR
Summary
top
Direct parents
Inherit list: VISITOR
Known children
Insert list: EIFFELDOC_SHORTER_CLASSDOC
Overview
top
Features
{INDEX_LIST}
visit_index_list (visited: INDEX_LIST)
deferred procedure
{INDEX_LIST}
top
require
  • visited /= Void