PR# 19004 EiffelStudio autocompletion does not work in case of parametric locals

Problem Report Summary
Submitter: hgabre
Category: EiffelStudio
Priority: High
Date: 2014/12/21
Class: Bug
Severity: Serious
Number: 19004
Release: 14.05
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; Linux Mint; Linux x86_64; rv:33.0) Gecko/20100101 Firefox/33.0
Synopsis: EiffelStudio autocompletion does not work in case of parametric locals

Description
If I try to force EiffelStudio to autocomplete features of a local (which has a parameter coming from the generic parameter of the class) using CTRL+Space or just writing a "." no suggestions are given. The autocompletion in this case does not work.
To Reproduce
-- try this minimal example
-- T is a generic parameter
class
	DIGRAPH[T -> HASHABLE]
inherit
	HASH_TABLE[ARRAYED_SET[T], T]
create
	make
feature
	-- some feature to add a node... the class is not complete/functional but compiles
	add_node(node : T)
	local
		set : ARRAYED_SET[T]
	do
		create set.make(0)
-- try to add the following line using autocomplete
-- type set. and... nothing happens. Ctrl+Space: also nothing
		set.compare_objects
-- the same happens if we write the following:
-- if attached item(node) as elements then
-- and then try autocompletion for entity "elements"
		put (set, node)
	end
end
Problem Report Interactions
From:manus_eiffel    Date:2014/12/24    Status: Closed    Download   
Thanks for reporting this issue. It has now been solved in rev#96428 of the EiffelStudio environment and the fix will be available shortly in our forthcoming release.