DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download
Index: T V

⟦337340d24⟧ TextFile

    Length: 2701 (0xa8d)
    Types: TextFile
    Names: »V«

Derivation

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧

TextFile

-- This package provides cleaner versions of the file opening/creating
-- operations in the IO package.
--
with Io;
package Low_Level_File_Operations is

    procedure Create (This_File : in String);
    --
    -- If the specified file already exists, does nothing.
    --
    -- If the specified file does not already exist, creates it.
    --
    -- Raises "IO_Failure" if the creation attempt fails for some reason.

    function Open_To_Read  
                (This_File : in String) return Io.File_Type;
    --
    -- Returns a pointer to the specified file after opening it for reading.
    --
    -- Raises "IO_Failure" if the attempt fails for some reason.

    procedure Open_To_Read  
                 (This_File : in String; The_File : out Io.File_Type);
    --
    -- Attempts to open the specified file for reading.
    --
    -- Raises "IO_Failure" if the attempt fails for some reason.

    function Open_To_Write  
                (This_File : in String) return Io.File_Type;
    --
    -- Returns a pointer to the specified file after opening it for writing.
    -- Any pre-existing contents of the file are overwritten.
    --
    -- Raises "IO_Failure" if the attempt fails for some reason.

    procedure Open_To_Write  
                 (This_File : in String; The_File : out Io.File_Type);
    --
    -- Attempts to open the specified file for writing.
    -- Any pre-existing contents of the file are overwritten.
    --
    -- Raises "IO_Failure" if the attempt fails for some reason.

    function Open_To_Append  
                (This_File : in String) return Io.File_Type;
    --
    -- Returns a pointer to the specified file after opening it for append.
    -- If the file doesn't exist, it is created.
    --
    -- Raises "IO_Failure" if the attempt fails for some reason.

    procedure Open_To_Append  
                 (This_File : in String; The_File : out Io.File_Type);
    --
    -- Attempts to open the specified file for append.
    -- If the file doesn't exist, it is created.
    --
    -- Raises "IO_Failure" if the attempt fails for some reason.

    procedure Close  
                 (This_File : in out Io.File_Type);
    --
    -- If the specified file is open, attempts to close it.
    -- If the file is not open or doesn't exist, has no effect.

    procedure Destroy (This_File : in out Io.File_Type);
    --
    -- Attempts to destroy the specified file. If the file does not
    -- exist or is not open, has no effect.

    procedure Destroy (This_File : in String);
    --
    -- Attempts to destroy the specified file. If the file does not
    -- exist or is not open, has no effect.

    Io_Failure : exception;

end Low_Level_File_Operations;