Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_TOOL_BAR_ROW_SIZER General cluster: implementation_mswin description: "Objects that manage tool bar sizes for a SD_TOOL_BAR_ROW." create: make Ancestors ANY Queries has (a_tool_bar: EV_WIDGET): BOOLEAN is_dragging: BOOLEAN is_enough_max_space (a_inlcude_caller_size: BOOLEAN): BOOLEAN is_enough_space (a_dragging_state: BOOLEAN; a_new_size: INTEGER_32): BOOLEAN size_of (a_index: INTEGER_32): INTEGER_32 space_to_resize (a_dragging_state: BOOLEAN; a_new_size: INTEGER_32): INTEGER_32 try_solve_no_space_left (a_possible_positions: ARRAYED_LIST [TUPLE [INTEGER_32, INTEGER_32]]; a_hot_index: INTEGER_32): BOOLEAN try_solve_no_space_right (a_possible_positions: ARRAYED_LIST [TUPLE [INTEGER_32, INTEGER_32]]; a_hot_index, a_hot_position: INTEGER_32): BOOLEAN try_to_solve_no_space_hot_tool_bar_right (a_possible_positions: ARRAYED_LIST [TUPLE [INTEGER_32, INTEGER_32]]; a_size_to_reduce, a_hot_position: INTEGER_32): BOOLEAN valid_index (a_index: INTEGER_32): BOOLEAN Commands end_drag_clean on_resize (a_size: INTEGER_32) resize_on_extend (a_new_tool_bar: SD_TOOL_BAR_ZONE) resize_on_prune start_drag_prepare Constraints not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org