DataMuseum.dk Presents historical artifacts from the history of: Rational R1000/400

This is an automatic "excavation" of a thematic subset of artifacts from Datamuseum.dk's BitArchive. See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software.

top - download

⟦d0afb7f03⟧ Ada Source

    Length: 7168 (0x1c00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Rcf_Customization_Interface, pragma Module_Name 4 4136, seg_00acda

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

with Operational_Characteristics;
with Directory;
with Semantic_Characteristics;
with Simple_Status;
with String_Map_Generic;
with Telnet_Characteristics;
package Rcf_Customization_Interface is

    pragma Module_Name (4, 4136);
    pragma Bias_Key (32);

    procedure Initialize (Target : String;
                          Status : in out Simple_Status.Condition);
    procedure Register
                 (Target : String;
                  The_Operational_Characteristics :
                     Operational_Characteristics.Object;
                  The_Predefined_Environment_Characteristics :
                     Semantic_Characteristics.
                        Predefined_Environment_Characteristics.Object;
                  The_Pragma_Characteristics :
                     Semantic_Characteristics.Pragma_Characteristics.Object :=
                     Semantic_Characteristics.
                        Pragma_Characteristics.Null_Object;
                  The_Attribute_Characteristics :
                     Semantic_Characteristics.
                        Attribute_Characteristics.Object :=
                     Semantic_Characteristics.
                        Attribute_Characteristics.Null_Object;
                  The_Rep_Spec_Characteristics :
                     Semantic_Characteristics.Rep_Spec_Characteristics.Object :=
                     Semantic_Characteristics.
                        Rep_Spec_Characteristics.Null_Object;
                  The_Telnet_Characteristics : Telnet_Characteristics.Object :=
                     Telnet_Characteristics.Null_Object;
                  Status : in out Simple_Status.Condition);


    -- Operational characteristics and predefined environment characteristics
    -- are required parameters and must not be null.  Pragma, Attribute, and
    -- Rep-Spec characteristics are optional.  If null values are supplied,
    -- no target-dependent checks will be made on pragmas, attributes, or
    -- rep specs.  (Thus all such entities will be accepted unless they
    -- violate rules to which all ada compilers must adhere).

    function Is_Registered (Target : String) return Boolean;


    procedure Unregister (Target : String;
                          Destroy : Boolean := False;
                          Status : in out Simple_Status.Condition);

    function Get (Target : Directory.Target_Key)
                 return Operational_Characteristics.Object;

    function Get (Target : Directory.Target_Key)
                 return Semantic_Characteristics.
                        Predefined_Environment_Characteristics.Object;
    function Get (Target : Directory.Target_Key)
                 return Semantic_Characteristics.Pragma_Characteristics.Object;
    function Get (Target : Directory.Target_Key)
                 return Semantic_Characteristics.
                        Attribute_Characteristics.Object;
    function Get (Target : Directory.Target_Key)
                 return Semantic_Characteristics.
                        Rep_Spec_Characteristics.Object;

    function Get (Target : Directory.Target_Key)
                 return Telnet_Characteristics.Object;

    Target_Not_Registered : exception;

    type Registered_Targets_Iterator is private;
    procedure Init (Iter : out Registered_Targets_Iterator);
    procedure Next (Iter : in out Registered_Targets_Iterator);
    function Done (Iter : Registered_Targets_Iterator) return Boolean;
    function Value (Iter : Registered_Targets_Iterator) return String;

private
    type Target_Info is
        record
            The_Operational_Characteristics :
               Operational_Characteristics.Object :=
               Operational_Characteristics.Null_Object;
            The_Predefined_Environment_Characteristics :
               Semantic_Characteristics.
                  Predefined_Environment_Characteristics.Object :=
               Semantic_Characteristics.
                  Predefined_Environment_Characteristics.Null_Object;
            The_Pragma_Characteristics : Semantic_Characteristics.
                                            Pragma_Characteristics.Object :=
               Semantic_Characteristics.Pragma_Characteristics.Null_Object;
            The_Attribute_Characteristics :
               Semantic_Characteristics.Attribute_Characteristics.Object :=
               Semantic_Characteristics.Attribute_Characteristics.Null_Object;
            The_Rep_Spec_Characteristics : Semantic_Characteristics.
                                              Rep_Spec_Characteristics.Object :=
               Semantic_Characteristics.Rep_Spec_Characteristics.Null_Object;
            The_Telnet_Characteristics : Telnet_Characteristics.Object :=
               Telnet_Characteristics.Null_Object;

        end record;

    package Target_Map is new String_Map_Generic (64, Target_Info);

    type Registered_Targets_Iterator is new Target_Map.Iterator;
end Rcf_Customization_Interface;

    nblk1=6
    nid=0
    hdr6=c
        [0x00] rec0=1a rec1=00 rec2=01 rec3=024
        [0x01] rec0=11 rec1=00 rec2=02 rec3=082
        [0x02] rec0=16 rec1=00 rec2=03 rec3=044
        [0x03] rec0=18 rec1=00 rec2=04 rec3=022
        [0x04] rec0=12 rec1=00 rec2=05 rec3=030
        [0x05] rec0=02 rec1=00 rec2=06 rec3=000
    tail 0x215073e5081f9486cf9f8 0x42a00088462060003