------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- Cheddar is a GNU GPL real-time scheduling analysis tool.
-- This program provides services to automatically check schedulability and
-- other performance criteria of real-time architecture models.
--
-- Copyright (C) 2002-2023, Frank Singhoff, Alain Plantec, Jerome Legrand,
--                          Hai Nam Tran, Stephane Rubini
--
-- The Cheddar project was started in 2002 by
-- Frank Singhoff, Lab-STICC UMR 6285, Université de Bretagne Occidentale
--
-- Cheddar has been published in the "Agence de Protection des Programmes/France" in 2008.
-- Since 2008, Ellidiss technologies also contributes to the development of
-- Cheddar and provides industrial support.
--
-- The full list of contributors and sponsors can be found in README.md
--
-- This program is free software; you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation; either version 2 of the License, or
-- (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-- GNU General Public License for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with this program; if not, write to the Free Software
-- Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
--
--
-- Contact : cheddar@listes.univ-brest.fr
--
------------------------------------------------------------------------------
-- Last update :
--    $Rev$
--    $Date$
--    $Author: singhoff $
------------------------------------------------------------------------------
------------------------------------------------------------------------------

with version; use version;

with Ada.IO_Exceptions; use Ada.IO_Exceptions;

with GNAT.Current_Exception; use GNAT.Current_Exception;

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;

with unbounded_strings; use unbounded_strings;

with GNAT.Command_Line; use GNAT.Command_Line;

with GNAT.OS_Lib; use GNAT.OS_Lib;

with Text_IO; use Text_IO;

procedure cut is

   procedure usage is
   begin
      New_Line;
      Put_Line ("Usage : cut  infile");
      Put_Line ("   switch can be :");
      Put_Line
        ("            -t line number to be removed from the beginning of the file");
      Put_Line ("            -u get this help");
      New_Line;
   end usage;

   infile           : Unbounded_String;
   number_of_line   : Natural := 0;
   ok               : Boolean;
   into             : File_Type;
   outto            : File_Type;
   read_string      : String (1 .. 100_000);
   read_string_size : Natural;

begin

   copyright ("cut");

   -- Get arguments
   --
   loop
      case Getopt ("u t:") is
         when ASCII.NUL =>
            exit;

         when 'u' =>
            usage;
            OS_Exit (0);

         when 't' =>
            to_natural (To_Unbounded_String (Parameter), number_of_line, ok);
            if not ok then
               Put_Line ("cut.adb : the number of line must be numeric");
               usage;
               OS_Exit (0);
            end if;

         when others =>
            usage;
            OS_Exit (0);
      end case;
   end loop;

   loop
      declare
         s : constant String := Get_Argument (Do_Expansion => True);
      begin
         exit when s'Length = 0;
         infile := infile & s;
      end;
   end loop;

   if (infile = empty_string) then
      Put_Line ("cut.adb : a file name is required");
      usage;
      OS_Exit (0);
   end if;

   Open (into, Mode => In_File, Name => To_String (infile));

   -- First, skip the ligne on the top of the file
   --
   for i in 0 .. number_of_line loop
      Get_Line (into, read_string, read_string_size);
   end loop;

   -- Copy the next line of the file
   --
   Create (outto, Mode => Out_File, Name => "cut.txt");

   while not End_Of_File (into) loop
      Get_Line (into, read_string, read_string_size);
      Put_Line (outto, read_string (1 .. read_string_size));
   end loop;

   Close (into);
   Close (outto);

   -- Update the cutted infile
   --
   Open (into, Mode => In_File, Name => "cut.txt");
   Create (outto, Mode => Out_File, Name => To_String (infile));

   while not End_Of_File (into) loop
      Get_Line (into, read_string, read_string_size);
      Put_Line (outto, read_string (1 .. read_string_size));
   end loop;

exception
   when Invalid_Switch =>
      begin
         Put_Line ("cut.adb : invalid Switch " & Full_Switch);
         usage;
      end;
   when Invalid_Parameter =>
      Put_Line ("cut.adb : missing parameter for switch " & Full_Switch);
   when Ada.IO_Exceptions.Name_Error =>
      Put_Line ("cut.adb : Can not access file, Name_Error");
   when Ada.IO_Exceptions.Status_Error =>
      Put_Line ("cut.adb : Can not access file, Status_Error");
   when Ada.IO_Exceptions.Mode_Error =>
      Put_Line ("cut.adb : Can not access file, Mode_Error");
   when Ada.IO_Exceptions.Use_Error =>
      Put_Line ("cut.adb : Can not access file, Use_Error");
   when Ada.IO_Exceptions.Device_Error =>
      Put_Line ("cut.adb : Can not access file, Device_Error");
   when Ada.IO_Exceptions.End_Error =>
      Put_Line ("cut.adb : Can not access file, End_Error");
   when Ada.IO_Exceptions.Data_Error =>
      Put_Line ("cut.adb : Can not access file, Data_Error");
   when Ada.IO_Exceptions.Layout_Error =>
      Put_Line ("cut.adb : Can not access file, Layout_Error");
   when others =>
      Put_Line ("Exception name    : " & Exception_Name);
      Put_Line ("Exception message : " & Exception_Message);
end cut;