/dports/cad/ghdl/ghdl-1.0.0/src/ |
H A D | lists.ads | 21 type List_Type is new Nat32; type 22 for List_Type'Size use 32; 24 Null_List : constant List_Type := 0; 25 List_All : constant List_Type := 1; 65 function Create_List return List_Type; 68 procedure Destroy_List (List : in out List_Type); 83 procedure Add_Element (List : List_Type; El : El_Type); 87 function Get_Nbr_Elements (List: List_Type) return Natural; 91 function Is_Empty (List : List_Type) return Boolean; 102 function Iterate (List : List_Type) return Iterator; [all …]
|
/dports/lang/gcc6-aux/bootstrap/lib/gcc/x86_64-aux-dragonfly4.1/5.1.0/adainclude/ |
H A D | a-cuprqu.ads | 61 type List_Type is tagged limited private; type 64 (List : in out List_Type; 68 (List : in out List_Type; 72 (List : in out List_Type; 77 function Length (List : List_Type) return Count_Type; 79 function Max_Length (List : List_Type) return Count_Type; 91 type List_Type is new Ada.Finalization.Limited_Controlled with record type 97 overriding procedure Finalize (List : in out List_Type); 127 List : Implementation.List_Type;
|
H A D | a-cbprqu.ads | 63 type List_Type (Capacity : Count_Type) is tagged limited private; type 66 (List : in out List_Type; 70 (List : in out List_Type; 74 (List : in out List_Type; 80 (List : List_Type) return Queue_Interfaces.Element_Type; 82 function Length (List : List_Type) return Count_Type; 84 function Max_Length (List : List_Type) return Count_Type; 94 type List_Type (Capacity : Count_Type) is tagged limited record type 129 List : Implementation.List_Type (Capacity);
|
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/ |
H A D | a-cuprqu.ads | 61 type List_Type is tagged limited private; type 64 (List : in out List_Type; 68 (List : in out List_Type; 72 (List : in out List_Type; 77 function Length (List : List_Type) return Count_Type; 79 function Max_Length (List : List_Type) return Count_Type; 91 type List_Type is new Ada.Finalization.Limited_Controlled with record type 98 procedure Finalize (List : in out List_Type); 132 List : Implementation.List_Type;
|
H A D | a-cbprqu.ads | 63 type List_Type (Capacity : Count_Type) is tagged limited private; type 66 (List : in out List_Type; 70 (List : in out List_Type; 74 (List : in out List_Type; 80 (List : List_Type) return Queue_Interfaces.Element_Type; 82 function Length (List : List_Type) return Count_Type; 84 function Max_Length (List : List_Type) return Count_Type; 94 type List_Type (Capacity : Count_Type) is tagged limited record type 133 List : Implementation.List_Type (Capacity);
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/ |
H A D | a-cuprqu.ads | 61 type List_Type is tagged limited private; type 64 (List : in out List_Type; 68 (List : in out List_Type; 72 (List : in out List_Type; 77 function Length (List : List_Type) return Count_Type; 79 function Max_Length (List : List_Type) return Count_Type; 91 type List_Type is new Ada.Finalization.Limited_Controlled with record type 98 procedure Finalize (List : in out List_Type); 132 List : Implementation.List_Type;
|
H A D | a-cbprqu.ads | 63 type List_Type (Capacity : Count_Type) is tagged limited private; type 66 (List : in out List_Type; 70 (List : in out List_Type; 74 (List : in out List_Type; 80 (List : List_Type) return Queue_Interfaces.Element_Type; 82 function Length (List : List_Type) return Count_Type; 84 function Max_Length (List : List_Type) return Count_Type; 94 type List_Type (Capacity : Count_Type) is tagged limited record type 133 List : Implementation.List_Type (Capacity);
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
H A D | a-cuprqu.ads | 61 type List_Type is tagged limited private; type 64 (List : in out List_Type; 68 (List : in out List_Type; 72 (List : in out List_Type; 77 function Length (List : List_Type) return Count_Type; 79 function Max_Length (List : List_Type) return Count_Type; 91 type List_Type is new Ada.Finalization.Limited_Controlled with record type 97 overriding procedure Finalize (List : in out List_Type); 127 List : Implementation.List_Type;
|
H A D | a-cbprqu.ads | 63 type List_Type (Capacity : Count_Type) is tagged limited private; type 66 (List : in out List_Type; 70 (List : in out List_Type; 74 (List : in out List_Type; 80 (List : List_Type) return Queue_Interfaces.Element_Type; 82 function Length (List : List_Type) return Count_Type; 84 function Max_Length (List : List_Type) return Count_Type; 94 type List_Type (Capacity : Count_Type) is tagged limited record type 129 List : Implementation.List_Type (Capacity);
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | a-cuprqu.ads | 62 type List_Type is tagged limited private; type 65 (List : in out List_Type; 69 (List : in out List_Type; 73 (List : in out List_Type; 78 function Length (List : List_Type) return Count_Type; 80 function Max_Length (List : List_Type) return Count_Type; 92 type List_Type is new Ada.Finalization.Limited_Controlled with record type 98 overriding procedure Finalize (List : in out List_Type); 128 List : Implementation.List_Type;
|
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 95 type List_Type (Capacity : Count_Type) is tagged limited record type 130 List : Implementation.List_Type (Capacity);
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
H A D | a-cuprqu.ads | 62 type List_Type is tagged limited private; type 65 (List : in out List_Type; 69 (List : in out List_Type; 73 (List : in out List_Type; 78 function Length (List : List_Type) return Count_Type; 80 function Max_Length (List : List_Type) return Count_Type; 92 type List_Type is new Ada.Finalization.Limited_Controlled with record type 98 overriding procedure Finalize (List : in out List_Type); 128 List : Implementation.List_Type;
|
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 95 type List_Type (Capacity : Count_Type) is tagged limited record type 130 List : Implementation.List_Type (Capacity);
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 99 type List_Type (Capacity : Count_Type) is tagged limited record type 134 List : Implementation.List_Type (Capacity);
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/libgnat/ |
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 99 type List_Type (Capacity : Count_Type) is tagged limited record type 134 List : Implementation.List_Type (Capacity);
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 99 type List_Type (Capacity : Count_Type) is tagged limited record type 134 List : Implementation.List_Type (Capacity);
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/libgnat/ |
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 99 type List_Type (Capacity : Count_Type) is tagged limited record type 134 List : Implementation.List_Type (Capacity);
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/libgnat/ |
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 99 type List_Type (Capacity : Count_Type) is tagged limited record type 134 List : Implementation.List_Type (Capacity);
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/libgnat/ |
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 99 type List_Type (Capacity : Count_Type) is tagged limited record type 134 List : Implementation.List_Type (Capacity);
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 99 type List_Type (Capacity : Count_Type) is tagged limited record type 134 List : Implementation.List_Type (Capacity);
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 99 type List_Type (Capacity : Count_Type) is tagged limited record type 134 List : Implementation.List_Type (Capacity);
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/libgnat/ |
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 99 type List_Type (Capacity : Count_Type) is tagged limited record type 134 List : Implementation.List_Type (Capacity);
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/libgnat/ |
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 99 type List_Type (Capacity : Count_Type) is tagged limited record type 134 List : Implementation.List_Type (Capacity);
|
/dports/lang/gcc9-aux/bootstrap/lib/gcc/x86_64-aux-dragonfly5.5/9.1.0/adainclude/ |
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 99 type List_Type (Capacity : Count_Type) is tagged limited record type 134 List : Implementation.List_Type (Capacity);
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/libgnat/ |
H A D | a-cbprqu.ads | 64 type List_Type (Capacity : Count_Type) is tagged limited private; type 67 (List : in out List_Type; 71 (List : in out List_Type; 75 (List : in out List_Type; 81 (List : List_Type) return Queue_Interfaces.Element_Type; 83 function Length (List : List_Type) return Count_Type; 85 function Max_Length (List : List_Type) return Count_Type; 99 type List_Type (Capacity : Count_Type) is tagged limited record type 134 List : Implementation.List_Type (Capacity);
|