| /* { dg-do compile } */ | |
| /* { dg-options "-fdump-ada-spec" } */ | |
| class Root { | |
| public: | |
| virtual void copyFrom(const Root& property) = 0; | |
| }; | |
| class DT : Root { | |
| virtual void copyFrom (const Root& property); | |
| /* Although in C++ the type of argument Root is the parent type | |
| "Root", in order to properly override this primitive in Ada | |
| the profile of the generated function must be the derived | |
| type "DT" */ | |
| }; | |
| /* { dg-final { scan-ada-spec "Root'Class" } } */ | |
| /* { dg-final { cleanup-ada-spec } } */ |