| Nico Huber | 292f8a3 | 2024-02-08 19:07:30 +0100 | [diff] [blame] | 1 | package body FILO is |
| 2 | |||||
| 3 | function Equal (Str : String; Buf : Buffer_Type) return Boolean is | ||||
| 4 | begin | ||||
| 5 | for I in Str'Range loop | ||||
| 6 | if Character'Pos (Str (I)) /= Buf (Buf'First + (I - Str'First)) then | ||||
| 7 | return False; | ||||
| 8 | end if; | ||||
| 9 | end loop; | ||||
| 10 | return True; | ||||
| 11 | end Equal; | ||||
| 12 | |||||
| 13 | end FILO; | ||||