Lines Matching refs:Vet
66 function Vet (Position : Cursor) return Boolean; subprogspec
204 pragma Assert (Vet (Position),
331 pragma Assert (Vet (Position), "bad cursor in Delete");
363 pragma Assert (Vet (Position), "bad cursor in function Element");
396 pragma Assert (Vet (Left), "Left cursor of Equivalent_Keys is bad");
397 pragma Assert (Vet (Right), "Right cursor of Equivalent_Keys is bad");
415 pragma Assert (Vet (Left), "Left cursor in Equivalent_Keys is bad");
432 pragma Assert (Vet (Right), "Right cursor of Equivalent_Keys is bad");
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),
1074 pragma Assert (Vet (Position), "bad cursor in Replace_Element");
1124 pragma Assert (Vet (Position), "bad cursor in Update_Element");
1138 function Vet (Position : Cursor) return Boolean is subprogram
1194 end Vet;