note revised_by: "Alexander Kogtenkov" date: "$Date$" revision: "$Revision$" class CA_EXCEPTION_EVENT inherit EVENT_LIST_ITEM_I create make feature {NONE} -- Initialization make (a_exception: TUPLE [detachable EXCEPTION, CLASS_C]) -- Initialization for `Current'. Sets the data to -- `a_exception'. do category := {ENVIRONMENT_CATEGORIES}.static_analysis priority := {PRIORITY_LEVELS}.normal data := a_exception end feature -- Access data: TUPLE [ex: detachable EXCEPTION; cl: CLASS_C] -- The class that the exception occurred with. description: STRING_32 = "Error analyzing class." -- frozen type: NATURAL_8 -- do Result := {EVENT_LIST_ITEM_TYPES}.error end frozen category: NATURAL_8 -- frozen priority: INTEGER_8 -- feature -- Status report is_invalidated: BOOLEAN -- is_valid_data (a_data: ANY): BOOLEAN -- do Result := True end feature -- Element change set_category (a_category: like category) -- do category := a_category end set_priority (a_priority: like priority) -- do priority := a_priority end feature -- Basic operations invalidate -- do is_invalidated := True end end