Changeset 53 for branches/DelphiToC/Produce/UProducerC.pas

Timestamp:

Aug 10, 2010, 10:14:57 AM (14 years ago)

Author:

george

Message:

Project renamed to Transpascal.
Added support for generatin cycle For-to-do.
Added support for parsing and generating structured types as record and array.
Emit procedure in TProducerPascal and TProducerC reworked.

File:

• branches/DelphiToC/Produce/UProducerC.pas (modified) (8 diffs)

branches/DelphiToC/Produce/UProducerC.pas

@@ -17 +17 @@
     function TranslateType(Name: string): string;
     function TranslateOperator(Name: string): string;
-    procedure Emit(Text: string);
+    procedure Emit(AText: string; NewLine: Boolean = True);
     procedure GenerateUses(UsedModules: TUsedModuleList);
     procedure GenerateModule(Module: TModule);
     procedure GenerateCommonBlock(CommonBlock: TCommonBlock;
       LabelPrefix: string);
+    procedure GenerateType(AType: TType);
+    procedure GenerateTypes(Types: TTypeList);
     procedure GenerateProgram(ProgramBlock: TProgram);
     procedure GenerateFunctions(Functions: TFunctionList);
@@ -27 +29 @@
     procedure GenerateCommand(Command: TCommand);
     procedure GenerateWhileDo(WhileDo: TWhileDo);
+    procedure GenerateForToDo(ForToDo: TForToDo);
     procedure GenerateIfThenElse(IfThenElse: TIfThenElse);
     procedure GenerateAssignment(Assignment: TAssignment);
@@ -64 +67 @@
   else if Name = 'Cardinal' then Result := 'uint32'
   else if Name = 'Integer' then Result := 'int32'
-  else if Name = 'Void' then Result := 'void';
+  else if Name = 'Void' then Result := 'void'
+  else Result := Name;
 end;
 
@@ -82 +86 @@
 end;
 
-procedure TProducerC.Emit(Text: string);
-begin
-  TextSource.Add(DupeString(' ', IndentationLength * Indetation) + Text);
+procedure TProducerC.Emit(AText: string; NewLine: Boolean = True);
+begin
+  with TextSource do begin
+    if Count = 0 then Add('');
+    if Strings[Count - 1] = '' then
+      Strings[Count - 1] := Strings[Count - 1] + DupeString(' ', IndentationLength * Indetation);
+    Strings[Count - 1] := Strings[Count - 1] + AText;
+    if NewLine then Add('');
+  end;
 end;
 
@@ -180 +190 @@
   if Command is TBeginEnd then GenerateBeginEnd(TBeginEnd(Command))
   else if Command is TWhileDo then GenerateWhileDo(TWhileDo(Command))
+  else if Command is TForToDo then GenerateForToDo(TForToDo(Command))
   else if Command is TIfThenElse then GenerateIfThenElse(TIfThenElse(Command))
   else if Command is TAssignment then GenerateAssignment(TAssignment(Command))
@@ -189 +200 @@
   Emit('while (' + GenerateExpression(WhileDo.Condition) + ')');
   GenerateCommand(WhileDo.Command);
+end;
+
+procedure TProducerC.GenerateForToDo(ForToDo: TForToDo);
+begin
+  with ForToDo do begin
+    Emit('for(' + ControlVariable.Name + ' = ' +
+      GenerateExpression(Start) + '; ' + ControlVariable.Name + ' < ' +
+      GenerateExpression(Stop) + '; ' + ControlVariable.Name + '++)');
+    GenerateCommand(Command);
+  end;
 end;
 
@@ -246 +267 @@
 begin
   with CommonBlock do begin
+    GenerateTypes(Types);
     GenerateFunctions(Functions);
     Emit('void ' + Name + '()');
@@ -252 +274 @@
 end;
 
+procedure TProducerC.GenerateType(AType: TType);
+var
+  I: Integer;
+begin
+  if AType is TTypeRecord then begin
+    Emit('typedef struct');
+    Emit('{');
+    Inc(Indetation);
+    for I := 0 to TTypeRecord(AType).Items.Count - 1 do begin
+      GenerateType(TType(TTypeRecord(AType).Items[I]));
+      Emit(';');
+    end;
+    Dec(Indetation);
+    Emit('} ' + TranslateType(AType.Name), False);
+  end else
+  if AType is TTypeArray then begin
+    GenerateType(TTypeArray(AType).ItemType);
+    Emit('* ', False);
+
+(*    if Assigned(TTypeArray(AType).IndexType) then begin
+      Emit(AType.Name + '[', False);
+      Emit('[', False);
+      GenerateType(TTypeArray(AType).IndexType);
+      Emit(']', False);
+    end;
+    Emit(' of ', False);
+    if Assigned(TTypeArray(AType).ItemType) then*)
+    Emit(TranslateType(AType.Name), False);
+  end else begin
+    if Assigned(AType.UsedType) then begin
+      GenerateType(AType.UsedType);
+      Emit(' ', False);
+    end;
+    Emit(TranslateType(AType.Name), False);
+  end;
+end;
+
+procedure TProducerC.GenerateTypes(Types: TTypeList);
+var
+  I: Integer;
+begin
+  if Types.Count > 0 then begin
+    Inc(Indetation);
+    for I := 0 to Types.Count - 1 do
+    with TType(Types[I]) do
+    if (not System) then begin
+      GenerateType(TType(Types[I]));
+      Emit(';');
+    end;
+    Dec(Indetation);
+    Emit('');
+  end;
+end;
+