Home
last modified time | relevance | path

Searched refs:At_Mark (Results 1 – 4 of 4) sorted by relevance

/dports/devel/adabooch/bc-20160321/tests/
H A Dtests-rings.adb99 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 Dring_test.adb116 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 Dbc-containers-rings.adb109 function At_Mark (R : Abstract_Ring) return Boolean is subprogram
112 end At_Mark;
H A Dbc-containers-rings.ads92 function At_Mark (R : Abstract_Ring) return Boolean; subprogspec