Changeset 17 for branches/Analyzátor gramatiky

Timestamp:

Apr 9, 2009, 11:16:15 AM (16 years ago)

Author:

george

Message:

• Upraveno: Analýza gramatiky .

Location:

branches/Analyzátor gramatiky

Files:

• . (modified) (1 prop)
• PascalCompiler.dpr (modified) (1 diff)
• UGrammer.pas (modified) (5 diffs)
• UGrammerRules.pas (added)
• UMainForm.pas (modified) (7 diffs)
• UProgram.pas (added)
• UProgramTree.pas (added)
• doc (deleted)

branches/Analyzátor gramatiky/PascalCompiler.dpr

@@ -6 +6 @@
   Forms,
   UMainForm in 'UMainForm.pas' {MainForm},
-  UGrammer in 'UGrammer.pas';
+  UGrammer in 'UGrammer.pas',
+  UProgram in 'UProgram.pas';
 
 {$R *.res}
 
 begin
+  {$WARN SYMBOL_PLATFORM OFF}
+  ReportMemoryLeaksOnShutdown := DebugHook <> 0;
+  {$WARN SYMBOL_PLATFORM ON}
   Application.Initialize;
   Application.CreateForm(TMainForm, MainForm);

branches/Analyzátor gramatiky/UGrammer.pas

@@ -4 +4 @@
 
 uses
-  Classes, ComCtrls, SysUtils;
+  Classes, ComCtrls, SysUtils, Math, UGrammerRules;
 
 type
@@ -37 +37 @@
   TRuleType = (rtSequence, rtAlternative);
   TRuleItemType = (itTerminal, itNonterminal);
-
-  TProgramItem = class
-  public
-    RuleBefore: TGrammerRule;
-    Items: TList; // of TProgramItem;
-    ItemType: TRuleItemType;
-    Rule: TGrammerRule;
-    Value: string;
-    procedure Delete;
-    procedure DeleteItem(Index: Integer);
-    procedure DeleteNonterminal(ARule: TGrammerRule);
-    procedure DeleteEmpty;
-    procedure MergeNonterminal(ARule: TGrammerRule);
-    procedure Join(ARule: TGrammerRule; ItemIndex: Integer);
-    function MergeToTerminal: string;
-    constructor Create;
-    destructor Destroy; override;
-    procedure Assign(Source: TProgramItem);
-  end;
-
-  TProgram = class
-  public
-    TopItem: TProgramItem;
-    constructor Create;
-    procedure Insert(Path: TGrammerPath; Character: Char);
-    destructor Destroy; override;
-  end;
 
   TGrammerItem = class
@@ -105 +78 @@
     constructor Create;
     procedure ClearProcessed;
-    procedure Parse(Text: string; var ParsedProgram: TProgram);
     procedure CorrectRuleLinks;
     destructor Destroy; override;
@@ -112 +84 @@
 
 implementation
-
-uses
-  UMainForm;
 
 { TGrammerRule }
@@ -289 +258 @@
   Rules.Free;
   inherited;
-end;
-
-procedure TGrammer.Parse(Text: string; var ParsedProgram: TProgram);
-var
-  Path: TGrammerPath;
-  I, II: Integer;
-  Q: Integer;
-  C: Integer;
-  Scope: TPossibleCharacters;
-  UseIndex: Integer;
-  UseCharIndex: Integer;
-  UseRule: TGrammerRule;
-  ExpectedCharacters: string;
-  Level: array of Integer;
-  LevelLength: Integer;
-  LevelIsLeft: Boolean;
-begin
-  SetLength(Path.Items, Length(Path.Items) + 1);
-  with Path.Items[High(Path.Items)] do begin
-    Rule := TopRule;
-    ItemIndex := 0;
-    CharIndex := -1;
-  end;
-
-  for I := 1 to Length(Text) do begin
-    if (Text[I] <> #13) and (Text[I] <> #10) then begin
-      UseIndex := Path.Items[High(Path.Items)].ItemIndex;
-      UseCharIndex := Path.Items[High(Path.Items)].CharIndex;
-      UseRule := Path.Items[High(Path.Items)].Rule;
-      SetLength(Path.Items, Length(Path.Items) - 1);
-      SetLength(Scope.Items, 0);
-      ClearProcessed;
-      UseRule.GetPossibleCharacters(Path, Scope, UseIndex, UseCharIndex);
-      C := Length(Scope.Items);
-
-      SetLength(Level, 0);
-      for II := 0 to High(Scope.Items) do with Scope.Items[II] do begin
-        if (Character = Text[I]) then begin
-          if Length(RulePath.Items) > Length(Level) then begin
-            LevelLength := Length(Level);
-            SetLength(Level, Length(RulePath.Items));
-            for Q := LevelLength to High(Level) do
-              Level[Q] := High(Integer);
-          end;
-          LevelIsLeft := True;
-          for Q := 0 to High(Level) do begin
-            if Level[Q] > RulePath.Items[Q].ItemIndex then begin
-              LevelIsLeft := False;
-              Break;
-            end;
-            if Level[Q] < RulePath.Items[Q].ItemIndex then Break;
-          end;
-          if (not LevelIsLeft) or (Length(RulePath.Items) > Length(Level)) then begin
-            SetLength(Level, Length(RulePath.Items));
-            for Q := 0 to High(Level) do
-              Level[Q] := RulePath.Items[Q].ItemIndex;
-            C := II;
-          end;
-        end;
-      end;
-
-      if C < Length(Scope.Items) then begin
-        Path.Assign(Scope.Items[C].RulePath);
-        for II := 0 to Length(Path.Items) - 1 do with Path.Items[II] do begin
-          if Affected then Inc(CharIndex);
-        end;
-        ParsedProgram.Insert(Path, Scope.Items[C].Character);
-        for II := 0 to Length(Path.Items) - 1 do with Path.Items[II] do begin
-          Affected := False;
-        end;
-        //Path.Next;
-      end else begin
-        ExpectedCharacters := '';
-        for II := 0 to Length(Scope.Items) - 1 do
-          ExpectedCharacters := ExpectedCharacters + Scope.Items[II].Character;
-        //raise Exception.Create('Parse error. Expected "' + ExpectedCharacters + '" but found "' + Text[I] + '".');
-        MainForm.StatusBar1.SimpleText := 'Parse error. Expected "' + ExpectedCharacters + '" but found "' + Text[I] + '".';
-        break;
-      end;
-    end;
-  end;
-
-end;
-
-{ TProgram }
-
-constructor TProgram.Create;
-begin
-  TopItem := TProgramItem.Create;
-end;
-
-destructor TProgram.Destroy;
-begin
-  TopItem.Free;
-  inherited;
-end;
-
-procedure TProgram.Insert(Path: TGrammerPath; Character: Char);
-var
-  I: Integer;
-  SelectedProgramItem: TProgramItem;
-begin
-  SelectedProgramItem := TopItem;
-  for I := 0 to High(Path.Items) do with Path.Items[I] do begin
-    SelectedProgramItem.ItemType := itNonterminal;
-    if not Assigned(SelectedProgramItem.Rule) then SelectedProgramItem.Rule := Rule;
-    if SelectedProgramItem.Rule = Rule then begin
-//      if (Rule.RuleType = rtSequence) or (SelectedProgramItem.Rule = SelectedProgramItem.RuleBefore) then begin
-        if SelectedProgramItem.Items.Count < (CharIndex + 1) then
-          SelectedProgramItem.Items.Count := CharIndex + 1;
-        if not Assigned(SelectedProgramItem.Items[CharIndex]) then
-          SelectedProgramItem.Items[CharIndex] := TProgramItem.Create;
-        SelectedProgramItem := TProgramItem(SelectedProgramItem.Items[CharIndex]);
-(*      end else begin
-        SelectedProgramItem.Items.Count := SelectedProgramItem.Items.Count + 1;
-        if not Assigned(SelectedProgramItem.Items[SelectedProgramItem.Items.Count - 1]) then
-          SelectedProgramItem.Items[SelectedProgramItem.Items.Count - 1] := TProgramItem.Create;
-        SelectedProgramItem := TProgramItem(SelectedProgramItem.Items[SelectedProgramItem.Items.Count - 1]);
-      end;
-*)
-    end;
-  end;
-  with SelectedProgramItem do begin
-    ItemType := itTerminal;
-    Value := Character;
-  end;
-end;
-
-procedure TProgramItem.MergeNonterminal(ARule: TGrammerRule);
-var
-  I: Integer;
-begin
-  for I := 0 to Items.Count - 1 do with TProgramItem(Items[I]) do begin
-    if ItemType = itNonterminal then begin
-      if Rule.Name = ARule.Name then begin
-        ItemType := itTerminal;
-        Value := MergeToTerminal;
-      end else MergeNonterminal(ARule);
-    end;
-  end;
-end;
-
-{ TProgramItem }
-
-procedure TProgramItem.Assign(Source: TProgramItem);
-begin
-  
-end;
-
-constructor TProgramItem.Create;
-begin
-  Items := TList.Create;
-end;
-
-procedure TProgramItem.Delete;
-var
-  I: Integer;
-begin
-  for I := 0 to Items.Count - 1 do with TProgramItem(Items[I]) do begin
-    if ItemType = itNonterminal then Delete;
-  end;
-end;
-
-procedure TProgramItem.DeleteEmpty;
-var
-  I: Integer;
-begin
-  I := 0;
-  while I < Items.Count do with TProgramItem(Items[I]) do begin
-    if ItemType = itNonterminal then begin
-      if Items.Count = 0 then begin
-        Self.DeleteItem(I);
-      end else begin
-        DeleteEmpty;
-        Inc(I);
-      end;
-    end else Inc(I);
-  end;
-end;
-
-procedure TProgramItem.DeleteItem(Index: Integer);
-begin
-  if TProgramItem(Items[Index]).ItemType = itNonterminal then
-    TProgramItem(Items[Index]).Delete;
-  Items.Delete(Index);
-end;
-
-procedure TProgramItem.DeleteNonterminal(ARule: TGrammerRule);
-var
-  I: Integer;
-begin
-  I := 0;
-  while I < Items.Count do with TProgramItem(Items[I]) do begin
-    if ItemType = itNonterminal then begin
-      if Rule.Name = ARule.Name then begin
-        Self.DeleteItem(I);
-      end else begin
-        DeleteNonterminal(ARule);
-        Inc(I);
-      end;
-    end else Inc(I);
-  end;
-end;
-
-destructor TProgramItem.Destroy;
-var
-  I: Integer;
-begin
-  for I := 0 to Items.Count - 1 do TProgramItem(Items[I]).Free;
-  Items.Free;
-  inherited;
-end;
-
-procedure TProgramItem.Join(ARule: TGrammerRule; ItemIndex: Integer);
-var
-  SubProgramItem: TProgramItem;
-  I: Integer;
-begin
-  if (ItemType = itNonterminal) and (Rule = ARule) then begin
-    SubProgramItem := TProgramItem(Items[ItemIndex]);
-    RuleBefore := SubProgramItem.RuleBefore;
-    Rule := SubProgramItem.Rule;
-    ItemType := SubProgramItem.ItemType;
-    Value := SubProgramItem.Value;
-    Items[ItemIndex] := nil;
-    for I := 0 to Items.Count - 1 do
-      if Assigned(Items[I]) then TProgramItem(Items[I]).Free;
-    Items := SubProgramItem.Items;
-  end;
-  for I := 0 to Items.Count - 1 do
-    TProgramItem(Items[I]).Join(ARule, ItemIndex);
-end;
-
-function TProgramItem.MergeToTerminal: string;
-var
-  I: Integer;
-begin
-  Result := '';
-  for I := 0 to Items.Count - 1 do with TProgramItem(Items[I]) do begin
-    if ItemType = itTerminal then Result := Result + Value
-      else Result := Result + MergeToTerminal;
-  end;
 end;
 

branches/Analyzátor gramatiky/UMainForm.pas

@@ -5 +5 @@
 uses
   Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
-  Dialogs, StdCtrls, ComCtrls, UGrammer;
+  Dialogs, StdCtrls, ComCtrls, UGrammer, UProgram;
 
 const
@@ -56 +56 @@
   SourceProgram.Free;
   SourceProgram := TProgram.Create;
-  Grammer.Parse(Memo1.Text, SourceProgram);
+  SourceProgram.Parse(Grammer, Memo1.Text);
   ShowProgramTree(SourceProgram);
 end;
@@ -71 +71 @@
   PascalProgram.Free;
   PascalProgram := TProgram.Create;
-  PascalGrammer.Parse(Memo2.Text, PascalProgram);
+  PascalProgram.Parse(PascalGrammer, Memo2.Text);
   with PascalProgram.TopItem, PascalGrammer do begin
 //    MergeNonterminal(TGrammerRule(Rules[7]));
@@ -267 +267 @@
       Name := 'ConcatenationBlock';
       RuleType := rtSequence;
-      AddRule(WhiteSpace, True, True);
-      AddRule(Expression, True, False);
+      AddRule(Expression, False, False);
+      AddRule(WhiteSpace, True, True);
     end;
     Rules.Add(ConcatenationBlock);
@@ -285 +285 @@
       Name := 'SeparationBlock';
       RuleType := rtSequence;
-      AddRule(WhiteSpace, True, True);
+      //AddRule(WhiteSpace, True, True);
       AddTerminal('|', False, False);
       AddRule(WhiteSpace, True, True);
@@ -296 +296 @@
       RuleType := rtSequence;
       AddRule(Concatenation, False, False);
-      AddRule(WhiteSpace, True, True);
+      //AddRule(WhiteSpace, True, True);
       AddRule(SeparationBlock, True, True);
     end;
@@ -311 +311 @@
       AddRule(WhiteSpace, True, True);
       AddRule(Separation, False, False);
-      AddRule(WhiteSpace, True, True);
+      //AddRule(WhiteSpace, True, True);
       AddTerminal('.', False, False);
       AddRule(WhiteSpace, True, True);