ada/gnatdoc
0
0
Fork 0
mirror of https://github.com/AdaCore/gnatdoc.git synced 2026-02-12 13:11:07 -08:00
Code Issues Packages Projects Releases Wiki Activity

Automated test.

Browse Source
This commit is contained in:
Vadim Godunko
2024-10-03 12:29:51 +04:00
parent cdd4b13ff3
commit c729ebbdb5
5 changed files with 41 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
testsuite/executable/tagged_types_hierarchy/default.gpr Normal file
View File

@@ -0,0 +1,4 @@
project Default is
end Default;

15
testsuite/executable/tagged_types_hierarchy/issue_93_subtype_as_parent.ads Normal file
View File

@@ -0,0 +1,15 @@
package Issue_93_Subtype_As_Parent is
type Unconstrained_Parent (Id : Integer) is
tagged limited null record;
type Progenitor is limited interface;
subtype Constrained_Parent is Unconstrained_Parent (1);
subtype Progenitor_Subtype is Progenitor;
type Child is new Constrained_Parent and Progenitor_Subtype with null record;
end Issue_93_Subtype_As_Parent;

19
testsuite/executable/tagged_types_hierarchy/test.out Normal file
View File

@@ -0,0 +1,19 @@
(UNDEFINED) ''
Packages:
Issue_93_Subtype_As_Parent (UNDEFINED) 'issue_93_subtype_as_parent'
Record Types:
# Unconstrained_Parent (UNDEFINED) 'issue_93_subtype_as_parent.unconstrained_parent'
Interface Types:
Progenitor (ADA_INTERFACE_TYPE) 'issue_93_subtype_as_parent.progenitor'
Tagged Types:
Child (ADA_TAGGED_TYPE) 'issue_93_subtype_as_parent.child'
Parent type: 'issue_93_subtype_as_parent.constrained_parent'
Progenitor Types:
# Issue_93_Subtype_As_Parent.Progenitor_Subtype (issue_93_subtype_as_parent.progenitor_subtype) ''
Interface Types:
Progenitor (ADA_INTERFACE_TYPE) 'issue_93_subtype_as_parent.progenitor'
Tagged Types:
Child (ADA_TAGGED_TYPE) 'issue_93_subtype_as_parent.child'
Parent type: 'issue_93_subtype_as_parent.constrained_parent'
Progenitor Types:
# Issue_93_Subtype_As_Parent.Progenitor_Subtype (issue_93_subtype_as_parent.progenitor_subtype) ''

1
testsuite/executable/tagged_types_hierarchy/test.sh Executable file
View File

@@ -0,0 +1 @@
$GNATDOC4 default.gpr --backend=test --test-dump-entities-tree

2
testsuite/executable/tagged_types_hierarchy/test.yaml Normal file
View File

@@ -0,0 +1,2 @@
description: Construction of tagged type hierarchy.
driver: executable