check object literal without methods

Stepami · Oct 19, 2023 · 6bef425 · 6bef425
1 parent a5f6657
commit 6bef425
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 2 deletions.
diff --git a/Interpreter.Lib/IR/Ast/Impl/Nodes/Expressions/ComplexLiterals/ObjectLiteral.cs b/Interpreter.Lib/IR/Ast/Impl/Nodes/Expressions/ComplexLiterals/ObjectLiteral.cs
@@ -1,6 +1,7 @@
 using Interpreter.Lib.BackEnd;
 using Interpreter.Lib.IR.Ast.Impl.Nodes.Declarations.AfterTypesAreLoaded;
 using Interpreter.Lib.IR.Ast.Visitors;
+using Interpreter.Lib.IR.CheckSemantics.Visitors.SemanticChecker;
 using Interpreter.Lib.IR.CheckSemantics.Visitors.SymbolTableInitializer;
 using Visitor.NET;
 
@@ -25,12 +26,15 @@ public override IEnumerator<AbstractSyntaxTreeNode> GetEnumerator() =>
 
     protected override string NodeRepresentation() => "{}";
 
-    public override AddressedInstructions Accept(InstructionProvider visitor) =>
+    public override Unit Accept(SymbolTableInitializer visitor) =>
+        visitor.Visit(this);
+
+    public override Type Accept(SemanticChecker visitor) =>
         visitor.Visit(this);
 
     public override AddressedInstructions Accept(ExpressionInstructionProvider visitor) =>
         new InstructionProvider().Visit(this);
 
-    public override Unit Accept(SymbolTableInitializer visitor) =>
+    public override AddressedInstructions Accept(InstructionProvider visitor) =>
         visitor.Visit(this);
 }
diff --git a/Interpreter.Lib/IR/CheckSemantics/Visitors/SemanticChecker/SemanticChecker.cs b/Interpreter.Lib/IR/CheckSemantics/Visitors/SemanticChecker/SemanticChecker.cs
@@ -23,6 +23,7 @@ public class SemanticChecker :
     IVisitor<IdentifierReference, Type>,
     IVisitor<ImplicitLiteral, Type>,
     IVisitor<ArrayLiteral, Type>,
+    IVisitor<ObjectLiteral, Type>,
     IVisitor<ConditionalExpression, Type>,
     IVisitor<BinaryExpression, Type>,
     IVisitor<UnaryExpression, Type>,
@@ -126,6 +127,23 @@ public Type Visit(ArrayLiteral visitable)
         throw new WrongArrayLiteralDeclaration(visitable.Segment, type);
     }
 
+    public Type Visit(ObjectLiteral visitable)
+    {
+        var properties = visitable.Properties.Select(prop =>
+        {
+            var propType = prop.Expression.Accept(this);
+            visitable.SymbolTable.AddSymbol(propType switch
+            {
+                ObjectType objectType => new ObjectSymbol(prop.Id, objectType),
+                _ => new VariableSymbol(prop.Id, propType)
+            });
+            return new PropertyType(prop.Id, propType);
+        });
+        var objectLiteralType = new ObjectType(properties);
+        visitable.SymbolTable.AddSymbol(new ObjectSymbol(id: "this", objectLiteralType, readOnly: true));
+        return objectLiteralType;
+    }
+
     public Type Visit(ConditionalExpression visitable)
     {
         var tType = visitable.Test.Accept(this);