1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
--TESTSETUP gprbuild -q -p -Pbuild.gpr
--TESTSETUP gprbuild -q -Pdefault.gpr -c main.adb
--TESTNOCOMPILE -Pdefault.gpr
METHOD_OF Prim:main.adb:6:8
# 1> T:pkg.ads:2:8
METHOD_OF Prim:main.adb:7:7
# 1> T:pkg.ads:2:8
OVERRIDES Prim:main.adb:7:7
OVERRIDDEN Prim:main.adb:7:7
# 1> Prim:pkg.ads:6:13
OVERRIDDEN_RECURSIVE Prim:main.adb:7:7
# 1> Prim:pkg.ads:6:13
shell ./obj/test_method
# Entity: main.adb:7:7
# Kind: dispatching call
#Overview: procedure declared at pkg.ads:3:13
#Method_Of: record type declared at pkg.ads:2:8
#--
#
#procedure declared at pkg.ads:6:13
#Method_Of: record type declared at pkg.ads:5:8
#-- end of program
|
