Re: Re-write a file in Ada

[Anh Vo <anhvofrcaus@gmail.com>]

On Sunday, January 10, 2016 at 2:57:42 PM UTC-8, comicf...@gmail.com wrote:
> Thanks björn lundin and the others !
> 
> I finally suceed :
> 
> WITH Ada.Text_IO ;  		USE Ada.Text_IO ;
> WITH Ada.Text_IO.Unbounded_IO ;	USE Ada.Text_IO.Unbounded_IO ;
> WITH Ada.Strings.Unbounded ;	USE Ada.Strings.Unbounded ;
> 
> Procedure main is
> 
>   next_l : Positive_Count := 1 ;
> 
>   this_file : File_type ;
> 
>   f_deux : File_type ;
> 
>   Type T_Tableau is array( 1 .. 1_000 ) of unbounded_string ;
> 
>   case_of_array : T_Tableau ;
> 
>   get_l : integer := 1 ;
>   -- Rôle d'intervalle dans le tableau , dans la boucle
> 
>   c_to_put : integer ;
> 
>   nb_lign_to_put : integer := 1 ;
> 
> Begin
> 
> 	Open
>      (File => this_file ,
>       Mode => In_file ,
>       Name => "main.adb");
> 
>     un : loop exit when End_Of_File ( this_file ) ;
> 	    set_line ( this_file , next_l ) ;
> 
> 	    case_of_array(get_l) := Get_Line( this_file );
> 
> 		next_l := next_l + 1 ;
> 		get_l := get_l + 1 ;
> 
> 		 c_to_put := get_l ;
> 	    -- compte le nbr de get_line effectué
> 
>    end loop un ;
> 
>       Open
>      (File => f_deux ,
>       Mode => Out_file ,
>       Name => "verify");
> 
>     deux : loop exit when nb_lign_to_put = c_to_put ;
> 
>      Put_line( f_deux , case_of_array(nb_lign_to_put) ) ;
> 
>      nb_lign_to_put := nb_lign_to_put + 1 ;
> 
>    end loop deux ;
> End main ;

It is very inefficient. In fact, the Set_Line (...) can be eliminated. In addition, next_l, c_to_put and nb_lign_to_put variables are not needed.

Anh Vo