DataMuseum.dk

top - download

    Length: 1798 (0x706)
    Types: TextFile
    Names: »B«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Binary;
with Broker;
with Errors;
with Message;
with More_Value;
with Parameters;
with Trace;

package body Value is

    type Node_Structure is
        record
            Line : Natural;
            Bin : Binary.Node := Binary.Empty_Node;
            More : More_Value.Node := More_Value.Empty_Node;
        end record;


    procedure Parse (N : in out Node) is
    begin
        Trace.Display ("parsing Value");
        N := new Node_Structure;
        N.Line := Scanner.Get_Line_Number;
        if Binary.Is_First (Scanner.Get_Token) then
            Binary.Parse (N.Bin);
            More_Value.Parse (N.More);
        else
            raise Errors.Expecting_Binary;
        end if;
    end Parse;

    procedure Unparse (N : Node) is
    begin
        Binary.Unparse (N.Bin);
        More_Value.Unparse (N.More);
        Trace.Display ("fin unparse value");
    end Unparse;

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

    function Interpret (N : Node) return Object.Reference is
        Back : Object.Reference;
        Result : Object.Reference;
        This_Selector : Message.Selector;
        This_Arg_List : Parameters.List;
    begin
        Errors.Save_Interpret_Line (N.Line);
        Result := Binary.Interpret (N.Bin);
        Message.Free (This_Selector);
        Parameters.Free (This_Arg_List);
        More_Value.Interpret (N.More, This_Selector, This_Arg_List);
        if not Message.Is_Empty (This_Selector) then
            Broker.Send (Result, This_Selector, This_Arg_List, Back);
            Result := Back;
        end if;
        Trace.Display ("fin interpretation Value");
        Trace.Display (Result);
        return Result;
    end Interpret;

end Value;