Changeset 141 for branches/easy compiler/USourceCode.pas

Timestamp:

Jan 16, 2018, 2:44:19 PM (7 years ago)

Author:

chronos

Message:

• Added: Support for multiple value types. String and Integer are supported for the start.
• Added: "var" keyword for compile time definition of variable and its type.
• Added: Increment function for integer values.

File:

• branches/easy compiler/USourceCode.pas (modified) (12 diffs)

branches/easy compiler/USourceCode.pas

@@ -18 +18 @@
   end;
 
+  { TSourceValue }
+
+  TSourceValue = class
+    procedure Assign(Source: TSourceValue); virtual;
+  end;
+
+  TSourceValueClass = class of TSourceValue;
+
+  { TSourceType }
+
+  TSourceType = class
+    Name: string;
+    ValueClass: TSourceValueClass;
+  end;
+
+  { TSourceTypes }
+
+  TSourceTypes = class(TObjectList)
+    function AddNew(Name: string; ClassType: TSourceValueClass): TSourceType;
+    function Search(Name: string): TSourceType;
+  end;
+
+  { TSourceVariable }
+
   TSourceVariable = class
     Name: string;
+    ValueType: TSourceType;
   end;
 
@@ -25 +50 @@
 
   TSourceVariables = class(TObjectList)
-    function AddNew(Name: string = ''): TSourceVariable;
+    function AddNew(Name: string; ValueType: TSourceType): TSourceVariable;
     function Search(Name: string): TSourceVariable;
   end;
@@ -33 +58 @@
   end;
 
+  { TSourceValueString }
+
+  TSourceValueString = class(TSourceValue)
+    Value: string;
+    procedure Assign(Source: TSourceValue); override;
+  end;
+
+  { TSourceValueInteger }
+
+  TSourceValueInteger = class(TSourceValue)
+    Value: Integer;
+    procedure Assign(Source: TSourceValue); override;
+  end;
+
   TSourceConstant = class
     Name: string;
-    Value: string;
-  end;
-
-  TSourceParameterKind = (pkString, pkVariable);
+    Value: TSourceValue;
+  end;
+
+  TSourceParameterKind = (pkString, pkVariable, pkType);
 
   TSourceFunctionParameter = class
@@ -68 +107 @@
 
   TSourceConstants = class(TObjectList)
-    function AddNew(Value: string; Name: string = ''): TSourceConstant;
+    function AddNewString(Value: string; Name: string = ''): TSourceConstant;
+    function AddNewInteger(Value: Integer; Name: string = ''): TSourceConstant;
+    function Search(Name: string): TSourceConstant;
   end;
 
@@ -89 +130 @@
     procedure InitFunctions;
   public
+    Types: TSourceTypes;
     Variables: TSourceVariables;
     Constants: TSourceConstants;
@@ -100 +142 @@
 implementation
 
-{ TSourceFunctions }
-
-function TSourceFunctions.AddNew(Name: string): TSourceFunction;
-begin
-  Result := TSourceFunction.Create;
+{ TSourceTypes }
+
+function TSourceTypes.AddNew(Name: string; ClassType: TSourceValueClass): TSourceType;
+begin
+  Result := TSourceType.Create;
   Result.Name := Name;
-  Add(Result);
-end;
-
-function TSourceFunctions.Search(Name: string): TSourceFunction;
-var
-  Item: TSourceFunction;
+  Result.ValueClass := ClassType;
+  Add(Result);
+end;
+
+function TSourceTypes.Search(Name: string): TSourceType;
+var
+  Item: TSourceType;
 begin
   Result := nil;
@@ -121 +164 @@
 end;
 
+{ TSourceValue }
+
+procedure TSourceValue.Assign(Source: TSourceValue);
+begin
+  raise Exception.Create('Value assign not implemented');
+end;
+
+{ TSourceValueInteger }
+
+procedure TSourceValueInteger.Assign(Source: TSourceValue);
+begin
+  if Source is TSourceValueInteger then
+  Value := TSourceValueInteger(Source).Value
+  else raise Exception.Create('Type for assignment not matches');
+end;
+
+{ TSourceValueString }
+
+procedure TSourceValueString.Assign(Source: TSourceValue);
+begin
+  if Source is TSourceValueString then
+  Value := TSourceValueString(Source).Value
+  else raise Exception.Create('Type for assignment not matches');
+end;
+
+{ TSourceFunctions }
+
+function TSourceFunctions.AddNew(Name: string): TSourceFunction;
+begin
+  Result := TSourceFunction.Create;
+  Result.Name := Name;
+  Add(Result);
+end;
+
+function TSourceFunctions.Search(Name: string): TSourceFunction;
+var
+  Item: TSourceFunction;
+begin
+  Result := nil;
+  for Item in Self do
+  if Item.Name = Name then begin
+    Result := Item;
+    Break;
+  end;
+end;
+
 { TSourceFunction }
 
@@ -147 +236 @@
 { TSourceVariables }
 
-function TSourceVariables.AddNew(Name: string): TSourceVariable;
+function TSourceVariables.AddNew(Name: string;ValueType: TSourceType): TSourceVariable;
 begin
   Result := TSourceVariable.Create;
   Result.Name := Name;
+  Result.ValueType := ValueType;
   Add(Result);
 end;
@@ -156 +246 @@
 function TSourceVariables.Search(Name: string): TSourceVariable;
 var
-  Variable: TSourceVariable;
+  Item: TSourceVariable;
 begin
   Result := nil;
-  for Variable in Self do
-  if Variable.Name = Name then begin
-    Result := Variable;
+  for Item in Self do
+  if Item.Name = Name then begin
+    Result := Item;
     Break;
   end;
@@ -168 +258 @@
 { TSourceConstants }
 
-function TSourceConstants.AddNew(Value: string; Name: string): TSourceConstant;
+function TSourceConstants.AddNewString(Value: string; Name: string
+  ): TSourceConstant;
 begin
   Result := TSourceConstant.Create;
-  Result.Value := Value;
+  Result.Value := TSourceValueString.Create;
+  TSourceValueString(Result.Value).Value := Value;
   Result.Name := '';
   Add(Result);
+end;
+
+function TSourceConstants.AddNewInteger(Value: Integer; Name: string
+  ): TSourceConstant;
+begin
+  Result := TSourceConstant.Create;
+  Result.Value := TSourceValueInteger.Create;
+  TSourceValueInteger(Result.Value).Value := Value;
+  Result.Name := '';
+  Add(Result);
+end;
+
+function TSourceConstants.Search(Name: string): TSourceConstant;
+var
+  Item: TSourceConstant;
+begin
+  Result := nil;
+  for Item in Self do
+  if Item.Name = Name then begin
+    Result := Item;
+    Break;
+  end;
 end;
 
@@ -191 +305 @@
 begin
   Functions.Clear;
+
+  // Init types
+  Types.AddNew('Integer', TSourceValueInteger);
+  Types.AddNew('String', TSourceValueString);
+
+  // Init functions
   Funct := Functions.AddNew('print');
   Funct.AddParameter('Text', pkString);
+
   Funct := Functions.AddNew('println');
   Funct.AddParameter('Text', pkString);
+
+  Funct := Functions.AddNew('var');
+  Funct.AddParameter('Variable', pkVariable);
+  Funct.AddParameter('Type', pkType);
+
   Funct := Functions.AddNew('assign');
   Funct.AddParameter('Destination', pkVariable);
   Funct.AddParameter('Source', pkString);
+
   Funct := Functions.AddNew('inputln');
   Funct.AddParameter('Text', pkVariable);
+
+  Funct := Functions.AddNew('increment');
+  Funct.AddParameter('Variable', pkVariable);
+  Funct.AddParameter('Addition', pkString);
 end;
 
 constructor TSourceCode.Create;
 begin
+  Types := TSourceTypes.Create;
   Variables := TSourceVariables.Create;
   Constants := TSourceConstants.Create;
+  Functions := TSourceFunctions.Create;
   Instructions := TSourceInstructions.Create;
-  Functions := TSourceFunctions.Create;
   InitFunctions;
 end;
@@ -213 +345 @@
 destructor TSourceCode.Destroy;
 begin
+  Instructions.Free;
   Functions.Free;
   Variables.Free;
   Constants.Free;
-  Instructions.Free;
+  Types.Free;
   inherited Destroy;
 end;