DataMuseum.dk

top - download

    Length: 1017 (0x3f9)
    Types: TextFile
    Names: »V«

└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

-- This package parses and interprets the following rules
--
-- rule 0:
--  syntax:     statements ::= empty
--  semantic:   statements.result = statements.inherited; default: object.void_re
--
-- rule 1:
--  syntax:     statements ::= expression more_statements
--  semantic:   statements.result = more_statements.result;
--              more_statements.inherited = expression.result
--
-- rule 2:
--  syntax:     statements ::= renvoyer expression
--  semantic:   statements.result = expression.result

with Scanner, Object;
package Statements is
    type Node is private;
    Empty_Node : constant Node;

    procedure Parse (N : in out Node; Error : out Boolean);
    function Is_First (T : Scanner.Token) return Boolean;
    function Interpret (N : Node;
                        Inherited : Object.Reference := Object.Void_Reference)
                       return Object.Reference;

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