Multi-constraint formal generics: PnD on feature on formal generic with identical constraints

Posted May 28th, 2007 by alexk_es
in
References
Test Plan:
Multi-constraint formal generics
bug#12875
ECMA Eiffel section:
8.12 Genericity
Test procedure:
  1. Create and compile a system with the following class:
    class A [G -> {ANY, ANY}]
        feature
            f is
                do
                    item.twin.do_nothing
                end
            item: G
        end
  2. Attempt to pick features "do_nothing" or "twin" and drop to the "Feature Relation" tool.
Expected result:

PnD should work for a feature called on entity of formal generic type with 2 identical constraints.

Test runs

IDDatePlatformResult
trr#2831 year 12 weeks agoAll platformsFailed