Multi-constraint formal generics: PnD on renamed feature

Posted May 24th, 2007 by alexk_es
in
References
Test Plan:
Multi-constraint formal generics
bug#12858
ECMA Eiffel section:
8.12 Genericity
Test procedure:
  1. Create a compile a system with the following class:
    class A [G -> ANY rename twin as x end]
        feature
            f is
                do
                    item.x.do_nothing
                end
            item: G
        end
  2. Pick features do_nothing or x and drop to the Feature Relation tool.
  3. Observe that Feature Relation tool is updated as expected.
Expected result:

PnD should work for a renamed feature called on entity of formal generic type.

Test runs

IDDatePlatformResult
trr#2753 years 14 weeks agoAll platformsFailed