Changeset 203 for branches/interpreter2/UExecutor.pas

Timestamp:

Apr 17, 2020, 10:16:25 PM (5 years ago)

Author:

chronos

Message:

• Added: Simple pascal code generator.

File:

• branches/interpreter2/UExecutor.pas (modified) (11 diffs)

branches/interpreter2/UExecutor.pas

@@ -10 +10 @@
 type
   TExecutorFunctions = class;
+
+  { TExecutorVariable }
 
   TExecutorVariable = class
     Variable: TVariable;
     Value: TValue;
+    constructor Create;
+    destructor Destroy; override;
   end;
 
@@ -99 +103 @@
     procedure ExecuteWhileDo(Block: TExecutorBlock; WhileDo: TWhileDo);
     procedure ExecuteForToDo(Block: TExecutorBlock; ForToDo: TForToDo);
-    procedure ExecuteBlock(ParentBlock: TExecutorBlock;Block: TBlock);
+    procedure ExecuteBlock(ParentBlock: TExecutorBlock; Block: TBlock);
     function ExecuteFunctionCall(Block: TExecutorBlock; FunctionCall: TFunctionCall): TValue;
     procedure ExecuteAssignment(Block: TExecutorBlock; Assignment: TAssignment);
@@ -112 +116 @@
 
 implementation
+
+{ TExecutorVariable }
+
+constructor TExecutorVariable.Create;
+begin
+  Value := TValue.Create;
+end;
+
+destructor TExecutorVariable.Destroy;
+begin
+  Value.Free;
+  inherited Destroy;
+end;
 
 { TExecutorType }
@@ -429 +446 @@
       else ExecuteCommand(Block, IfThenElse.CommandElse);
   end else raise Exception.Create('Expected boolean value.');
+  Value.Free;
 end;
 
@@ -441 +459 @@
       ExecuteCommand(Block, WhileDo.Command);
     end else raise Exception.Create('Expected boolean value.');
+    Value.Free;
   end;
 end;
@@ -446 +465 @@
 procedure TExecutor.ExecuteForToDo(Block: TExecutorBlock; ForToDo: TForToDo);
 var
-  Value: TValue;
   Variable: TExecutorVariable;
   Limit: TValue;
 begin
   Variable := Block.GetVariable(ForToDo.VariableRef);
+  Variable.Value.Free;
   Variable.Value := ExecuteExpression(Block, ForToDo.ExpressionFrom);
   Limit := ExecuteExpression(Block, ForToDo.ExpressionTo);
@@ -458 +477 @@
     if TValueInteger(Variable.Value).Value > TValueInteger(Limit).Value then Break;
   end;
+  Limit.Free;
 end;
 
@@ -486 +506 @@
     end;
     Result := ExecutorFunction.Callback(Params);
+    for I := 0 to FunctionCall.Params.Count - 1 do begin
+      Params[I].Free;
+    end;
   end else raise Exception.Create('No executor for ' + FunctionCall.FunctionDef.Name + ' function.');
 end;
@@ -503 +526 @@
     SetLength(Params, 1);
     Params[0] := Value;
+    Variable.Value.Free;
     Variable.Value := ExecutorFunction.Callback(Params);
   end else raise Exception('Assignment result type is ' + Variable.Variable.TypeRef.Name +
     ' but value is ' + Assignment.Expression.GetType.Name + '.');
+  Value.Free;
 end;
 
@@ -543 +568 @@
   end;
   Result := ExecutorFunction.Callback(Params);
+  for I := 0 to Expression.Items.Count - 1 do begin
+    Params[I].Free;
+  end;
 end;
 
@@ -548 +576 @@
   Expression: TExpressionOperand): TValue;
 begin
-  if Assigned(Expression.VariableRef) then begin
-    Result := Block.Variables.SearchByVariable(Expression.VariableRef).Value;
-  end else
-  if Assigned(Expression.ConstantRef) then begin
-    Result := Expression.ConstantRef.Value;
-  end else
-  if Assigned(Expression.FunctionCall) then begin
-    Result := ExecuteFunctionCall(Block, Expression.FunctionCall);
-  end else raise Exception.Create('Unsupported exception operand type.');
+  case Expression.OperandType of
+    otFunctionCall: Result := ExecuteFunctionCall(Block, Expression.FunctionCall);
+    otConstantDirect: Result := Expression.ConstantDirect.Value.Clone;
+    otConstantRef: Result := Expression.ConstantRef.Value.Clone;
+    otVariableRef: Result := Block.Variables.SearchByVariable(Expression.VariableRef).Value.Clone;
+    else raise Exception.Create('Unsupported exception operand type.');
+  end;
 end;