DataMuseum.dk

top - metrics - download

    Length: 3740 (0xe9c)
    Types: TextFile
    Names: »B«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Communications;
with Files;
with Interchange;
with Mac_Types;
with Mac_Text;
with Rational_Error;
with System;
with Talk_Utils;
with Text_Io;
use Text_Io;
with Unchecked_Conversion;
package body File_Exists_R is

    package File_Exists_F is

        procedure Of_Remote_File_In (Name : Mac_Text.Text);
        procedure File_Exists_Out (Exists : out Boolean);
        procedure End_File_Exists;

    end File_Exists_F;

    package body File_Exists_F is  
        Err : Mac_Types.Oserr := Mac_Types.Noerr;
        Existence : Boolean := False;

        function As_Stringptr is new Unchecked_Conversion
                                        (Source => System.Address,
                                         Target => Mac_Types.Stringptr);

        function As_Hparmblkptr is
           new Unchecked_Conversion (Source => System.Address,
                                     Target => Files.Hparmblkptr);


        procedure Of_Remote_File_In (Name : Mac_Text.Text) is
            S : Mac_Types.Str255 := Mac_Text.Value (Name);  
            Pb : Files.Filehparamblockrec;
        begin
            Existence := False;
            Pb.Iocompletion := null;
            Pb.Ionameptr := As_Stringptr (S'Address);
            Pb.Iovrefnum := 0;
            Pb.Iofdirindex := 0;
            Pb.Iodirid := 0;
            Err := Files.Pbhgetfinfo (As_Hparmblkptr (Pb'Address), False);
            Existence := Err = Mac_Types.Noerr;
        end Of_Remote_File_In;

        procedure File_Exists_Out (Exists : out Boolean) is
        begin  
            Exists := Existence;
        end File_Exists_Out;

        procedure End_File_Exists is
        begin  
            null;
        end End_File_Exists;

    end File_Exists_F;

    procedure Read (A_Connection : in out Communications.Connection) is
        I : Mac_Types.Longint;
        T : Mac_Text.Text (256);  
    begin
        Put_Line ("file_exists_r:read begin");
        Interchange.Get_Int (A_Connection, I);
        if I /= Talk_Utils.F_Of_Remote_File then
            Rational_Error.Raise_Error (Rational_Error.Internal_Error);
        end if;
        Interchange.Get_Text (A_Connection, T);
        File_Exists_F.Of_Remote_File_In (T);
        Put ("file_exists_r:file '");
        for I in 1 .. Mac_Text.Length (T) loop
            Put (Character'Val (Mac_Types.Char'Pos (Mac_Text.Value (I, T))));
        end loop;
        Put_Line ("'");
        Interchange.Get_Int (A_Connection, I);
        if I /= Talk_Utils.F_Delimitor then
            Rational_Error.Raise_Error (Rational_Error.Internal_Error);
        end if;
        Interchange.Get_Int (A_Connection, I);
        if I /= Talk_Utils.R_File_Exists then
            Rational_Error.Raise_Error (Rational_Error.Internal_Error);
        end if;
        Put_Line ("file_exists_r:read end");
    end Read;

    procedure Write (A_Connection : in out Communications.Connection) is
    begin
        Put_Line ("file_exists_r:write begin");
        declare
            Exists : Boolean;
        begin  
            File_Exists_F.File_Exists_Out (Exists);  
            Put ("file_exists_r:write exists : ");
            Put_Line (Boolean'Image (Exists));
            Interchange.Put_Int (A_Connection, Talk_Utils.F_Exists);
            Interchange.Put_Bool (A_Connection, Exists);
            File_Exists_F.End_File_Exists;
        exception
            when others =>
                Rational_Error.Report
                   (A_Connection, Talk_Utils.R_File_Exists, Rational_Error.Get);
        end;
        Interchange.Put_Int (A_Connection, Talk_Utils.F_Delimitor);
        Interchange.Put_Int (A_Connection, Talk_Utils.R_File_Exists);  
        Put_Line ("file_exists_r:write end");
    end Write;

end File_Exists_R;