Перегрузка функций +semver:feature (#151)

* #61 - черновик иерархии ключей символов

* #61 - использование ключа символа в домене

* Revert "#61 - использование ключа символа в домене"

This reverts commit fff91c7.

* #61 - Symbol ctor param id -> name

* #61 - новая иерархия ключей символов

* #61 - use SymbolId in ISymbol

* #61 - use symbolId in symbolTable

* #61 - symbolId static analysis refactoring

* fix AsString - add int support

* #61 - added xxx test

* #61 - codegen fix

* #61 - overload tests

Author: Stepami

ExtendedJavaScriptSubset.sln

@@ -66,6 +66,9 @@ Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Samples", "Samples", "{04AB
 		samples\vec2d.js = samples\vec2d.js
 		samples\cycled.js = samples\cycled.js
 		samples\scope.js = samples\scope.js
+		samples\xxx.js = samples\xxx.js
+		samples\overload_object.js = samples\overload_object.js
+		samples\overload.js = samples\overload.js
 	EndProjectSection
 EndProject
 Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Src", "Src", "{FB8F6EE1-1942-46D6-954E-9A1647BBDF10}"

samples/overload.js

@@ -0,0 +1,11 @@
+function func(x:number){
+>>>x
+}
+
+function func(x:number, y:number){
+    return x + y
+}
+
+func(123)
+
+>>> func(-1,5)

samples/overload_object.js

@@ -0,0 +1,15 @@
+function func(obj:TestObj, x:number){
+>>>x
+}
+
+function func(obj:TestObj, x:number, y:number){
+    return x + y
+}
+
+type TestObj = {}
+
+let tObj:TestObj = {}
+
+tObj.func(123)
+
+>>> tObj.func(-1,5)

samples/xxx.js

@@ -0,0 +1,7 @@
+type x = number
+let x:x
+function x(x:x) {
+>>>x
+}
+
+x(x)

src/Application/HydraScript.Application.CodeGeneration/Visitors/ExpressionInstructionProvider.cs

@@ -262,7 +262,6 @@ public AddressedInstructions Visit(CallExpression visitable)
             return [];
 
         var methodCall = !visitable.Empty();
-        string functionId;
         AddressedInstructions result = [];
 
         if (methodCall)
@@ -271,12 +270,6 @@ public AddressedInstructions Visit(CallExpression visitable)
             var lastMemberInstruction = (DotRead)memberInstructions[memberInstructions.End];
             memberInstructions.Remove(lastMemberInstruction);
             result.AddRange(memberInstructions);
-
-            functionId = lastMemberInstruction.Property;
-        }
-        else
-        {
-            functionId = visitable.Id;
         }
 
         if (methodCall)
@@ -298,7 +291,7 @@ public AddressedInstructions Visit(CallExpression visitable)
         }
 
         result.Add(new CallFunction(
-            new FunctionInfo(functionId),
+            new FunctionInfo(visitable.ComputedFunctionAddress),
             visitable.HasReturnValue));
 
         return result;

src/Application/HydraScript.Application.CodeGeneration/Visitors/InstructionProvider.cs

@@ -118,7 +118,7 @@ public AddressedInstructions Visit(FunctionDeclaration visitable)
         if (!visitable.Statements.Any())
             return [];
 
-        var functionInfo = new FunctionInfo(visitable.Name);
+        var functionInfo = new FunctionInfo(visitable.ComputedFunctionAddress);
 
         var result = new AddressedInstructions
         {

src/Application/HydraScript.Application.StaticAnalysis/Exceptions/SymbolIsNotCallable.cs

@@ -1,3 +1,4 @@
+using HydraScript.Domain.IR.Impl.SymbolIds;
 using HydraScript.Domain.IR.Impl.Symbols;
 using HydraScript.Domain.IR.Types;
 
@@ -7,5 +8,5 @@ public interface IMethodStorage
 {
     public void BindMethod(ObjectType objectType, FunctionSymbol method);
 
-    public IReadOnlyDictionary<string, FunctionSymbol> GetAvailableMethods(ObjectType objectType);
+    public IReadOnlyDictionary<FunctionSymbolId, FunctionSymbol> GetAvailableMethods(ObjectType objectType);
 }

src/Application/HydraScript.Application.StaticAnalysis/IMethodStorage.cs

@@ -1,11 +1,12 @@
 using HydraScript.Domain.FrontEnd.Parser.Impl.Ast.Nodes.Declarations.AfterTypesAreLoaded;
+using HydraScript.Domain.IR.Impl.SymbolIds;
 using HydraScript.Domain.IR.Impl.Symbols;
 
 namespace HydraScript.Application.StaticAnalysis.Impl;
 
 internal class FunctionWithUndefinedReturnStorage : IFunctionWithUndefinedReturnStorage
 {
-    private readonly OrderedDictionary<string, FunctionDeclaration> _declarations = [];
+    private readonly OrderedDictionary<FunctionSymbolId, FunctionDeclaration> _declarations = [];
 
     public void Save(FunctionSymbol symbol, FunctionDeclaration declaration)
     {

src/Application/HydraScript.Application.StaticAnalysis/Impl/FunctionWithUndefinedReturnStorage.cs

@@ -1,20 +1,21 @@
+using HydraScript.Domain.IR.Impl.SymbolIds;
 using HydraScript.Domain.IR.Impl.Symbols;
 using HydraScript.Domain.IR.Types;
 
 namespace HydraScript.Application.StaticAnalysis.Impl;
 
 internal class MethodStorage : IMethodStorage
 {
-    private readonly Dictionary<ObjectType, Dictionary<string, FunctionSymbol>> _bindings = [];
+    private readonly Dictionary<ObjectType, Dictionary<FunctionSymbolId, FunctionSymbol>> _bindings = [];
 
     public void BindMethod(ObjectType objectType, FunctionSymbol method)
     {
         objectType.AddMethod(method.Id);
         if (!_bindings.ContainsKey(objectType))
-            _bindings[objectType] = new Dictionary<string, FunctionSymbol>();
+            _bindings[objectType] = new Dictionary<FunctionSymbolId, FunctionSymbol>();
         _bindings[objectType][method.Id] = method;
     }
 
-    public IReadOnlyDictionary<string, FunctionSymbol> GetAvailableMethods(ObjectType objectType) =>
-        _bindings.GetValueOrDefault(objectType, new Dictionary<string, FunctionSymbol>());
+    public IReadOnlyDictionary<FunctionSymbolId, FunctionSymbol> GetAvailableMethods(ObjectType objectType) =>
+        _bindings.GetValueOrDefault(objectType, new Dictionary<FunctionSymbolId, FunctionSymbol>());
 }