|
|
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 - metrics - 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;