Home
last modified time | relevance | path

Searched refs:Vet (Results 1 – 25 of 1884) sorted by relevance

12345678910>>...76

/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Da-cohama.adb80 function Vet (Position : Cursor) return Boolean; subprogspec
204 (Vet (Position),
330 pragma Assert (Vet (Position), "bad cursor in Delete");
541 pragma Assert (Vet (Position), "bad cursor in Has_Element");
746 pragma Assert (Vet (Position), "bad cursor in function Key");
787 pragma Assert (Vet (Position), "bad cursor in function Next");
854 pragma Assert (Vet (Position), "bad cursor in Query_Element");
924 (Vet (Position),
1080 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1096 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
H A Da-cbhama.adb66 function Vet (Position : Cursor) return Boolean; subprogspec
204 pragma Assert (Vet (Position),
331 pragma Assert (Vet (Position), "bad cursor in Delete");
514 pragma Assert (Vet (Position), "bad cursor in Has_Element");
763 pragma Assert (Vet (Position), "bad cursor in function Key");
811 pragma Assert (Vet (Position), "bad cursor in function Next");
877 pragma Assert (Vet (Position), "bad cursor in Query_Element");
980 pragma Assert (Vet (Position),
1122 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1136 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/
H A Da-cohama.adb80 function Vet (Position : Cursor) return Boolean; subprogspec
204 (Vet (Position),
330 pragma Assert (Vet (Position), "bad cursor in Delete");
541 pragma Assert (Vet (Position), "bad cursor in Has_Element");
746 pragma Assert (Vet (Position), "bad cursor in function Key");
787 pragma Assert (Vet (Position), "bad cursor in function Next");
854 pragma Assert (Vet (Position), "bad cursor in Query_Element");
924 (Vet (Position),
1080 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1096 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
H A Da-cbhama.adb66 function Vet (Position : Cursor) return Boolean; subprogspec
204 pragma Assert (Vet (Position),
331 pragma Assert (Vet (Position), "bad cursor in Delete");
514 pragma Assert (Vet (Position), "bad cursor in Has_Element");
763 pragma Assert (Vet (Position), "bad cursor in function Key");
811 pragma Assert (Vet (Position), "bad cursor in function Next");
877 pragma Assert (Vet (Position), "bad cursor in Query_Element");
980 pragma Assert (Vet (Position),
1122 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1136 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Da-cbhama.adb66 function Vet (Position : Cursor) return Boolean; subprogspec
204 pragma Assert (Vet (Position),
331 pragma Assert (Vet (Position), "bad cursor in Delete");
514 pragma Assert (Vet (Position), "bad cursor in Has_Element");
765 pragma Assert (Vet (Position), "bad cursor in function Key");
813 pragma Assert (Vet (Position), "bad cursor in function Next");
879 pragma Assert (Vet (Position), "bad cursor in Query_Element");
982 pragma Assert (Vet (Position),
1124 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1138 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
H A Da-cohama.adb80 function Vet (Position : Cursor) return Boolean; subprogspec
204 (Vet (Position),
330 pragma Assert (Vet (Position), "bad cursor in Delete");
541 pragma Assert (Vet (Position), "bad cursor in Has_Element");
747 pragma Assert (Vet (Position), "bad cursor in function Key");
792 pragma Assert (Vet (Position), "bad cursor in function Next");
858 pragma Assert (Vet (Position), "bad cursor in Query_Element");
928 (Vet (Position),
1084 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1100 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/libgnat/
H A Da-cohama.adb80 function Vet (Position : Cursor) return Boolean; subprogspec
204 (Vet (Position),
330 pragma Assert (Vet (Position), "bad cursor in Delete");
541 pragma Assert (Vet (Position), "bad cursor in Has_Element");
747 pragma Assert (Vet (Position), "bad cursor in function Key");
792 pragma Assert (Vet (Position), "bad cursor in function Next");
858 pragma Assert (Vet (Position), "bad cursor in Query_Element");
928 (Vet (Position),
1084 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1100 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
H A Da-cbhama.adb66 function Vet (Position : Cursor) return Boolean; subprogspec
204 pragma Assert (Vet (Position),
331 pragma Assert (Vet (Position), "bad cursor in Delete");
514 pragma Assert (Vet (Position), "bad cursor in Has_Element");
765 pragma Assert (Vet (Position), "bad cursor in function Key");
813 pragma Assert (Vet (Position), "bad cursor in function Next");
879 pragma Assert (Vet (Position), "bad cursor in Query_Element");
982 pragma Assert (Vet (Position),
1124 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1138 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/lang/gcc6-aux/bootstrap/lib/gcc/x86_64-aux-dragonfly4.1/5.1.0/adainclude/
H A Da-cohama.adb76 function Vet (Position : Cursor) return Boolean; subprogspec
213 (Vet (Position),
343 pragma Assert (Vet (Position), "bad cursor in Delete");
564 pragma Assert (Vet (Position), "bad cursor in Has_Element");
783 pragma Assert (Vet (Position), "bad cursor in function Key");
824 pragma Assert (Vet (Position), "bad cursor in function Next");
876 pragma Assert (Vet (Position), "bad cursor in Query_Element");
962 (Vet (Position),
1124 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1156 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/
H A Da-cbhama.adb60 function Vet (Position : Cursor) return Boolean; subprogspec
197 pragma Assert (Vet (Position),
312 pragma Assert (Vet (Position), "bad cursor in Delete");
489 pragma Assert (Vet (Position), "bad cursor in Has_Element");
753 pragma Assert (Vet (Position), "bad cursor in function Key");
804 pragma Assert (Vet (Position), "bad cursor in function Next");
855 pragma Assert (Vet (Position), "bad cursor in Query_Element");
974 pragma Assert (Vet (Position),
1107 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1136 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
H A Da-cohama.adb74 function Vet (Position : Cursor) return Boolean; subprogspec
211 (Vet (Position),
341 pragma Assert (Vet (Position), "bad cursor in Delete");
562 pragma Assert (Vet (Position), "bad cursor in Has_Element");
781 pragma Assert (Vet (Position), "bad cursor in function Key");
822 pragma Assert (Vet (Position), "bad cursor in function Next");
874 pragma Assert (Vet (Position), "bad cursor in Query_Element");
960 (Vet (Position),
1122 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1154 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Da-cbhama.adb66 function Vet (Position : Cursor) return Boolean; subprogspec
204 pragma Assert (Vet (Position),
331 pragma Assert (Vet (Position), "bad cursor in Delete");
514 pragma Assert (Vet (Position), "bad cursor in Has_Element");
765 pragma Assert (Vet (Position), "bad cursor in function Key");
813 pragma Assert (Vet (Position), "bad cursor in function Next");
879 pragma Assert (Vet (Position), "bad cursor in Query_Element");
982 pragma Assert (Vet (Position),
1124 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1138 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
H A Da-cohama.adb80 function Vet (Position : Cursor) return Boolean; subprogspec
204 (Vet (Position),
330 pragma Assert (Vet (Position), "bad cursor in Delete");
541 pragma Assert (Vet (Position), "bad cursor in Has_Element");
747 pragma Assert (Vet (Position), "bad cursor in function Key");
792 pragma Assert (Vet (Position), "bad cursor in function Next");
858 pragma Assert (Vet (Position), "bad cursor in Query_Element");
928 (Vet (Position),
1084 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1100 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/libgnat/
H A Da-cohama.adb80 function Vet (Position : Cursor) return Boolean; subprogspec
204 (Vet (Position),
330 pragma Assert (Vet (Position), "bad cursor in Delete");
541 pragma Assert (Vet (Position), "bad cursor in Has_Element");
747 pragma Assert (Vet (Position), "bad cursor in function Key");
792 pragma Assert (Vet (Position), "bad cursor in function Next");
858 pragma Assert (Vet (Position), "bad cursor in Query_Element");
928 (Vet (Position),
1084 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1100 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
H A Da-cbhama.adb66 function Vet (Position : Cursor) return Boolean; subprogspec
204 pragma Assert (Vet (Position),
327 pragma Assert (Vet (Position), "bad cursor in Delete");
510 pragma Assert (Vet (Position), "bad cursor in Has_Element");
761 pragma Assert (Vet (Position), "bad cursor in function Key");
809 pragma Assert (Vet (Position), "bad cursor in function Next");
875 pragma Assert (Vet (Position), "bad cursor in Query_Element");
978 pragma Assert (Vet (Position),
1120 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1134 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/libgnat/
H A Da-cbhama.adb66 function Vet (Position : Cursor) return Boolean; subprogspec
204 pragma Assert (Vet (Position),
331 pragma Assert (Vet (Position), "bad cursor in Delete");
514 pragma Assert (Vet (Position), "bad cursor in Has_Element");
765 pragma Assert (Vet (Position), "bad cursor in function Key");
813 pragma Assert (Vet (Position), "bad cursor in function Next");
879 pragma Assert (Vet (Position), "bad cursor in Query_Element");
982 pragma Assert (Vet (Position),
1124 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1138 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
H A Da-cohama.adb80 function Vet (Position : Cursor) return Boolean; subprogspec
204 (Vet (Position),
330 pragma Assert (Vet (Position), "bad cursor in Delete");
541 pragma Assert (Vet (Position), "bad cursor in Has_Element");
747 pragma Assert (Vet (Position), "bad cursor in function Key");
792 pragma Assert (Vet (Position), "bad cursor in function Next");
858 pragma Assert (Vet (Position), "bad cursor in Query_Element");
928 (Vet (Position),
1084 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1100 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/libgnat/
H A Da-cohama.adb83 function Vet (Position : Cursor) return Boolean; subprogspec
207 (Vet (Position),
333 pragma Assert (Vet (Position), "bad cursor in Delete");
557 pragma Assert (Vet (Position), "bad cursor in Has_Element");
763 pragma Assert (Vet (Position), "bad cursor in function Key");
808 pragma Assert (Vet (Position), "bad cursor in function Next");
874 pragma Assert (Vet (Position), "bad cursor in Query_Element");
974 (Vet (Position),
1130 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1146 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/
H A Da-cohama.adb88 function Vet (Position : Cursor) return Boolean; subprogspec
225 (Vet (Position),
355 pragma Assert (Vet (Position), "bad cursor in Delete");
574 pragma Assert (Vet (Position), "bad cursor in Has_Element");
793 pragma Assert (Vet (Position), "bad cursor in function Key");
834 pragma Assert (Vet (Position), "bad cursor in function Next");
886 pragma Assert (Vet (Position), "bad cursor in Query_Element");
973 (Vet (Position),
1135 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1169 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
H A Da-cbhama.adb75 function Vet (Position : Cursor) return Boolean; subprogspec
212 pragma Assert (Vet (Position),
326 pragma Assert (Vet (Position), "bad cursor in Delete");
501 pragma Assert (Vet (Position), "bad cursor in Has_Element");
760 pragma Assert (Vet (Position), "bad cursor in function Key");
811 pragma Assert (Vet (Position), "bad cursor in function Next");
862 pragma Assert (Vet (Position), "bad cursor in Query_Element");
981 pragma Assert (Vet (Position),
1114 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1143 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/libgnat/
H A Da-cohama.adb80 function Vet (Position : Cursor) return Boolean; subprogspec
204 (Vet (Position),
330 pragma Assert (Vet (Position), "bad cursor in Delete");
541 pragma Assert (Vet (Position), "bad cursor in Has_Element");
747 pragma Assert (Vet (Position), "bad cursor in function Key");
792 pragma Assert (Vet (Position), "bad cursor in function Next");
858 pragma Assert (Vet (Position), "bad cursor in Query_Element");
928 (Vet (Position),
1084 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1100 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
H A Da-cbhama.adb66 function Vet (Position : Cursor) return Boolean; subprogspec
204 pragma Assert (Vet (Position),
327 pragma Assert (Vet (Position), "bad cursor in Delete");
510 pragma Assert (Vet (Position), "bad cursor in Has_Element");
761 pragma Assert (Vet (Position), "bad cursor in function Key");
809 pragma Assert (Vet (Position), "bad cursor in function Next");
875 pragma Assert (Vet (Position), "bad cursor in Query_Element");
978 pragma Assert (Vet (Position),
1120 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1134 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/
H A Da-cohama.adb83 function Vet (Position : Cursor) return Boolean; subprogspec
214 (Vet (Position),
340 pragma Assert (Vet (Position), "bad cursor in Delete");
565 pragma Assert (Vet (Position), "bad cursor in Has_Element");
776 pragma Assert (Vet (Position), "bad cursor in function Key");
821 pragma Assert (Vet (Position), "bad cursor in function Next");
887 pragma Assert (Vet (Position), "bad cursor in Query_Element");
987 (Vet (Position),
1143 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1159 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/
H A Da-cohama.adb88 function Vet (Position : Cursor) return Boolean; subprogspec
225 (Vet (Position),
355 pragma Assert (Vet (Position), "bad cursor in Delete");
574 pragma Assert (Vet (Position), "bad cursor in Has_Element");
793 pragma Assert (Vet (Position), "bad cursor in function Key");
834 pragma Assert (Vet (Position), "bad cursor in function Next");
886 pragma Assert (Vet (Position), "bad cursor in Query_Element");
973 (Vet (Position),
1135 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1169 function Vet (Position : Cursor) return Boolean is subprogram
[all …]
H A Da-cbhama.adb75 function Vet (Position : Cursor) return Boolean; subprogspec
212 pragma Assert (Vet (Position),
326 pragma Assert (Vet (Position), "bad cursor in Delete");
501 pragma Assert (Vet (Position), "bad cursor in Has_Element");
760 pragma Assert (Vet (Position), "bad cursor in function Key");
811 pragma Assert (Vet (Position), "bad cursor in function Next");
862 pragma Assert (Vet (Position), "bad cursor in Query_Element");
981 pragma Assert (Vet (Position),
1114 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1143 function Vet (Position : Cursor) return Boolean is subprogram
[all …]

12345678910>>...76