class MENU

Features exported to INTERNALS_HANDLER

Direct parents

non-conformant parents

COLOR_LIST

Summary

creation features

exported features

Details

make
open (x: INTEGER, y: INTEGER)
add_text_entry (text: UNICODE_STRING, action: PROCEDURE [O_ -> TUPLE][TUPLE 2 [A_, B_][INTEGERINTEGER]])

require

  • text /= Void
  • action /= Void

add_entry (w: WIDGET, action: PROCEDURE [O_ -> TUPLE][TUPLE 2 [A_, B_][INTEGERINTEGER]])

require

  • w /= Void

add_sub_menu_enty (w: WIDGET, menu: MENU)
add_space

Class invariant