+
Point of view
SMART_EIFFEL
deferred class DECLARATION_LIST
ensure
- Result.in_range(0, count)
ensure
- Result.in_range(0, count)
specialize_in (type:
TYPE): DECLARATION_LIST
effective function
specialize_thru (parent_type:
TYPE, parent_edge:
PARENT_EDGE, new_type:
TYPE): DECLARATION_LIST
effective function