/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/libgnat/ |
H A D | a-strunb__shared.ads | 130 New_Item : Unbounded_String) 132 Pre => Length (New_Item) <= Natural'Last - Length (Source), 138 New_Item : String) 140 Pre => New_Item'Length <= Natural'Last - Length (Source), 146 New_Item : Character) 536 New_Item : String) return Unbounded_String 546 New_Item : String) 556 New_Item : String) return Unbounded_String 559 and then (if New_Item'Length /= 0 570 New_Item : String) [all …]
|
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 831 New_Item : Element_Type) 834 Insert (Container, Before, New_Item, 1); 840 New_Item : Element_Type; 858 New_Item : Vector) 1171 Prepend (Container, New_Item, 1); 1176 New_Item : Element_Type; 1190 New_Item : Element_Type) [all …]
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/libgnat/ |
H A D | a-strunb.ads | 121 New_Item : Unbounded_String) 123 Pre => Length (New_Item) <= Natural'Last - Length (Source), 129 New_Item : String) 131 Pre => New_Item'Length <= Natural'Last - Length (Source), 137 New_Item : Character) 563 New_Item : String) return Unbounded_String 573 New_Item : String) 583 New_Item : String) return Unbounded_String 586 and then (if New_Item'Length /= 0 597 New_Item : String) [all …]
|
H A D | a-strunb__shared.ads | 129 New_Item : Unbounded_String) 131 Pre => Length (New_Item) <= Natural'Last - Length (Source), 137 New_Item : String) 139 Pre => New_Item'Length <= Natural'Last - Length (Source), 145 New_Item : Character) 535 New_Item : String) return Unbounded_String 545 New_Item : String) 555 New_Item : String) return Unbounded_String 558 and then (if New_Item'Length /= 0 569 New_Item : String) [all …]
|
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 831 New_Item : Element_Type) 834 Insert (Container, Before, New_Item, 1); 840 New_Item : Element_Type; 858 New_Item : Vector) 1171 Prepend (Container, New_Item, 1); 1176 New_Item : Element_Type; 1190 New_Item : Element_Type) [all …]
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/ |
H A D | a-strunb.ads | 123 New_Item : Unbounded_String) 125 Pre => Length (New_Item) <= Natural'Last - Length (Source), 131 New_Item : String) 133 Pre => New_Item'Length <= Natural'Last - Length (Source), 139 New_Item : Character) 565 New_Item : String) return Unbounded_String 575 New_Item : String) 585 New_Item : String) return Unbounded_String 588 and then (if New_Item'Length /= 0 599 New_Item : String) [all …]
|
H A D | a-strunb__shared.ads | 133 New_Item : Unbounded_String) 135 Pre => Length (New_Item) <= Natural'Last - Length (Source), 141 New_Item : String) 143 Pre => New_Item'Length <= Natural'Last - Length (Source), 149 New_Item : Character) 536 New_Item : String) return Unbounded_String 546 New_Item : String) 556 New_Item : String) return Unbounded_String 559 and then (if New_Item'Length /= 0 570 New_Item : String) [all …]
|
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 853 New_Item : Element_Type) 856 Insert (Container, Before, New_Item, 1); 862 New_Item : Element_Type; 880 New_Item : Vector) 1193 Prepend (Container, New_Item, 1); 1198 New_Item : Element_Type; 1238 New_Item : Element_Type) [all …]
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/libgnat/ |
H A D | a-strunb.ads | 122 New_Item : Unbounded_String) 124 Pre => Length (New_Item) <= Natural'Last - Length (Source), 130 New_Item : String) 132 Pre => New_Item'Length <= Natural'Last - Length (Source), 138 New_Item : Character) 564 New_Item : String) return Unbounded_String 574 New_Item : String) 584 New_Item : String) return Unbounded_String 587 and then (if New_Item'Length /= 0 598 New_Item : String) [all …]
|
H A D | a-strunb__shared.ads | 130 New_Item : Unbounded_String) 132 Pre => Length (New_Item) <= Natural'Last - Length (Source), 138 New_Item : String) 140 Pre => New_Item'Length <= Natural'Last - Length (Source), 146 New_Item : Character) 536 New_Item : String) return Unbounded_String 546 New_Item : String) 556 New_Item : String) return Unbounded_String 559 and then (if New_Item'Length /= 0 570 New_Item : String) [all …]
|
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 831 New_Item : Element_Type) 834 Insert (Container, Before, New_Item, 1); 840 New_Item : Element_Type; 858 New_Item : Vector) 1171 Prepend (Container, New_Item, 1); 1176 New_Item : Element_Type; 1190 New_Item : Element_Type) [all …]
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/libgnat/ |
H A D | a-strunb__shared.ads | 129 New_Item : Unbounded_String) 131 Pre => Length (New_Item) <= Natural'Last - Length (Source), 137 New_Item : String) 139 Pre => New_Item'Length <= Natural'Last - Length (Source), 145 New_Item : Character) 535 New_Item : String) return Unbounded_String 545 New_Item : String) 555 New_Item : String) return Unbounded_String 558 and then (if New_Item'Length /= 0 569 New_Item : String) [all …]
|
H A D | a-strunb.ads | 121 New_Item : Unbounded_String) 123 Pre => Length (New_Item) <= Natural'Last - Length (Source), 129 New_Item : String) 131 Pre => New_Item'Length <= Natural'Last - Length (Source), 137 New_Item : Character) 563 New_Item : String) return Unbounded_String 573 New_Item : String) 583 New_Item : String) return Unbounded_String 586 and then (if New_Item'Length /= 0 597 New_Item : String) [all …]
|
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 831 New_Item : Element_Type) 834 Insert (Container, Before, New_Item, 1); 840 New_Item : Element_Type; 858 New_Item : Vector) 1171 Prepend (Container, New_Item, 1); 1176 New_Item : Element_Type; 1190 New_Item : Element_Type) [all …]
|
/dports/devel/libspark2012/libspark2012-2012/src/ |
H A D | spark-ada-strings-unbounded.adb | 79 (New_Item)); 84 New_Item : in String) is 88 New_Item => New_Item); 93 New_Item : in Character) is 97 New_Item => New_Item); 501 New_Item => New_Item)); 507 New_Item : in String) is 512 New_Item => New_Item); 525 New_Item => New_Item)); 531 New_Item : in String) is [all …]
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/libgnat/ |
H A D | a-strunb__shared.ads | 130 New_Item : Unbounded_String) 132 Pre => Length (New_Item) <= Natural'Last - Length (Source), 138 New_Item : String) 140 Pre => New_Item'Length <= Natural'Last - Length (Source), 146 New_Item : Character) 536 New_Item : String) return Unbounded_String 546 New_Item : String) 556 New_Item : String) return Unbounded_String 559 and then (if New_Item'Length /= 0 570 New_Item : String) [all …]
|
H A D | a-strunb.ads | 122 New_Item : Unbounded_String) 124 Pre => Length (New_Item) <= Natural'Last - Length (Source), 130 New_Item : String) 132 Pre => New_Item'Length <= Natural'Last - Length (Source), 138 New_Item : Character) 564 New_Item : String) return Unbounded_String 574 New_Item : String) 584 New_Item : String) return Unbounded_String 587 and then (if New_Item'Length /= 0 598 New_Item : String) [all …]
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 831 New_Item : Element_Type) 834 Insert (Container, Before, New_Item, 1); 840 New_Item : Element_Type; 858 New_Item : Vector) 1171 Prepend (Container, New_Item, 1); 1176 New_Item : Element_Type; 1190 New_Item : Element_Type) [all …]
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/libgnat/ |
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 831 New_Item : Element_Type) 834 Insert (Container, Before, New_Item, 1); 840 New_Item : Element_Type; 858 New_Item : Vector) 1171 Prepend (Container, New_Item, 1); 1176 New_Item : Element_Type; 1190 New_Item : Element_Type) [all …]
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/libgnat/ |
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 831 New_Item : Element_Type) 834 Insert (Container, Before, New_Item, 1); 840 New_Item : Element_Type; 858 New_Item : Vector) 1171 Prepend (Container, New_Item, 1); 1176 New_Item : Element_Type; 1190 New_Item : Element_Type) [all …]
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/libgnat/ |
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 831 New_Item : Element_Type) 834 Insert (Container, Before, New_Item, 1); 840 New_Item : Element_Type; 858 New_Item : Vector) 1171 Prepend (Container, New_Item, 1); 1176 New_Item : Element_Type; 1190 New_Item : Element_Type) [all …]
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 831 New_Item : Element_Type) 834 Insert (Container, Before, New_Item, 1); 840 New_Item : Element_Type; 858 New_Item : Vector) 1171 Prepend (Container, New_Item, 1); 1176 New_Item : Element_Type; 1190 New_Item : Element_Type) [all …]
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 831 New_Item : Element_Type) 834 Insert (Container, Before, New_Item, 1); 840 New_Item : Element_Type; 858 New_Item : Vector) 1171 Prepend (Container, New_Item, 1); 1176 New_Item : Element_Type; 1190 New_Item : Element_Type) [all …]
|
/dports/lang/gcc9-aux/bootstrap/lib/gcc/x86_64-aux-dragonfly5.5/9.1.0/adainclude/ |
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 831 New_Item : Element_Type) 834 Insert (Container, Before, New_Item, 1); 840 New_Item : Element_Type; 858 New_Item : Vector) 1171 Prepend (Container, New_Item, 1); 1176 New_Item : Element_Type; 1190 New_Item : Element_Type) [all …]
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/libgnat/ |
H A D | a-cfinve.adb | 108 if Is_Empty (New_Item) then 121 Append (Container, New_Item, 1); 126 New_Item : Element_Type; 831 New_Item : Element_Type) 834 Insert (Container, Before, New_Item, 1); 840 New_Item : Element_Type; 858 New_Item : Vector) 1171 Prepend (Container, New_Item, 1); 1176 New_Item : Element_Type; 1190 New_Item : Element_Type) [all …]
|