#201 - codegen + static analysis

Author: Stepami

src/Application/HydraScript.Application.CodeGeneration/Impl/ValueFactory.cs

@@ -22,7 +22,7 @@ public IValue Create(ValueDto dto) =>
         };
 
     public Name CreateName(string id, bool env = false) =>
-        env ? new Name(id, EnvFrame) : new Name(id, CurrentFrame);
+        env ? new EnvName(id, EnvFrame) : new Name(id, CurrentFrame);
 
     private CurrentFrame CurrentFrame { get; } = new(frameContext);
 

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

@@ -24,6 +24,7 @@ internal class SemanticChecker : VisitorBase<IAbstractSyntaxTreeNode, Type>,
     IVisitor<ReturnStatement, Type>,
     IVisitor<ExpressionStatement, Type>,
     IVisitor<IdentifierReference, Type>,
+    IVisitor<EnvVarReference, Type>,
     IVisitor<Literal, Type>,
     IVisitor<ImplicitLiteral, Type>,
     IVisitor<ArrayLiteral, ArrayType>,
@@ -154,6 +155,8 @@ public Type Visit(IdentifierReference visitable)
         return symbol?.Type ?? throw new UnknownIdentifierReference(visitable);
     }
 
+    public Type Visit(EnvVarReference visitable) => "string";
+
     public Type Visit(Literal visitable) =>
         visitable.Type.Accept(_typeBuilder);
 
@@ -341,9 +344,11 @@ public Type Visit(AssignmentExpression visitable)
             return destinationType;
         }
 
-        var symbol =
-            _symbolTables[visitable.Scope].FindSymbol(new VariableSymbolId(visitable.Destination.Id)) ??
-            throw new UnknownIdentifierReference(visitable.Destination.Id);
+        // здесь может быть переменная программы, а может быть переменная среды
+        var symbol = visitable.Destination.Id.ToValueDto().Type is ValueDtoType.Name
+            ? _symbolTables[visitable.Scope].FindSymbol(new VariableSymbolId(visitable.Destination.Id)) ??
+              throw new UnknownIdentifierReference(visitable.Destination.Id)
+            : new VariableSymbol(visitable.Destination.Id, "string");
 
         if (symbol.ReadOnly)
             throw new AssignmentToConst(visitable.Destination.Id);

src/Domain/HydraScript.Domain.BackEnd/Impl/Frames/EnvFrame.cs

@@ -4,7 +4,7 @@ public sealed class EnvFrame(IEnvironmentVariableProvider provider) : IFrame
 {
     public object? this[string id]
     {
-        get => provider.GetEnvironmentVariable(id[1..]);
-        set => provider.SetEnvironmentVariable(id[1..], value?.ToString());
+        get => provider.GetEnvironmentVariable(id);
+        set => provider.SetEnvironmentVariable(id, value?.ToString());
     }
 }

src/Domain/HydraScript.Domain.BackEnd/Impl/Values/EnvName.cs

@@ -0,0 +1,8 @@
+using HydraScript.Domain.BackEnd.Impl.Frames;
+
+namespace HydraScript.Domain.BackEnd.Impl.Values;
+
+public class EnvName(string id, EnvFrame frame) : Name(id, frame)
+{
+    public override string ToString() => $"${Id}";
+}

src/Domain/HydraScript.Domain.BackEnd/Impl/Values/Name.cs

@@ -2,20 +2,20 @@ namespace HydraScript.Domain.BackEnd.Impl.Values;
 
 public class Name(string id, IFrame frame) : IValue
 {
-    private readonly string _id = id;
+    protected string Id { get; } = id;
     private IFrame _frame = frame;
 
-    public object? Get() => _frame[_id];
+    public object? Get() => _frame[Id];
 
-    public void Set(object? value) => _frame[_id] = value;
+    public void Set(object? value) => _frame[Id] = value;
 
     public void SetFrame(IFrame newFrame) => _frame = newFrame;
 
-    public override string ToString() => _id;
+    public override string ToString() => Id;
 
     public bool Equals(IValue? other) =>
         other is Name that &&
-        _id == that._id;
+        Id == that.Id;
 
     internal static IFrame NullFrameInstance { get; } = new NullFrame();