note
    description: ""
    author: ""
    date: "$Date$"
    revision: "$Revision$"

class
    ETF_DIE
inherit
    ETF_DIE_INTERFACE
        redefine die end
create
    make
feature -- command
    die(id: INTEGER_64)
        require else
            die_precond(id)
        do
            if not (id > 0) then
                errors.set_err (errors.err_id_nonpositive)
            elseif (model.id_invalid (id) = false) then
                errors.set_err (errors.err_id_unused)
            elseif (model.is_dead (id) = true) then
                errors.set_err (errors.err_dead_already)
            else
                model.die(id)
            end
            etf_cmd_container.on_change.notify ([Current])
        end

end