PR# 19568 Better search facility for class operators (ALIAS)

Problem Report Summary
Submitter: rwschlatter
Category: EiffelStudio
Priority: Medium
Date: 2019/08/21
Class: Feature Request
Severity: Non-critical
Number: 19568
Release: 19.05
Confidential: No
Status: Open
Environment: any
Synopsis: Better search facility for class operators (ALIAS)

I have just spent a considerable time tracking down information on the tilde operator for STRINGs. 

My wish would be that EiffelStudio has a way of presenting class operators to the developer and also selecting them in the source code for looking them up like named features (click-and-drop).

My choice would be the code completion facility, displaying an ALIAS operator next to the base feature information.

Possibly have a separate pane to toggle for operators (or more general any ALIAS ?) in the list of like the Templates / Features / Symbols in the code completion functionality.

Note: a documentation request on operators has been submitted separately to the editors of Eiffel-dot-org.

To Reproduce

Problem Report Interactions
From:rwschlatter    Date:2019/08/22    Status: Open    Download   
Following the replies on the Google mailing list I was wondering about this:

The tilde operator may conceptually be allocated to ANY but there is no code that explains it as  the_better_is_equal alias "~"

Thinking of it, the equal operator "=" is neither. But within computer languages the equal sign seems to be self evident, while its sibling the tilde is a newcomer.

In ANY is_equal is defines as an external "built_in". 

Please consider:

Make a formal definition of the implementation in Eiffel syntax for equal operators "=" and "~"  in class ANY. It seems obvious that they will also have a body of external "built_in".

I understand that the class code for ANY will be considered frozen until a future major release happens. But it would be nice to at least see some comment lines that would show up in a text search for this pair of equal operators.