Searched refs:At_Mark (Results 1 – 4 of 4) sorted by relevance
/dports/devel/adabooch/bc-20160321/tests/ |
H A D | tests-rings.adb | 99 Assert (At_Mark (R), "should be at mark"); 189 Assert (At_Mark (R), "should be at mark"); 213 Assert (At_Mark (R), "should be at mark"); 217 Assert (At_Mark (R), "should be at mark"); 321 Assert (At_Mark (R), "should be at mark"); 343 Assert (At_Mark (R), "is not at mark (a)"); 346 Assert (not At_Mark (R), "is at mark (a)"); 349 Assert (not At_Mark (R), "is at mark (b)"); 355 Assert (At_Mark (R), "is not at mark (c)"); 361 Assert (not At_Mark (R), "is at mark (c)"); [all …]
|
H A D | ring_test.adb | 116 Assertion (not At_Mark (R2), "** P31: Ring at mark"); 118 Assertion (At_Mark (R2), "** P32: Ring not at mark"); 121 Assertion (not At_Mark (R2), "** P34: Ring at mark"); 123 Assertion (At_Mark (R2), "** P35: Ring not at mark"); 130 Assertion (At_Mark (R2), "** P40: Ring at mark");
|
/dports/devel/adabooch/bc-20160321/src/ |
H A D | bc-containers-rings.adb | 109 function At_Mark (R : Abstract_Ring) return Boolean is subprogram 112 end At_Mark;
|
H A D | bc-containers-rings.ads | 92 function At_Mark (R : Abstract_Ring) return Boolean; subprogspec
|