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

Diff of /branches/eth/eve/Src/framework/code_analysis/rule_checkers/ca_all_rules_checker.e

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

revision 93216 by zurfluhs, Wed Nov 6 16:55:32 2013 UTC revision 93298 by zurfluhs, Sun Nov 10 16:23:07 2013 UTC
# Line 308  feature {NONE} -- Processing Line 308  feature {NONE} -- Processing
308                  end                  end
309    
310          process_if_as (a_if: IF_AS)          process_if_as (a_if: IF_AS)
311                    local
312                            l_pre_task, l_post_task: CA_VISIT_NODE_TASK
313                  do                  do
314                          across if_pre_actions as l_a loop l_a.item.call ([a_if]) end                          across if_pre_actions as l_a loop l_a.item.call ([a_if]) end
315    --                      create l_pre_task.make (a_if, if_pre_actions)
316    --                      rota.run_task (l_pre_task)
317    
318                          Precursor (a_if)                          Precursor (a_if)
319    
# Line 347  feature -- Results Line 351  feature -- Results
351    
352          last_run_successful: BOOLEAN          last_run_successful: BOOLEAN
353    
354    feature {NONE} -- Implementation
355    
356            frozen rota: detachable ROTA_S
357                            -- Access to rota service
358                    local
359                            l_service_consumer: SERVICE_CONSUMER [ROTA_S]
360                    do
361                            create l_service_consumer
362                            if l_service_consumer.is_service_available and then l_service_consumer.service.is_interface_usable then
363                                    Result := l_service_consumer.service
364                            end
365                    end
366    
367  end  end

Legend:
Removed from v.93216  
changed lines
  Added in v.93298

  ViewVC Help
Powered by ViewVC 1.1.23