Eiffeldoc: UI_MENU_ITEM

+

Point of view

All features

deferred class UI_MENU_ITEM

Summary

Direct parents: Insert list: UI_ITEM

Class invariant

has_id: id /= Void
constant_id: id = id_memory
interned_id: id.intern = id

Overview

id: FIXED_STRING

writable attribute

connect_to (a_job: UI_JOB): UI_CONNECT_ITEM

effective function

require

a_job /= Void

connect_bridge (a_job: UI_JOB): UI_CONNECT_ITEM

deferred function

{}

require

a_job /= Void

id_memory: FIXED_STRING

effective function

{}

id_memory_: FIXED_STRING

writable attribute

{}

registered: FAST_ARRAY[WEAK_REFERENCE[UI_CONNECT_ITEM]]

writable attribute

{}

_inline_agent25 (item: WEAK_REFERENCE[UI_CONNECT_ITEM], new: UI_CONNECT_ITEM): BOOLEAN

frozen

effective function

{}