Description
Zero-copy complete-buffer algorithms for Ada stream-element arrays.
Search_Result
type Search_Result is record
Found : Boolean;
Index : Ada.Streams.Stream_Element_Offset;
end record;
Result of a stream-element search. Index is meaningful only when Found is True.
Record fields
- Found
True when the algorithm found a requested byte.
- Index
The actual match index when Found is True.