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

⟦6e4158a7a⟧ Ada Source

    Length: 6144 (0x1800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Block, seg_03841a, seg_038abd

Derivation

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

with Args;
with Block_Class;  
with Msg_Report;
with Object;
with Scanner;
with Statements;
with Symbol_Table;
with Unparse_Report;

package body Block is

    type Node_Structure is
        record
            Info : Natural range 0 .. 1 := 0;  
            Argu : Args.Node := Args.Empty_Node;  
            Stat : Statements.Node := Statements.Empty_Node;  
            Symb : Scanner.B_String;
            Obj : Object.Reference;  
            Lign : Integer;
        end record;

    procedure Parse (N : in out Node; Error : out Boolean) is
        Failed : Boolean := False;  
        use Scanner;

    begin  
        Msg_Report.Information ("I enter in block's parse");

        N := new Node_Structure;

        N.Lign := Scanner.Line_Number;

        Symbol_Table.New_Enter (N.Symb);
        N.Obj := Block_Class.Create (N);

        Scanner.Next;
        if Args.Is_First (Scanner.Symbol) then
            Args.Parse (N.Argu, Failed);  
            N.Info := 1;
        end if;  
        if not Failed then
            if Statements.Is_First (Scanner.Symbol) then  
                Statements.Parse (N.Stat, Failed);  
                if Scanner.Symbol = L_Close_Bracket then  
                    Scanner.Next;
                    Symbol_Table.Leave;
                else
                    Failed := True;
                    Msg_Report.Syntax_Error ("} expected, incorrect");
                end if;  
            else
                Msg_Report.Syntax_Error ("statement expected, incorrect");
                Failed := True;
            end if;

        end if;
        Msg_Report.Information ("I leave block's parse with failed = " &
                                Boolean'Image (Failed));
        Error := Failed;
    end Parse;


    procedure Unparse (N : Node) is

    begin
        Unparse_Report.Write ("{");
        Unparse_Report.Tab;
        Unparse_Report.New_Line;  
        if N.Info = 1 then
            Args.Unparse (N.Argu);
            Unparse_Report.New_Line;
        end if;
        Statements.Unparse (N.Stat);  
        Unparse_Report.Write ("} ");  
        Unparse_Report.Untab;
    end Unparse;


    function Is_First (T : Scanner.Token) return Boolean is
        use Scanner;
    begin
        return T = L_Open_Bracket;
    end Is_First;

    function Interpret
                (N : Node := Empty_Node;
                 Inherited : Object.Reference := Object.Void_Reference;
                 A_Keyword_Mess : Message.Selector := Message.Void_Selector;
                 A_List : Arguments.List := Arguments.Void_Arguments  
                 ) return Object.Reference is

        Result : Object.Reference;
        Current_Table : Scanner.B_String;

        use Object;

    begin

        Msg_Report.Information ("I enter in block's interpret");
        Msg_Report.Set_Line_Number (N.Lign);

        if Inherited = Object.Void_Reference then
            -- interpretation du bloc

            Result := N.Obj;
        else
            -- evaluation du bloc

            Current_Table := Symbol_Table.Current_Block;

            Symbol_Table.Enter (N.Symb);

            if N.Info = 1 then  
                Result := Args.Interpret (N.Argu,
                                          A_Keyword_Mess => A_Keyword_Mess,
                                          A_List => A_List);
            end if;

            Result := Statements.Interpret (N.Stat);

            Symbol_Table.Enter (Current_Table);
        end if;

        Msg_Report.Information ("I leave block's interpret with result :");
        Msg_Report.Continue
           ("class = " & Object.Class'Image (Object.The_Class (Result)) &
            " ident = " & Integer'Image (Object.Identificator (Result)));

        return Result;
    end Interpret;
end Block;

    nblk1=5
    nid=0
    hdr6=a
        [0x00] rec0=27 rec1=00 rec2=01 rec3=046
        [0x01] rec0=1e rec1=00 rec2=04 rec3=044
        [0x02] rec0=20 rec1=00 rec2=05 rec3=000
        [0x03] rec0=1f rec1=00 rec2=02 rec3=012
        [0x04] rec0=02 rec1=00 rec2=03 rec3=000
    tail 0x2153173e084e743e7e3c2 0x42a00088462060003