Automatic generation produced by ISE Eiffel
class MA_MEMORY_STATE_MANAGER General cluster: memory_analyzer description: "This is the managet of MEMORY_STATE which can save/open states from file " create: make Ancestors MA_SINGLETON_FACTORY Queries Accept_node: EV_POINTER_STYLE Accept_node_class: EV_POINTER_STYLE count: INTEGER_32 Decreased_color: EV_COLOR Deny_node: EV_POINTER_STYLE Deny_node_class: EV_POINTER_STYLE filter: MA_FILTER_SINGLETON filter_window: MA_FILTER_WINDOW Grid_util: MA_GRID_UTIL_SINGLETON i_th alias "[]" (i: INTEGER_32): MA_MEMORY_STATE Icons: MA_ICONS_SINGLETON Increased_color: EV_COLOR Internal: INTERNAL Memory: MEMORY Object_finder: MA_OBJECT_FINDER_SINGLETON states: [like memory_states] MA_ARRAYED_LIST_STORABLE [MA_MEMORY_STATE] System_util: MA_SYSTEM_UTIL_SINGLETON Commands extend (a_state: MA_MEMORY_STATE) open_states save_states Constraints memory states not void -- Generated by Eiffel Studio --
For more details: eiffel.org