initialized/declared type symbols

Stepami · Oct 14, 2023 · cc3eacd · cc3eacd
1 parent e7c542d
commit cc3eacd
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 4 deletions.
diff --git a/Interpreter.Lib/IR/CheckSemantics/Variables/Symbols/Symbol.cs b/Interpreter.Lib/IR/CheckSemantics/Variables/Symbols/Symbol.cs
@@ -5,6 +5,15 @@ public abstract class Symbol
     public abstract string Id { get; }
     public abstract Type Type { get; }
     public SymbolState State { get; protected set; } = SymbolState.Declared;
+
+    public void SetInitialized()
+    {
+        if (State is not SymbolState.Declared)
+            throw new InvalidOperationException(
+                message: "Only declared symbols can be initialized");
+
+        State = SymbolState.Initialized;
+    }
 }
 
 public enum SymbolState

diff --git a/....Lib/IR/CheckSemantics/Visitors/TypeSystemLoader/Service/Impl/TypeDeclarationsResolver.cs b/....Lib/IR/CheckSemantics/Visitors/TypeSystemLoader/Service/Impl/TypeDeclarationsResolver.cs
@@ -32,9 +32,8 @@ public void Resolve()
         {
             var declarationToResolve = _declarationsToResolve.Dequeue();
 
-            var type = declarationToResolve.SymbolTable
-                .FindSymbol<TypeSymbol>(declarationToResolve.TypeId)
-                .Type;
+            var typeSymbol = declarationToResolve.SymbolTable
+                .FindSymbol<TypeSymbol>(declarationToResolve.TypeId);
 
             var resolvingCandidates = declarationToResolve.SymbolTable
                 .GetAvailableSymbols()
@@ -43,10 +42,11 @@ public void Resolve()
 
             foreach (var referenceSymbol in resolvingCandidates)
             {
-                type.ResolveReference(
+                typeSymbol.Type.ResolveReference(
                     referenceSymbol.Type,
                     referenceSymbol.Id);
             }
+            typeSymbol.SetInitialized();
         }
     }
 }