DataMuseum.dk

top - download

    Length: 1066 (0x42a)
    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:
--
--  syntax:     bloc ::= '{' arguments statements '}'
--  semantic:   Symbol = table.symbol_kind
--              Id_List = arguments.Id_List
--              Keyword_list = arguments.Keyword_list
--              arguments.table_inherited = Symbol
--              arguments.keyword_inherited = Keyword_List
--              arguments.Id_inherited = Id_List
--              bloc.result = statements.result
--
with Object, Table, Message;
package Block is

    type Node is private;
    Empty_Node : constant Node;
    procedure Parse (N : in out Node);
    procedure Unparse (N : in Node);
    function Interpret (N : Node) return Object.Reference;
    function Current return Node;
    function Symbol (N : Node) return Table.Symbol_Kind;
    function Parent (N : Node) return Node;
    function Keyword_List (N : Node) return Message.List;
    function Identifier_List (N : Node) return Message.List;
private
    type Node_Structure;
    type Node is access Node_Structure;
    Empty_Node : constant Node := null;
end Block;