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;