|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 17408 (0x4400) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Text_Io, pragma Module_Name 4 3201, pragma Subsystem Input_Output, seg_01287f
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦5a81ac88f⟧ »Space Info Vol 1« └─⟦this⟧
with Io_Exceptions; package Text_Io is pragma Subsystem (Input_Output, Private_Part => Closed); pragma Module_Name (4, 3201); type File_Type is limited private; type File_Mode is (In_File, Out_File); type Count is range 0 .. 1_000_000_000; subtype Positive_Count is Count range 1 .. Count'Last; Unbounded : constant Count := 0; -- line and page length subtype Field is Integer range 0 .. Integer'Last; subtype Number_Base is Integer range 2 .. 16; type Type_Set is (Lower_Case, Upper_Case); -- File Management procedure Create (File : in out File_Type; Mode : File_Mode := Out_File; Name : String := ""; Form : String := ""); procedure Open (File : in out File_Type; Mode : File_Mode; Name : String; Form : String := ""); procedure Close (File : in out File_Type); procedure Delete (File : in out File_Type); procedure Reset (File : in out File_Type; Mode : File_Mode); procedure Reset (File : in out File_Type); function Mode (File : File_Type) return File_Mode; function Name (File : File_Type) return String; function Form (File : File_Type) return String; function Is_Open (File : File_Type) return Boolean; -- Control of default input and output files procedure Set_Input (File : File_Type); procedure Set_Output (File : File_Type); function Standard_Input return File_Type; function Standard_Output return File_Type; function Current_Input return File_Type; function Current_Output return File_Type; -- Specification of line and page lengths procedure Set_Line_Length (File : File_Type; To : Count); procedure Set_Line_Length (To : Count); procedure Set_Page_Length (File : File_Type; To : Count); procedure Set_Page_Length (To : Count); function Line_Length (File : File_Type) return Count; function Line_Length return Count; function Page_Length (File : File_Type) return Count; function Page_Length return Count; -- Column, Line and Page Control procedure New_Line (File : File_Type; Spacing : Positive_Count := 1); procedure New_Line (Spacing : Positive_Count := 1); procedure Skip_Line (File : File_Type; Spacing : Positive_Count := 1); procedure Skip_Line (Spacing : Positive_Count := 1); function End_Of_Line (File : File_Type) return Boolean; function End_Of_Line return Boolean; procedure New_Page (File : File_Type); procedure New_Page; procedure Skip_Page (File : File_Type); procedure Skip_Page; function End_Of_Page (File : File_Type) return Boolean; function End_Of_Page return Boolean; function End_Of_File (File : File_Type) return Boolean; function End_Of_File return Boolean; procedure Set_Col (File : File_Type; To : Positive_Count); procedure Set_Col (To : Positive_Count); procedure Set_Line (File : File_Type; To : Positive_Count); procedure Set_Line (To : Positive_Count); function Col (File : File_Type) return Positive_Count; function Col return Positive_Count; function Line (File : File_Type) return Positive_Count; function Line return Positive_Count; function Page (File : File_Type) return Positive_Count; function Page return Positive_Count; -- Character Input-Output procedure Get (File : File_Type; Item : out Character); procedure Get (Item : out Character); procedure Put (File : File_Type; Item : Character); procedure Put (Item : Character); -- String Input-Output procedure Get (File : File_Type; Item : out String); procedure Get (Item : out String); procedure Put (File : File_Type; Item : String); procedure Put (Item : String); procedure Get_Line (File : File_Type; Item : out String; Last : out Natural); procedure Get_Line (Item : out String; Last : out Natural); procedure Put_Line (File : File_Type; Item : String); procedure Put_Line (Item : String); -- Generic package for Input-Output of Integer Types generic type Num is range <>; package Integer_Io is Default_Width : Field := Num'Width; Default_Base : Number_Base := 10; procedure Get (File : File_Type; Item : out Num; Width : Field := 0); procedure Get (Item : out Num; Width : Field := 0); procedure Put (File : File_Type; Item : Num; Width : Field := Default_Width; Base : Number_Base := Default_Base); procedure Put (Item : Num; Width : Field := Default_Width; Base : Number_Base := Default_Base); procedure Get (From : String; Item : out Num; Last : out Positive); procedure Put (To : out String; Item : Num; Base : Number_Base := Default_Base); end Integer_Io; -- Generic package for Input-Output of Floating Point Types generic type Num is digits <>; package Float_Io is Default_Fore : Field := 2; Default_Aft : Field := Num'Digits - 1; Default_Exp : Field := 3; procedure Get (File : File_Type; Item : out Num; Width : Field := 0); procedure Get (Item : out Num; Width : Field := 0); procedure Put (File : File_Type; Item : Num; Fore : Field := Default_Fore; Aft : Field := Default_Aft; Exp : Field := Default_Exp); procedure Put (Item : Num; Fore : Field := Default_Fore; Aft : Field := Default_Aft; Exp : Field := Default_Exp); procedure Get (From : String; Item : out Num; Last : out Positive); procedure Put (To : out String; Item : Num; Aft : Field := Default_Aft; Exp : Field := Default_Exp); end Float_Io; -- Generic package for Input-Output of Fixed Point Types generic type Num is delta <>; package Fixed_Io is Default_Fore : Field := Num'Fore; Default_Aft : Field := Num'Aft; Default_Exp : Field := 0; procedure Get (File : File_Type; Item : out Num; Width : Field := 0); procedure Get (Item : out Num; Width : Field := 0); procedure Put (File : File_Type; Item : Num; Fore : Field := Default_Fore; Aft : Field := Default_Aft; Exp : Field := Default_Exp); procedure Put (Item : Num; Fore : Field := Default_Fore; Aft : Field := Default_Aft; Exp : Field := Default_Exp); procedure Get (From : String; Item : out Num; Last : out Positive); procedure Put (To : out String; Item : Num; Aft : Field := Default_Aft; Exp : Field := Default_Exp); end Fixed_Io; -- Generic package for Input-Output of Enumeration Types generic type Enum is (<>); package Enumeration_Io is Default_Width : Field := 0; Default_Setting : Type_Set := Upper_Case; procedure Get (File : File_Type; Item : out Enum); procedure Get (Item : out Enum); procedure Put (File : File_Type; Item : Enum; Width : Field := Default_Width; Set : Type_Set := Default_Setting); procedure Put (Item : Enum; Width : Field := Default_Width; Set : Type_Set := Default_Setting); procedure Get (From : String; Item : out Enum; Last : out Positive); procedure Put (To : out String; Item : Enum; Set : Type_Set := Default_Setting); end Enumeration_Io; -- Exceptions Status_Error : exception renames Io_Exceptions.Status_Error; Mode_Error : exception renames Io_Exceptions.Mode_Error; Name_Error : exception renames Io_Exceptions.Name_Error; Use_Error : exception renames Io_Exceptions.Use_Error; Device_Error : exception renames Io_Exceptions.Device_Error; End_Error : exception renames Io_Exceptions.End_Error; Data_Error : exception renames Io_Exceptions.Data_Error; Layout_Error : exception renames Io_Exceptions.Layout_Error; private type File_Type is new Device_Independent_Io.File_Type; end Text_Io;
nblk1=10 nid=0 hdr6=20 [0x00] rec0=21 rec1=00 rec2=01 rec3=02e [0x01] rec0=00 rec1=00 rec2=0e rec3=024 [0x02] rec0=20 rec1=00 rec2=02 rec3=03c [0x03] rec0=00 rec1=00 rec2=0d rec3=00c [0x04] rec0=1c rec1=00 rec2=03 rec3=044 [0x05] rec0=02 rec1=00 rec2=0c rec3=05a [0x06] rec0=1f rec1=00 rec2=04 rec3=04c [0x07] rec0=1d rec1=00 rec2=0b rec3=060 [0x08] rec0=03 rec1=00 rec2=05 rec3=036 [0x09] rec0=1d rec1=00 rec2=06 rec3=05c [0x0a] rec0=00 rec1=00 rec2=10 rec3=004 [0x0b] rec0=1f rec1=00 rec2=07 rec3=044 [0x0c] rec0=1d rec1=00 rec2=08 rec3=044 [0x0d] rec0=00 rec1=00 rec2=0f rec3=00a [0x0e] rec0=1a rec1=00 rec2=09 rec3=026 [0x0f] rec0=07 rec1=00 rec2=0a rec3=000 tail 0x2150d8d6682b0823ea10d 0x42a00088462065003