DataMuseum.dk

top - download

    Length: 905 (0x389)
    Types: TextFile
    Names: »V«

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

TextFile

-- This package parses and interprets the following rules
--
-- only one rule
-- rule 1:
--  syntax:     bloc ::= '{'arguments statements '}'
--  semantic:   bloc.result =statements.result;
--              statements.inherited = arguments.result

with Lex;
with Object;

package Bloc is
    type Node is private;
    Empty_Node : constant Node;

    procedure Parse (N : in out Node; Error : out Boolean);
    procedure Unparse (N : in out Node);
    function Is_First (T : Lex.Token) return Boolean;

    procedure Interpret (N : Node;
                         The_Argument : in out Object.Parameters.List;
                         Result : in out Object.Reference);
    function Interpret (N : Node; The_Argument : Object.Message)
                       return Object.Reference;


private
    type Node_Structure;
    type Node is access Node_Structure;
    Empty_Node : constant Node := null;
end Bloc;