while not EOF do
begin
readln(s);
lines.Add(s);
end;
@lines = <STDIN>;
@lines is a list variable. <STDIN> evaluates the built-in file handle STDIN. In list context, it will be evaluated repeatedly, returning a line each time until EOF.
declare
package String_Vectors is new
Ada.Containers.Indefinite_Vectors
(Index_Type => Positive, Element_Type => String);
use String_Vectors, Ada.Text_IO;
Lines : Vector;
begin
while not End_Of_File loop
Lines.Append (Get_Line);
end loop;
end;