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
Responsible:
Environment: any
Synopsis: Better search facility for class operators (ALIAS)
Description
I have just spent a considerable time tracking down information on the tilde operator for STRINGs. (https://groups.google.com/d/msg/eiffel-users/_1iBRpOEXko/XB60usgIDwAJ) 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. ______________________ R.
To Reproduce
Problem Report Interactions
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. _______________ R.