PR# 19622 Call on Result in attribute body not clickable in editor

Problem Report Summary

Submitter: gobobe

Category: EiffelStudio

Priority: Medium

Date: 2020/03/11

Class: Bug

Severity: Non-critical

Number: 19622

Release: 19.12.10.3842

Confidential: No

Status: Open

Responsible:

Environment: win

Synopsis: Call on Result in attribute body not clickable in editor

Description

In the following code, `make_empty` and `to_lower` are not clickable. Also, auto-completion does not work when the target is Result.
Everything works fine when I replace `attribute` by `do`.

~~~~~~~~~~~~~~~~~~~~~~~
	s: STRING
		attribute
			create Result.make_empty
			Result.to_lower
		end
~~~~~~~~~~~~~~~~~~~~~~~

--
Eric Bezault

To Reproduce

Problem Report Interactions