with text_io,integer_io; use text_io,integer_io;
with Standard_Integer_Vectors;
with Standard_Integer_Vectors_io;
with Standard_Integer_VecVecs;
with Standard_Integer_VecVecs_io;
with Multprec_Integer_Vectors;
with Multprec_Integer_Vectors_io;
with Multprec_Integer_Vecvecs;
with Multprec_Integer_Vecvecs_io;
procedure ts_intvec is
-- DESCRIPTION :
-- Tests the vector packages of standard and multi-precision integers.
procedure Test_Standard_Vectors_io is
use Standard_Integer_Vectors,Standard_Integer_Vectors_io;
n : natural;
begin
put("Give the dimension : "); get(n);
declare
nv : Vector(1..n);
begin
put("Give "); put(n,1); put_line(" integer numbers : "); get(nv);
put("Your vector : "); put(nv); new_line;
end;
end Test_Standard_Vectors_io;
procedure Test_Standard_VecVecs_io is
use Standard_Integer_VecVecs,Standard_Integer_VecVecs_io;
n : natural;
begin
put("Give the dimension : "); get(n);
declare
nv : VecVec(1..n);
begin
put("Give "); put(n,1); put_line(" integer vectors : "); get(n,nv);
put_line("Your vector : "); put(nv); new_line;
end;
end Test_Standard_VecVecs_io;
procedure Test_Multprec_Vectors_io is
use Multprec_Integer_Vectors,Multprec_Integer_Vectors_io;
n : natural;
begin
put("Give the dimension : "); get(n);
declare
nv : Vector(1..n);
begin
put("Give "); put(n,1); put_line(" integer numbers : "); get(nv);
put_line("Your vector : "); put_line(nv);
end;
end Test_Multprec_Vectors_io;
procedure Test_Multprec_VecVecs_io is
use Multprec_Integer_VecVecs,Multprec_Integer_VecVecs_io;
n : natural;
begin
put("Give the dimension : "); get(n);
declare
nv : VecVec(1..n);
begin
put("Give "); put(n,1); put_line(" integer vectors : "); get(n,nv);
put_line("Your vector : "); put_line(nv);
end;
end Test_Multprec_VecVecs_io;
procedure Main is
ans : character;
begin
new_line;
put_line("Interactive testing of vectors of integer numbers.");
loop
new_line;
put_line("Choose one of the following : ");
put_line(" 0. exit this program.");
put_line(" 1. io of vectors of standard integer numbers.");
put_line(" 2. io of vectors of vectors of standard integer numbers.");
put_line(" 3. io of vectors of multi-precision integer numbers.");
put_line(" 4. io of vectors of vectors of multi-precision integers.");
put("Make your choice (0,1,2,3, or 4) : "); get(ans);
case ans is
when '1' => Test_Standard_Vectors_io;
when '2' => Test_Standard_VecVecs_io;
when '3' => Test_Multprec_Vectors_io;
when '4' => Test_Multprec_VecVecs_io;
when others => null;
end case;
exit when ans = '0';
end loop;
end Main;
begin
Main;
end ts_intvec;