@@ -655,6 +655,39 @@ function Generic_Function_Instantiation is new Generic_Function;
655655----- DOCUMENTATION -----
656656Description of the generic function instantiation
657657----- DONE -----
658+ Defining name: <DefiningName "Generic_Procedure" generic_procedure.adb:5:11-5:28>
659+ Origin: <Id "Generic_Procedure" generic_procedure.adb:5:11-5:28>
660+ ----- CODE SNIPPET -----
661+ ----- DOCUMENTATION -----
662+ Description of the generic procedure body
663+ ----- DONE -----
664+ Defining name: <DefiningName "Generic_Procedure" generic_procedure.adb:5:11-5:28>
665+ Origin: <Id "Generic_Procedure" generic_procedure.adb:8:5-8:22>
666+ ----- CODE SNIPPET -----
667+ ----- DOCUMENTATION -----
668+ Description of the generic procedure body
669+ ----- DONE -----
670+ Defining name: <DefiningName "Generic_Procedure_Instantiation" generic_procedure_instantiation.ads:7:11-7:42>
671+ Origin: <Id "Generic_Procedure_Instantiation" generic_procedure_instantiation.ads:7:11-7:42>
672+ ----- CODE SNIPPET -----
673+ procedure Generic_Procedure_Instantiation is new Generic_Procedure;
674+ ----- DOCUMENTATION -----
675+ Description of the generic procedure instantiation
676+ ----- DONE -----
677+ Defining name: <DefiningName "Generic_Package_Instantiation" generic_package_instantiation.ads:7:9-7:38>
678+ Origin: <Id "Generic_Package_Instantiation" generics_package.adb:6:6-6:35>
679+ ----- CODE SNIPPET -----
680+ package Generic_Package_Instantiation is new Generic_Package;
681+ ----- DOCUMENTATION -----
682+ Description of the generic package instantiation
683+ ----- DONE -----
684+ Defining name: <DefiningName "Generic_Procedure_Instantiation" generic_procedure_instantiation.ads:7:11-7:42>
685+ Origin: <Id "Generic_Procedure_Instantiation" generics_package.adb:22:7-22:38>
686+ ----- CODE SNIPPET -----
687+ procedure Generic_Procedure_Instantiation is new Generic_Procedure;
688+ ----- DOCUMENTATION -----
689+ Description of the generic procedure instantiation
690+ ----- DONE -----
658691Defining name: <DefiningName "Named_Number" objects.ads:4:4-4:16>
659692Origin: <Id "Named_Number" objects.ads:4:4-4:16>
660693----- CODE SNIPPET -----
0 commit comments