|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - downloadIndex: ┃ B T ┃
Length: 1834 (0x72a)
Types: TextFile
Names: »B«
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─ ⟦129cab021⟧ »DATA«
└─⟦this⟧
with Statements, Scanner, Object, Printer, Bug;
package body More_Statements is
type Node_Structure is
record
Rule : Natural range 0 .. 1 := 0;
Stat : Statements.Node := Statements.Empty_Node;
Line : Natural;
end record;
function Is_Follow (T : Scanner.Token) return Boolean is
use Scanner;
begin
return (T = T_Block_End or T = T_Eof);
end Is_Follow;
procedure Parse (N : in out Node) is
begin
N := new Node_Structure;
N.Line := Scanner.Get_Line_Number;
case Scanner.Get_Token is
when Scanner.T_Dot =>
N.Rule := 1;
Scanner.Next;
Statements.Parse (N.Stat);
when others =>
if not Is_Follow (Scanner.Get_Token) then
raise Bug.Missing_Point;
end if;
end case;
end Parse;
procedure Unparse (N : in Node) is
begin
Scanner.Set_Line_Number (N.Line);
case N.Rule is
when 0 =>
null;
when 1 =>
Printer.Write_Ln (".");
Statements.Unparse (N.Stat);
end case;
end Unparse;
function Is_First (T : Scanner.Token) return Boolean is
use Scanner;
begin
return (T = T_Dot or T = T_Eof);
end Is_First;
function Interpret (N : Node; Inherited : Object.Reference)
return Object.Reference is
Result : Object.Reference;
begin
Scanner.Set_Line_Number (N.Line);
case N.Rule is
when 0 =>
Result := Inherited;
when 1 =>
Result := Statements.Interpret (N.Stat, Inherited);
end case;
return Result;
end Interpret;
end More_Statements;