PR# 18025 Autocomplete not working with `check ... then'

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2011/11/30
Class: Bug
Severity: Serious
Number: 18025
Release: 7.0
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/535.2 (KHTML, like Gecko) Chrome/15.0.874.121 Safari/535.2
Synopsis: Autocomplete not working with `check ... then'

Description
If you have the following code:

  check attached obj as l_obj then
    l_obj.
  end

would not automcomplete `l_obj'.

Replacing `check' by `if' makes it work.
To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2011/11/30    Download   
Actually further testing at customer site shows that the basic check .. then works but not in the following scenario:


on_open_button_press
  do
    check attached list_object_to_select as al_list_object then
      if attached selected_object as al_object and then al_list_object.data_id = al_object.data_id then
          process_open_object (al_object)
       else
         if/check attached content as al_content then
               al_content.
         end
       end
     end
   end

Where I put `if/check' is where autocomplete works/doesn't work.