code_analysis/rule_checkers/ca_backward_feature_iterator.e

note
        description: "Summary description for {CA_BACKWARD_FEATURE_ITERATOR}."
        author: ""
        date: "$Date$"
        revision: "$Revision$"

class
        CA_BACKWARD_FEATURE_ITERATOR

inherit
        AST_ITERATOR
                redefine
                        process_eiffel_list
                end

feature {NONE} -- Implementation

        process_eiffel_list (a_list: EIFFEL_LIST[AST_EIFFEL])
                local
                        l_cursor: INTEGER
                do
                        from
                                l_cursor := a_list.index
                                a_list.finish
                        until
                                a_list.before
                        loop
                                if attached a_list.item as l_item then
                                        l_item.process (Current)
                                else
                                        check False end
                                end
                                a_list.back
                        end
                        a_list.go_i_th (l_cursor)
                end

end
1	note
2	description: "Summary description for {CA_BACKWARD_FEATURE_ITERATOR}."
3	author: ""
4	date: "$Date$"
5	revision: "$Revision$"
6
7	class
8	CA_BACKWARD_FEATURE_ITERATOR
9
10	inherit
11	AST_ITERATOR
12	redefine
13	process_eiffel_list
14	end
15
16	feature {NONE} -- Implementation
17
18	process_eiffel_list (a_list: EIFFEL_LIST[AST_EIFFEL])
19	local
20	l_cursor: INTEGER
21	do
22	from
23	l_cursor := a_list.index
24	a_list.finish
25	until
26	a_list.before
27	loop
28	if attached a_list.item as l_item then
29	l_item.process (Current)
30	else
31	check False end
32	end
33	a_list.back
34	end
35	a_list.go_i_th (l_cursor)
36	end
37
38	end
Name	Value
svn:eol-style	native
svn:keywords	Author Date ID Revision