Changeset 137 for branches/generator/UGrammer.pas

Timestamp:

Dec 27, 2017, 6:05:11 PM (7 years ago)

Author:

chronos

Message:

• Added: Lookup tables can be defined and their usage set from grammer rules.

File:

• branches/generator/UGrammer.pas (modified) (12 diffs)

branches/generator/UGrammer.pas

@@ -13 +13 @@
   TGrammer = class;
   TRuleItems = class;
+  TLookupTable = class;
 
   TRuleItemType = (ritTerminal, ritNonTerminal, ritSubItems, ritTerminalRange);
   TGrammerNotation = (gnBnf, gnEbnf);
+  TLookupTableAction = (taCreate, taReference);
 
   { TRuleItem }
@@ -37 +39 @@
     NonTerminal: TRule;
     SubItems: TRuleItems;
+    LookupTableUsed: Boolean;
+    LookupTable: TLookupTable;
+    LookupTableName: string;
+    LookupTableAction: TLookupTableAction;
     function GetCharLength: Integer;
     procedure LoadFromXmlNode(Node: TDOMNode);
@@ -115 +121 @@
   end;
 
+  TLookupTableItem = class
+    Name: string;
+  end;
+
+  { TLookupTable }
+
+  TLookupTable = class
+    Name: string;
+    Grammer: TGrammer;
+    Items: TFPGObjectList<TLookupTableItem>;
+    procedure LoadFromXmlNode(Node: TDOMNode);
+    procedure SaveToXmlNode(Node: TDOMNode);
+    constructor Create;
+    destructor Destroy; override;
+  end;
+
+  { TLookupTables }
+
+  TLookupTables = class(TFPGObjectList<TLookupTable>)
+    Grammer: TGrammer;
+    function FindName(Name: string): TLookupTable;
+    procedure LoadFromXmlNode(Node: TDOMNode);
+    procedure SaveToXmlNode(Node: TDOMNode);
+  end;
+
   { TGrammer }
 
@@ -128 +159 @@
     FileName: string;
     Rules: TRules;
+    LookupTables: TLookupTables;
     TopRule: TRule;
     WhiteSpaceRule: TRule;
@@ -151 +183 @@
 implementation
 
+{ TLookupTables }
+
+function TLookupTables.FindName(Name: string): TLookupTable;
+var
+  I: Integer;
+begin
+  I := 0;
+  while (I < Count) and (Items[I].Name <> Name) do Inc(I);
+  if I < Count then Result := Items[I]
+    else Result := nil;
+end;
+
+procedure TLookupTables.LoadFromXmlNode(Node: TDOMNode);
+var
+  RuleNode: TDOMNode;
+  LookupTable: TLookupTable;
+begin
+  RuleNode := Node.FirstChild;
+  while Assigned(RuleNode) do begin
+    if RuleNode.NodeName = 'LookupTable' then begin
+      LookupTable := TLookupTable.Create;
+      LookupTable.Grammer := Grammer;
+      LookupTable.LoadFromXmlNode(RuleNode);
+      Add(LookupTable);
+    end;
+    RuleNode := RuleNode.NextSibling;
+  end;
+end;
+
+procedure TLookupTables.SaveToXmlNode(Node: TDOMNode);
+var
+  LookupTable: TLookupTable;
+  RuleNode: TDOMNode;
+begin
+  for LookupTable in Self do begin
+    RuleNode := Node.OwnerDocument.CreateElement('LookupTable');
+    LookupTable.SaveToXmlNode(RuleNode);
+    Node.AppendChild(RuleNode);
+  end;
+end;
+
+{ TLookupTable }
+
+procedure TLookupTable.LoadFromXmlNode(Node: TDOMNode);
+begin
+  Name := ReadString(Node, 'Name', '');
+end;
+
+procedure TLookupTable.SaveToXmlNode(Node: TDOMNode);
+begin
+  WriteString(Node, 'Name', Name);
+end;
+
+constructor TLookupTable.Create;
+begin
+  Items := TFPGObjectList<TLookupTableItem>.Create;
+end;
+
+destructor TLookupTable.Destroy;
+begin
+  FreeAndNil(Items);
+  inherited Destroy;
+end;
+
 { TGrammer }
 
@@ -188 +284 @@
         Rules.LoadFromXmlNode(RulesNode);
       end;
+      RulesNode := RootNode.FindNode('LookupTables');
+      if Assigned(RulesNode) then begin
+        LookupTables.LoadFromXmlNode(RulesNode);
+      end;
 
       TopRule := Rules.FindName(ReadString(RootNode, 'TopRule', ''));
@@ -217 +317 @@
     Rules.SaveToXmlNode(RulesNode);
 
+    RulesNode := Doc.CreateElement('LookupTables');
+    RootNode.AppendChild(RulesNode);
+    LookupTables.SaveToXmlNode(RulesNode);
+
     if Assigned(TopRule) then
       WriteString(RootNode, 'TopRule', TopRule.Name);
@@ -239 +343 @@
   Rules := TRules.Create;
   Rules.Grammer := Self;
+  LookupTables := TLookupTables.Create;
+  LookupTables.Grammer := Self;
 end;
 
@@ -244 +350 @@
 begin
   DoDestroy;
+  FreeAndNil(LookupTables);
   FreeAndNil(Rules);
   inherited Destroy;
@@ -297 +404 @@
     end;
   end;
+  WriteBoolean(Node, 'LookupTableUsed', LookupTableUsed);
+  WriteString(Node, 'LookupTable', LookupTableName);
+  WriteInteger(Node, 'LookupTableAction', Integer(LookupTableAction));
 end;
 
@@ -407 +517 @@
     end;
   end;
+  LookupTableUsed := ReadBoolean(Node, 'LookupTableUsed', False);
+  LookupTableName := ReadString(Node, 'LookupTable', '');
+  LookupTableAction := TLookupTableAction(ReadInteger(Node, 'LookupTableAction', 0));
 end;
 
@@ -430 +543 @@
   RuleItem: TRuleItem;
 begin
-  for RuleItem in Self do
+  for RuleItem in Self do begin
     case RuleItem.RuleItemType of
       ritNonTerminal: RuleItem.NonTerminal := Grammer.Rules.FindName(RuleItem.NonTerminalName);
       ritSubItems: RuleItem.SubItems.UpdateRuleReference;
     end;
+    RuleItem.LookupTable := Grammer.LookupTables.FindName(RuleItem.LookupTableName);
+  end;
 end;