no two ancestor types are different generic derivations of the same class (2).

Posted November 5th, 2007 by ted_eiffel
in
References
Test Plan:
Non-conforming inheritance
ECMA Eiffel section:
8.6.13
Purpose:

Test the validity rule for non-conformance inheritance: no two ancestor types are different generic derivations of the same class.

Test procedure:

Compile the attached project.

Expected result:

Error code: ECMA-VHPR(5) Error: different generic derivations of the same class are used in Parent parts. What to do: ensure the derivations are identical or remove offending Parent part.

Class: APPLICATION Derivation 1: P1 [STRING_8] Derivation 2: P1 [ANY]

AttachmentSize
nc4.zip982 bytes

Test runs

IDDatePlatformResult
trr#33641 weeks 2 days agoWindows 32bitPassed