/[eiffelstudio]/branches/eth/eve/Src/framework/code_analysis/rule_checkers/ca_backward_feature_iterator.e
ViewVC logotype

Contents of /branches/eth/eve/Src/framework/code_analysis/rule_checkers/ca_backward_feature_iterator.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 93181 - (show annotations)
Tue Oct 29 10:59:59 2013 UTC (6 years, 1 month ago) by zurfluhs
File size: 617 byte(s)
Code Analysis:

- new rule type for checking by backward iterator through routine
- 'formatted' output for description in console
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

Properties

Name Value
svn:eol-style native
svn:keywords Author Date ID Revision

  ViewVC Help
Powered by ViewVC 1.1.23