DataMuseum.dk

top - metrics - download

    Length: 2804 (0xaf4)
    Types: TextFile
    Names: »B«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦6d381756c⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─⟦6f12a12be⟧ »DATA« 
        └─⟦6d381756c⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦6d381756c⟧ 
            └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Text_Io;
use Text_Io;
with Calendar;
use Calendar;
with Library;
with Compilation;
procedure Release (To_Directory : in String :=
                      "!Machine.Gateway_Classes.Remote_File";
                   Of_Unit : in String := "Start_Server";
                   To_Unit : in String := "Remote_File_Server";
                   Response : in String := "<PROFILE>") is
    function Date return String is
        Year : Year_Number;
        Month : Month_Number;
        Day : Day_Number;
        Seconds : Duration;
        Pattern : constant String := "XXXX_XX_XX";
        Result : String (Pattern'Range) := Pattern;
        package Year_Io is new Integer_Io (Year_Number);
        package Month_Io is new Integer_Io (Month_Number);
        package Day_Io is new Integer_Io (Day_Number);
    begin
        for I in Result'Range loop
            Result (I) := Pattern (I);
        end loop;
        Split (Clock, Year, Month, Day, Seconds);
        Year_Io.Put (Result (Result'First + 0 .. Result'First + 3), Year);
        Month_Io.Put (Result (Result'First + 5 .. Result'First + 6), Month);
        Day_Io.Put (Result (Result'First + 8 .. Result'First + 9), Day);
        for I in Result'Range loop
            if Result (I) = ' ' then
                Result (I) := '0';
            end if;
        end loop;
        return Result;
    end Date;
    procedure Create_Text (Name : in String) is
        F : File_Type;
    begin
        Create (File => F, Mode => Out_File, Name => Name);
        Put_Line (F, "with " & To_Unit & "_" & Date & ";");
        Put_Line (F, "procedure " & To_Unit & " is");
        Put_Line (F, "begin");
        Put_Line (F, Ascii.Ht & To_Unit & "_" & Date & ";");
        Put_Line (F, "end;");
        Close (F);
    end Create_Text;
    procedure Delete_Text (Name : in String) is
        F : File_Type;
    begin
        Create (File => F, Mode => Out_File, Name => Name);
        Delete (F);
    end Delete_Text;
begin  
    Library.Delete (Existing => To_Directory & "." & To_Unit,
                    Response => Response);
    Library.Delete (Existing => To_Directory & "." & To_Unit & "_@",
                    Response => Response);  
    Compilation.Load (From => Of_Unit,
                      To => To_Directory & "." & To_Unit & "_" & Date,
                      Response => Response);
    Create_Text (To_Directory & "." & To_Unit & "_Text");
    Compilation.Parse (File_Name => To_Directory & "." & To_Unit & "_Text",
                       Directory => To_Directory,
                       Response => Response);  
    Delete_Text (To_Directory & "." & To_Unit & "_Text");
    Compilation.Promote (Unit => To_Directory & "." & To_Unit,
                         Goal => Compilation.Coded,
                         Response => Response);
end Release;