next up previous contents
Siguiente: Integer_IO Subir: Text_IO Anterior: Text_IO   Índice General

Text_IO

package Text_IO is

   type File_Type is limited private;
   type File_Mode is (In_File, Out_File, Append_File);

   type Count is range 0 .. System.Parameters.Count_Max;

   subtype Positive_Count is Count range 1 .. Count'Last;

   ---------------------
   -- File Management --
   ---------------------

   procedure Create
     (File : in out File_Type;
      Mode : in File_Mode := Out_File;
      Name : in String := "";
      Form : in String := "");
   --  Si el fichero no existe, lo crea.
   --  Si el fichero ya existe, lo borra y crea uno nuevo.
   --  Si quieres crear el fichero en un determinado directorio
   --  debes dar en el parametro "Name" el camino completo.
   --  Por ejemplo: Name => "/tmp/Numeros.dat"
   --  El campo "Form" no se suele utilizar.

   procedure Open
     (File : in out File_Type;
      Mode : in File_Mode;
      Name : in String;
      Form : in String := "");
   --  Abre un fichero que ya existe. Los parametros "Name" y
   --  "Form" son identicos a los de "Create".

   procedure Close  (File : in out File_Type);
   --  Cierra un fichero y elimina el vinculo entre la variable
   --  fichero y el nombre del fichero (por lo que puedo
   --  reutilizar la variable fichero).

   procedure Delete (File : in out File_Type);
   --  Borra un fichero y elimina el vinculo entre la variable
   --  fichero y el nombre del fichero.

   procedure Reset  (File : in out File_Type; Mode : in File_Mode);
   --  Reabre el fichero con el modo especificado.

   procedure Reset  (File : in out File_Type);
   --  Reabre el fichero con el mismo modo que tiene actualmente.

   function Mode (File : in File_Type) return File_Mode;
   --  Consulta el modo en que esta abierto el fichero.

   function Name (File : in File_Type) return String;
   --  Consulta el nombre del fichero.

   function Form (File : in File_Type) return String;
   --  Consulta el formato (si se dio alguno) asociado al fichero.

   function Is_Open (File : in File_Type) return Boolean;
   --  Me dice si la variable fichero tiene asociado algún 
   --  fichero abierto o si ya lo he cerrado.

   ------------------------------------
   -- Column, Line, and Page Control --
   ------------------------------------

   procedure New_Line (File : in File_Type; Spacing : in Positive_Count := 1);
   procedure New_Line (Spacing : in Positive_Count := 1);

   procedure Skip_Line (File : in File_Type; Spacing : in Positive_Count := 1);
   procedure Skip_Line (Spacing : in Positive_Count := 1);

   function End_Of_File (File : in File_Type) return Boolean;
   function End_Of_File return Boolean;

   -----------------------------
   -- Characters Input-Output --
   -----------------------------

   procedure Get (File : in File_Type; Item : out Character);
   procedure Get (Item : out Character);

   procedure Put (File : in File_Type; Item : in Character);
   procedure Put (Item : in Character);

   procedure Look_Ahead
     (File        : in File_Type;
      Item        : out Character;
      End_Of_Line : out Boolean);
   --  Nos dice cual es la siguiente letra que hay en el fichero,
   --  pero no la quita del buffer de entrada.

   procedure Look_Ahead
     (Item        : out Character;
      End_Of_Line : out Boolean);
   --  Nos dice cual es la siguiente tecla que se ha pulsado,
   --  pero no la quita del buffer de entrada.

   procedure Get_Immediate
     (File : in File_Type;
      Item : out Character);

   procedure Get_Immediate
     (Item : out Character);

   procedure Get_Immediate
     (File      : in File_Type;
      Item      : out Character;
      Available : out Boolean);

   procedure Get_Immediate
     (Item      : out Character;
      Available : out Boolean);
   --  No dice si se ha pulsado alguna tecla (Available)
   -   y que tecla es la pulsada (Item).

   --------------------------
   -- Strings Input-Output --
   --------------------------

   procedure Get (File : in File_Type; Item : out String);
   procedure Get (Item : out String);

   procedure Put (File : in File_Type; Item : in String);
   procedure Put (Item : in String);

   procedure Get_Line
     (File : in File_Type;
      Item : out String;
      Last : out Natural);

   procedure Get_Line
     (Item : out String;
      Last : out Natural);

   procedure Put_Line
     (File : in File_Type;
      Item : in String);

   procedure Put_Line
     (Item : in String);

   --  Exceptions

   Status_Error : exception;
   Mode_Error   : exception; 
   Name_Error   : exception;
   Use_Error    : exception;
   Device_Error : exception;
   End_Error    : exception;
   Data_Error   : exception;
   Layout_Error : exception;

private
   . . .
end Text_IO;



Javier Miranda 2002-10-03