2 ! A basic functional test of derived type extension.
4 ! Contributed by Paul Thomas <pault@gcc.gnu.org>
8 character(24) :: name = ""
13 module person_education
15 type, extends(person) :: education
16 integer :: attainment = 0
17 character(24) :: institution = ""
19 end module person_education
22 type, extends(education) :: service
23 integer :: personnel_number = 0
24 character(24) :: department = ""
27 type, extends(service) :: person_record
28 type (person_record), pointer :: supervisor => NULL ()
29 end type person_record
31 type(person_record), pointer :: recruit, supervisor
33 ! Check that references by ultimate component work
36 supervisor%name = "Joe Honcho"
37 supervisor%ss = 123455
38 supervisor%attainment = 100
39 supervisor%institution = "Celestial University"
40 supervisor%personnel_number = 1
41 supervisor%department = "Directorate"
43 recruit => entry ("John Smith", 123456, 1, "Bog Hill High School", &
44 99, "Records", supervisor)
46 if (trim (recruit%name) /= "John Smith") STOP 1
47 if (recruit%name /= recruit%service%name) STOP 2
48 if (recruit%supervisor%ss /= 123455) STOP 3
49 if (recruit%supervisor%ss /= supervisor%person%ss) STOP 4
51 deallocate (supervisor)
54 function entry (name, ss, attainment, institution, &
55 personnel_number, department, supervisor) result (new_person)
56 integer :: ss, attainment, personnel_number
57 character (*) :: name, institution, department
58 type (person_record), pointer :: supervisor, new_person
62 ! Check mixtures of references
63 new_person%person%name = name
64 new_person%service%education%person%ss = ss
65 new_person%service%attainment = attainment
66 new_person%education%institution = institution
67 new_person%personnel_number = personnel_number
68 new_person%service%department = department
69 new_person%supervisor => supervisor