note description: "Summary description for {CMS_SELECTABLE}." date: "$Date$" revision: "$Revision$" deferred class CMS_SELECTABLE inherit CMS_IDEABLE feature -- Access selected_id: INTEGER synopsis: READABLE_STRING_32 -- A brief statement given a general view of current. deferred end feature -- Status Report is_selected : BOOLEAN -- Is the current element selected? do Result := id = selected_id end feature -- Element Change set_selected_id (a_val: INTEGER) -- Set `selected_id' with `a_val'. require id_positive: a_val >= 0 do selected_id := a_val ensure selected_id_set: selected_id = a_val end set_synopsis (a_synopsis: like synopsis) -- Set `synopsis' with `a_synopsis'. deferred ensure synopsis_set: synopsis.same_string (a_synopsis) end end