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

Diff of /branches/eth/eve/Src/framework/code_analysis/ca_code_analyzer.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 94167 by zurfluhs, Tue Feb 4 16:47:25 2014 UTC revision 94210 by zurfluhs, Thu Feb 6 10:22:46 2014 UTC
# Line 74  feature {NONE} -- Initialization Line 74  feature {NONE} -- Initialization
74    
75  feature -- Analysis interface  feature -- Analysis interface
76    
77          add_completed_action (a_action: PROCEDURE [ANY, TUPLE [BOOLEAN]])          add_completed_action (a_action: attached PROCEDURE [ANY, TUPLE [BOOLEAN]])
78                          -- Adds `a_action' to the list of procedures that will be                          -- Adds `a_action' to the list of procedures that will be
79                          -- called when analysis has completed.                          -- called when analysis has completed.
80                  do                  do
81                          completed_actions.extend (a_action)                          completed_actions.extend (a_action)
82                  end                  end
83    
84          add_output_action (a_action: PROCEDURE [ANY, TUPLE [READABLE_STRING_GENERAL]])          add_output_action (a_action: attached PROCEDURE [ANY, TUPLE [READABLE_STRING_GENERAL]])
85                  do                  do
86                          output_actions.extend (a_action)                          output_actions.extend (a_action)
87                  end                  end
# Line 116  feature -- Analysis interface Line 116  feature -- Analysis interface
116                          rota.run_task (l_task)                          rota.run_task (l_task)
117                  end                  end
118    
119          is_rule_checkable (a_rule: CA_RULE): BOOLEAN          is_rule_checkable (a_rule: attached CA_RULE): BOOLEAN
120                  do                  do
121                          Result := a_rule.is_enabled.value                          Result := a_rule.is_enabled.value
122                                                  and then (system_wide_check or else (not a_rule.is_system_wide))                                                  and then (system_wide_check or else (not a_rule.is_system_wide))
# Line 154  feature -- Analysis interface Line 154  feature -- Analysis interface
154                          system_wide_check := True                          system_wide_check := True
155                  end                  end
156    
157          add_cluster (a_cluster: CLUSTER_I)          add_cluster (a_cluster: attached CLUSTER_I)
158                          -- Add all classes of cluster `a_cluster'.                          -- Add all classes of cluster `a_cluster'.
159                  do                  do
160                          system_wide_check := False                          system_wide_check := False
# Line 170  feature -- Analysis interface Line 170  feature -- Analysis interface
170                          end                          end
171                  end                  end
172    
173          add_group (a_group: CONF_GROUP)          add_group (a_group: attached CONF_GROUP)
174                          -- Add all classes of the configuration group `a_group'.                          -- Add all classes of the configuration group `a_group'.
175                  require                  require
176                          a_group_not_void: a_group /= Void                          a_group_not_void: a_group /= Void
# Line 180  feature -- Analysis interface Line 180  feature -- Analysis interface
180                          end                          end
181                  end                  end
182    
183          add_classes (a_classes: ITERABLE [CONF_CLASS])          add_classes (a_classes: attached ITERABLE [attached CONF_CLASS])
184                          -- Add the classes `a_classes'.                          -- Add the classes `a_classes'.
185                  do                  do
186                          system_wide_check := False                          system_wide_check := False
# Line 190  feature -- Analysis interface Line 190  feature -- Analysis interface
190                          end                          end
191                  end                  end
192    
193          add_class (a_class: CONF_CLASS)          add_class (a_class: attached CONF_CLASS)
194                          -- Adds class `a_class'.                          -- Adds class `a_class'.
195                  local                  local
196                          l_class_c: CLASS_C                          l_class_c: CLASS_C
# Line 266  feature {NONE} -- Implementation Line 266  feature {NONE} -- Implementation
266                          completed_actions.wipe_out                          completed_actions.wipe_out
267                  end                  end
268    
269          is_violation_valid (a_viol: CA_RULE_VIOLATION): BOOLEAN          is_violation_valid (a_viol: attached CA_RULE_VIOLATION): BOOLEAN
270                          -- Is the violation `a_viol' valid under the current settings                          -- Is the violation `a_viol' valid under the current settings
271                          -- such as the rule ignore list of a class, or the library or                          -- such as the rule ignore list of a class, or the library or
272                          -- non-library status of a class?                          -- non-library status of a class?
# Line 313  feature {NONE} -- Implementation Line 313  feature {NONE} -- Implementation
313                          end                          end
314                  end                  end
315    
316          is_severity_enabled (a_severity: CA_RULE_SEVERITY): BOOLEAN          is_severity_enabled (a_severity: attached CA_RULE_SEVERITY): BOOLEAN
317                  do                  do
318                          Result := (attached {CA_HINT} a_severity and settings.are_hints_enabled.value)                          Result := (attached {CA_HINT} a_severity and settings.are_hints_enabled.value)
319                                  or else (attached {CA_SUGGESTION} a_severity and settings.are_suggestions_enabled.value)                                  or else (attached {CA_SUGGESTION} a_severity and settings.are_suggestions_enabled.value)
# Line 326  feature {NONE} -- Implementation Line 326  feature {NONE} -- Implementation
326    
327  feature {NONE} -- Class-wide Options (From Indexing Clauses)  feature {NONE} -- Class-wide Options (From Indexing Clauses)
328    
329          extract_indexes (a_class: CLASS_C)          extract_indexes (a_class: attached CLASS_C)
330                          -- Extracts options from the indexing clause of class `a_class'.                          -- Extracts options from the indexing clause of class `a_class'.
331                  local                  local
332                          l_ast: CLASS_AS                          l_ast: CLASS_AS
# Line 349  feature {NONE} -- Class-wide Options (Fr Line 349  feature {NONE} -- Class-wide Options (Fr
349                          ignoredby.force (l_ignoredby, a_class)                          ignoredby.force (l_ignoredby, a_class)
350                  end                  end
351    
352          search_indexing_tags (a_clause: INDEXING_CLAUSE_AS; a_class: CLASS_C; a_ignoredby: LINKED_LIST [STRING_32])          search_indexing_tags (a_clause: attached INDEXING_CLAUSE_AS; a_class: attached CLASS_C; a_ignoredby: attached LINKED_LIST [STRING_32])
353                          -- Searches `a_clause' for settings relevant to code analysis.                          -- Searches `a_clause' for settings relevant to code analysis.
354                  local                  local
355                          l_item: STRING_32                          l_item: STRING_32

Legend:
Removed from v.94167  
changed lines
  Added in v.94210

  ViewVC Help
Powered by ViewVC 1.1.23