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

Annotation 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 - (hide annotations)
Tue Oct 29 10:59:59 2013 UTC (6 years, 2 months 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 zurfluhs 93181 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