是否在后代重新定义时调用了救援条款?

Is the rescue clause being called on descendent redefinition?

this doc上没有找到答案,是否在重新定义特征时调用了rescue子句?

Class一个

class A

feature -- 

    process
        do
            do_stuff
        rescue
            on_fail
        end
end -- class

Class B

class B

inherit
    A
        redefine
            process
        end

feature -- 

    process
        do
            do_other_stuff -- do I have to call the rescue too?
        end
end -- class

救援条款不像合同那样继承,如果需要,应随每个新功能主体一起提供。