Multi-constraint formal generics: access to renamed feature is not clickable after recompilation

Posted May 29th, 2007 by alexk_es
in
References
Test Plan:
Multi-constraint formal generics
bug#12891
ECMA Eiffel section:
8.12 Genericity
Purpose:

Recompilation of a system with a class that accesses renamed features on multi-constraint formal generic type should always leave the corresponding feature names clickable in the flat feature view.

Test procedure:
  1. Create and compile the system with the following classes:
    class A feature
        f: STRING is
            do
                Result := "A"
            end
    end
    class B feature
        f: STRING is
            do
                Result := "B"
            end
    end
    class C feature
        f: STRING is
            do
                Result := "C"
            end
    end
    class D inherit
        A
            undefine
                f
            end
        B
    end
    class E inherit
        A
            undefine
                f
            end
        C
    end
    class F inherit
        D
            rename
                f as d_f
            select
                d_f
            end
        E
            rename
                f as e_f
            end
    end
    class X [G -> {
        D
            rename
                f as d_f
            end,
        E
            rename
                default_create as e_default_create,
                f as e_f
            end
        } create default_create end
    ]
    feature
        f is
            do
                create item
                io.put_string (item.d_f)
                io.put_new_line
                io.put_string (item.e_f)
                io.put_new_line
            end
        item: G
    end
  2. Change classes D, E, F as follows:
    class D inherit
        B
    end
    class E inherit
        C
    end
    class F inherit
        D
            rename
                f as d_f
            end
        E
            rename
                f as e_f
            end
    end
  3. Recompile the system.
  4. Open flat view for the feature {X}.f in Feature Relation panel.
Expected result:

Calls to the features d_f and e_f are clickable.

Test runs

IDDatePlatformResult
trr#2931 year 12 weeks agoAll platformsFailed