PR# 19884 Clickable view of feature header comments fails to recognize class renaming.
Problem Report Summary
Submitter: rosivaldo
Category: EiffelStudio
Priority: Low
Date: 2023/05/30
Class: Bug
Severity: Non-critical
Number: 19884
Release: 22.12 (22.12.10.6463 - win64)
Confidential: No
Status: Open
Responsible:
Environment: win64
Synopsis: Clickable view of feature header comments fails to recognize class renaming.
Description
When the header comment of a feature refers to a renamed class (and to one of its features), the names of the class and of the feature stays "unclickable" even in Clickable View.
To Reproduce
- With EiffelStudio, open and compile the (attached) st_properties.ecf project (any target).
- Open the class ELEMENT_PROPERTIES in edit window.
- Click the "Clickable view" button on the toolbar.
- Look at the header comment of {ELEMENT_PROPERTIES}.is_in_ok feature.
- One can see that, within the header comment, the reference to {STS_ELEMENT}.is_in feature is not clickable.
Context: {STS_ELEMENT} is the {ELEMENT} class renamed via project settings (st_properties.ecf uses sts-library within st_specification.ecf and prefixes every class of the library with STS_.
Problem Report Interactions
Indeed, it gets worse. `{STS_ELEMENT}.is_in` ends up being shown in clickable view as `{ELEMENT_PROPERTIES}.is_in`.
Please try wrapping with back tick
such as
-- Do the properties verified within set theory hold for `{STS_ELEMENT}.is_in`?