DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - downloadIndex: ┃ B T ┃
Length: 1041 (0x411) Types: TextFile Names: »B«
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11 └─ ⟦129cab021⟧ »DATA« └─⟦this⟧
separate (Error) package body Destination is The_File : Text_Io.File_Type; Current_Line : Natural := 1; procedure Open (Destination_File_Name : String) is begin Text_Io.Open (File => The_File, Mode => Text_Io.Out_File, Name => Destination_File_Name, Form => ""); end Open; procedure Close is begin Text_Io.Close (The_File); end Close; procedure Put_Line (S : String) is begin Text_Io.Put_Line (The_File, S); end Put_Line; procedure Put_Check_Marks (The_Check_Marks : Check_Mark_List) is begin if not (The_Check_Marks (0) = 0) then for I in 1 .. The_Check_Marks (0) loop Text_Io.Set_Col (The_File, Text_Io.Positive_Count (The_Check_Marks (I))); Text_Io.Put (The_File, '^'); end loop; Text_Io.Put_Line (The_File, ""); end if; end Put_Check_Marks; end Destination;