#143 - посещение идентификатора ищет среди переменных (#144)

* #143 - посещение идентификатора ищет среди переменных

* #143 - Initialized переехало в VariableSymbol

Author: Stepami

src/Application/HydraScript.Application.StaticAnalysis/Visitors/SemanticChecker.cs

@@ -138,7 +138,7 @@ public Type Visit(ExpressionStatement visitable) =>
 
     public Type Visit(IdentifierReference visitable)
     {
-        var symbol = _symbolTables[visitable.Scope].FindSymbol<ISymbol>(visitable.Name);
+        var symbol = _symbolTables[visitable.Scope].FindSymbol<VariableSymbol>(visitable.Name);
         if (symbol is { Initialized: false })
             throw new AccessBeforeInitialization(visitable);
         return symbol?.Type ?? throw new UnknownIdentifierReference(visitable);

src/Domain/HydraScript.Domain.IR/ISymbol.cs

@@ -4,5 +4,4 @@ public interface ISymbol
 {
     public string Id { get; }
     public Type Type { get; }
-    public bool Initialized { get; }
 }

src/Domain/HydraScript.Domain.IR/Impl/Symbols/Symbol.cs

@@ -4,5 +4,4 @@ public abstract class Symbol(string id, Type type) : ISymbol
 {
     public virtual string Id { get; } = id;
     public virtual Type Type { get; } = type;
-    public virtual bool Initialized => true;
 }

src/Domain/HydraScript.Domain.IR/Impl/Symbols/VariableSymbol.cs

@@ -5,12 +5,10 @@ public class VariableSymbol(
     Type type,
     bool readOnly = false) : Symbol(id, type)
 {
-    private bool _initialized = readOnly;
-
     public bool ReadOnly { get; } = readOnly;
-    public override bool Initialized => _initialized;
+    public bool Initialized { get; private set; } = readOnly;
 
-    public void Initialize() => _initialized = true;
+    public void Initialize() => Initialized = true;
 
     public override string ToString() =>
         $"{(ReadOnly ? "const " : "")}{Id}: {Type}";