Revert "fixes #1354 переопределение методов глобального контекста"

Revert "Волшебная аннотация переопределения стандартного метода"
EvilBeaver · Dec 8, 2023 · ce7dee8 · ce7dee8
1 parent c6d7452
commit ce7dee8
Show file tree

Hide file tree

Showing 8 changed files with 13 additions and 148 deletions.
diff --git a/src/OneScript.Core/Compilation/Binding/BindingExtensions.cs b/src/OneScript.Core/Compilation/Binding/BindingExtensions.cs
@@ -4,11 +4,7 @@ This Source Code Form is subject to the terms of the
 was not distributed with this file, You can obtain one
 at http://mozilla.org/MPL/2.0/.
 ----------------------------------------------------------*/
-
-using System.Linq;
-using System.Reflection;
 using OneScript.Contexts;
-using OneScript.Language.SyntaxAnalysis.AstNodes;
 using OneScript.Runtime.Binding;
 using OneScript.Values;
 
@@ -44,16 +40,5 @@ public static IFieldSymbol ToSymbol(this BslFieldInfo info)
         {
             return new BslFieldSymbol { Field = info };
         }
-
-        public static bool IsUniqueMethod(this SymbolTable table, MethodNode astNode)
-        {
-            var isKnown = table.TryFindMethodBinding(astNode.Signature.MethodName, out _);
-            if (!isKnown)
-            {
-                return true;
-            }
-
-            return astNode.Annotations.Any(a => BslOverrideAttribute.AcceptsIdentifier(a.Name));
-        }
     }
 }
diff --git a/src/OneScript.Core/Compilation/Binding/BslOverrideAttribute.cs b/src/OneScript.Core/Compilation/Binding/BslOverrideAttribute.cs
diff --git a/src/OneScript.Language/Localization/BilingualString.cs b/src/OneScript.Language/Localization/BilingualString.cs
@@ -5,12 +5,11 @@ This Source Code Form is subject to the terms of the
 at http://mozilla.org/MPL/2.0/.
 ----------------------------------------------------------*/
 
-using System;
 using System.Globalization;
 
 namespace OneScript.Localization
 {
-    public class BilingualString : IEquatable<BilingualString>
+    public class BilingualString
     {
         private static readonly CultureInfo RussianCulture;
 
@@ -68,25 +67,5 @@ public static string Localize(string russian, string english)
 
             return russian;
         }
-
-        public bool Equals(BilingualString other)
-        {
-            if (ReferenceEquals(null, other)) return false;
-            if (ReferenceEquals(this, other)) return true;
-            return Russian == other.Russian && English == other.English;
-        }
-
-        public override bool Equals(object obj)
-        {
-            if (ReferenceEquals(null, obj)) return false;
-            if (ReferenceEquals(this, obj)) return true;
-            if (obj.GetType() != this.GetType()) return false;
-            return Equals((BilingualString)obj);
-        }
-
-        public override int GetHashCode()
-        {
-            return HashCode.Combine(Russian, English);
-        }
     }
 }
diff --git a/src/OneScript.Language/Localization/LocalizationExtensions.cs b/src/OneScript.Language/Localization/LocalizationExtensions.cs
diff --git a/src/OneScript.Native/Compiler/CompilerHelpers.cs b/src/OneScript.Native/Compiler/CompilerHelpers.cs
@@ -9,7 +9,6 @@ This Source Code Form is subject to the terms of the
 using System.Collections.Generic;
 using System.Linq;
 using System.Runtime.CompilerServices;
-using OneScript.Compilation.Binding;
 using OneScript.Contexts;
 using OneScript.Language.LexicalAnalysis;
 using OneScript.Language.SyntaxAnalysis.AstNodes;
@@ -50,15 +49,10 @@ public static object ClrValueFromLiteral(in Lexem lex)
 
         public static IEnumerable<Attribute> GetAnnotations(IEnumerable<AnnotationNode> annotations)
         {
-            return annotations.Select<AnnotationNode, Attribute>(a =>
-            {
-                if (BslOverrideAttribute.AcceptsIdentifier(a.Name))
-                {
-                    return new BslOverrideAttribute();
-                }
+            // Возможно будут какие-то маппинги на системные атрибуты, не только на BslAnnotation
+            // поэтому возвращаем Attribute[] а не BslAnnotation[]
 
-                return GetBslAnnotation(a);
-            }).ToList();
+            return annotations.Select(GetBslAnnotation).ToList();
         }
 
         public static BslAnnotationAttribute GetBslAnnotation(AnnotationNode node)

diff --git a/src/OneScript.Native/Compiler/ModuleCompiler.cs b/src/OneScript.Native/Compiler/ModuleCompiler.cs
@@ -79,7 +79,7 @@ private void RegisterLocalMethods(BslSyntaxNode module)
             foreach (var methodNode in methodsSection.Children.Cast<MethodNode>())
             {
                 var signature = methodNode.Signature;
-                if (!Symbols.IsUniqueMethod(methodNode))
+                if (Symbols.TryFindMethodBinding(signature.MethodName, out _))
                 {
                     AddError(LocalizedErrors.DuplicateMethodDefinition(signature.MethodName), signature.Location);
                     continue;

diff --git a/src/ScriptEngine/Compiler/StackMachineCodeGenerator.cs b/src/ScriptEngine/Compiler/StackMachineCodeGenerator.cs
@@ -287,16 +287,15 @@ protected override void VisitMethod(MethodNode methodNode)
             methodInfo.SetRuntimeParameters(entryPoint, GetVariableNames(methodCtx));
 
             SymbolBinding binding;
-            if (_ctx.IsUniqueMethod(methodNode))
+            try
             {
                 binding = _ctx.DefineMethod(methodInfo.ToSymbol());
             }
-            else
+            catch (CompilerException)
             {
                 AddError(LocalizedErrors.DuplicateMethodDefinition(signature.MethodName), signature.Location);
                 binding = default;
             }
-
             _module.MethodRefs.Add(binding);
             _module.Methods.Add(methodInfo);
         }
@@ -1103,21 +1102,14 @@ private void VisitConstant(in Lexem constant)
             AddCommand(OperationCode.PushConst, num);
         }
 
-        private IEnumerable<Attribute> GetAnnotationAttributes(AnnotatableNode node)
+        private IEnumerable<BslAnnotationAttribute> GetAnnotationAttributes(AnnotatableNode node)
         {
-            var mappedAnnotations = new List<Attribute>();
+            var mappedAnnotations = new List<BslAnnotationAttribute>();
             foreach (var annotation in node.Annotations)
             {
-                if (BslOverrideAttribute.AcceptsIdentifier(annotation.Name))
-                {
-                    mappedAnnotations.Add(new BslOverrideAttribute());
-                }
-                else
-                {
-                    var anno = new BslAnnotationAttribute(annotation.Name);
-                    anno.SetParameters(GetAnnotationParameters(annotation));
-                    mappedAnnotations.Add(anno);
-                }
+                var anno = new BslAnnotationAttribute(annotation.Name);
+                anno.SetParameters(GetAnnotationParameters(annotation));
+                mappedAnnotations.Add(anno);
             }
 
             return mappedAnnotations;

diff --git a/tests/engine-behaviors.os b/tests/engine-behaviors.os
@@ -52,8 +52,6 @@
 	ВсеТесты.Добавить("ТестДолжен_ПроверитьИнформацияОбОшибкеВнеИсключения");
 	ВсеТесты.Добавить("ТестДолжен_ПроверитьПередачуПараметровПоСсылке");
 	ВсеТесты.Добавить("ТестДолжен_ПроверитьСравнениеНаБольшеМеньше");
-	ВсеТесты.Добавить("ТестДолжен_ПроверитьНевозможностьПереопределенияГлобальногоКонтекста");
-	ВсеТесты.Добавить("ТестДолжен_ПроверитьВозможностьПереопределенияГлобальногоКонтекста");
 
 	Возврат ВсеТесты;
 
@@ -688,44 +686,8 @@
 
 	юТест.ПроверитьКодСОшибкой(
 		"Массив = Новый Массив(1);
-		|Массив2 = Новый Массив(1);
+		|Массив2 = Новый Массив(1);;
 		|Рез = (Массив <= Массив2);",
 		Ошибка, "Для одинаковых объектов" );
 
 КонецПроцедуры
-
-Процедура ТестДолжен_ПроверитьНевозможностьПереопределенияГлобальногоКонтекста() Экспорт
-
-    Код = "Функция СтрНайти(знач Стр1, знач Стр2)
-    |	Возврат -1;
-    |КонецФункции
-    |
-    |Рез = СтрНайти(""Ай!"", ""!"");
-    |Если Рез < 0 Тогда
-    |	Сообщить(""Ой!"");
-    |КонецЕсли";
-
-    юТест.ПроверитьКодСОшибкой(Код, "СтрНайти");
-
-    юТест.ПроверитьКодСОшибкой("#native" + Символы.ПС + Код, "СтрНайти");
-
-КонецПроцедуры
-
-Процедура ТестДолжен_ПроверитьВозможностьПереопределенияГлобальногоКонтекста() Экспорт
-
-    Код = "&Переопределить
-    |Функция СтрНайти(знач Стр1, знач Стр2)
-    |	Возврат -1;
-    |КонецФункции
-    |
-    |Функция Проверить() Экспорт
-    |   Возврат СтрНайти(""1"", ""1"");
-    |КонецФункции";
-
-    СкриптСтек = ЗагрузитьСценарийИзСтроки(Код);
-    СкриптНатив = ЗагрузитьСценарийИзСтроки("#native" + Символы.ПС + Код);
-
-    юТест.ПроверитьРавенство(-1, СкриптСтек.Проверить());
-    юТест.ПроверитьРавенство(-1, СкриптНатив.Проверить());
-
-КонецПроцедуры