Update script data type implementations

Author: zhossain-info

JSchema/RelogicLabs/JSchema/Nodes/JArray.cs

@@ -45,6 +45,8 @@ public override bool Match(JNode node)
     public override IList<JNode> Components => Elements;
     public IReadOnlyList<IEValue> Values => (IReadOnlyList<IEValue>) Elements;
     public IEValue Get(int index) => Elements[index];
+    public void Set(int index, IEValue value)
+        => throw new UpdateNotSupportedException(AUPD01, "Readonly array cannot be updated");
     private static bool IsOptional(JNode node) => node is JValidator { Optional: true };
     public override string ToString() => Elements.JoinWith(", ", "[", "]");
 

JSchema/RelogicLabs/JSchema/Nodes/JBoolean.cs

@@ -35,7 +35,7 @@ public override bool Equals(object? obj)
     }
 
     public override int GetHashCode() => Value.GetHashCode();
-    public static implicit operator bool(JBoolean @bool) => @bool.Value;
+    public static implicit operator bool(JBoolean node) => node.Value;
     public override string ToString() => Value.ToString().ToLower();
 
     internal new sealed class Builder : JPrimitive.Builder<bool>

JSchema/RelogicLabs/JSchema/Nodes/JObject.cs

@@ -116,6 +116,8 @@ private bool OrderedEquals(IList<JProperty> properties)
         return property?.Value;
     }
 
+    public void Set(string key, IEValue value)
+        => throw new UpdateNotSupportedException(OUPD01, "Readonly object cannot be updated");
     public override int GetHashCode() => Properties.GetHashCode();
     public override string ToString() => Properties.JoinWith(", ", "{", "}");
 

JSchema/RelogicLabs/JSchema/Nodes/JReceiver.cs

@@ -41,6 +41,8 @@ public IList<T> GetValueNodes<T>() where T : JNode
         => FetchValueNodes().Cast<T>().ToList().AsReadOnly();
 
     public IEValue Get(int index) => FetchValueNodes()[index];
+    public void Set(int index, IEValue value)
+        => throw new UpdateNotSupportedException(AUPD02, "Readonly array cannot be updated");
 
     public override bool Equals(object? obj)
     {

JSchema/RelogicLabs/JSchema/Nodes/JString.cs

@@ -26,7 +26,7 @@ public override bool Match(JNode node)
         if(other == null) return false;
         if(Value.Equals(other.Value)) return true;
         return Fail(new JsonSchemaException(
-            new ErrorDetail(STRN01, ValueMismatch),
+            new ErrorDetail(STRV01, ValueMismatch),
             ExpectedDetail.AsValueMismatch(this),
             ActualDetail.AsValueMismatch(other)));
     }

JSchema/RelogicLabs/JSchema/Script/GArray.cs

@@ -2,7 +2,6 @@
 using RelogicLabs.JSchema.Types;
 using RelogicLabs.JSchema.Utilities;
 using static RelogicLabs.JSchema.Message.ErrorCode;
-using static RelogicLabs.JSchema.Types.IEValue;
 
 namespace RelogicLabs.JSchema.Script;
 
@@ -31,16 +30,23 @@ public static GArray FilledFrom(IEValue value, int count)
         return array;
     }
 
-    public IEValue Get(int index)
+    public IEValue Get(int index) => Elements[index];
+
+    public void Set(int index, IEValue value)
     {
         var count = Elements.Count;
-        if(index < count) return Elements[index];
-        if(index > MaxLimit) throw new ScriptCommonException(INDX01,
+        if(index < count)
+        {
+            if(Elements[index] is not GReference r) throw new UpdateNotSupportedException(AUPD03,
+                $"Readonly array index {index} cannot be updated");
+            r.Value = value;
+            return;
+        }
+        if(index > count) throw new ScriptCommonException(AWRT01,
+            $"Index {index} is out of bounds for writing to array length {count}");
+        if(index > MaxLimit) throw new ScriptCommonException(AWRT02,
             $"Array index {index} exceeds maximum size limit");
-        if(index > count) throw new IndexOutOfRangeException($"Array index out of range: {index}");
-        var reference = new GReference(VOID);
-        Elements.Add(reference);
-        return reference;
+        Elements.Add(new GReference(value));
     }
 
     public override string ToString() => Elements.JoinWith(", ", "[", "]");

JSchema/RelogicLabs/JSchema/Script/GBoolean.cs

@@ -6,10 +6,8 @@ internal sealed class GBoolean : IEBoolean
 {
     public static readonly GBoolean TRUE = new(true);
     public static readonly GBoolean FALSE = new(false);
-
     public bool Value { get; }
 
     private GBoolean(bool value) => Value = value;
-    public static GBoolean Of(bool value) => value? TRUE : FALSE;
     public override string ToString() => Value.ToString().ToLower();
 }

JSchema/RelogicLabs/JSchema/Script/GDouble.cs

@@ -6,7 +6,7 @@ internal sealed class GDouble : IEDouble
 {
     public double Value { get; }
     private GDouble(double value) => Value = value;
-    public static GDouble Of(double value) => new(value);
+    public static GDouble From(double value) => new(value);
 
     public override string ToString() => Value.ToString();
 }

JSchema/RelogicLabs/JSchema/Script/GFunction.cs

@@ -11,7 +11,6 @@ namespace RelogicLabs.JSchema.Script;
 
 internal sealed class GFunction : IRFunction
 {
-    public const string ConstraintPrefix = "@";
     public const int ConstraintMode = 1;
     public const int FutureMode = 3;
     public const int SubroutineMode = 4;
@@ -32,20 +31,20 @@ public GFunction(GParameter[] parameters, Evaluator body, int mode)
         Mode = mode;
     }
 
-    public ScopeContext Bind(ScopeContext parentScope, List<IEValue> arguments)
+    public ScriptScope Bind(ScriptScope parentScope, List<IEValue> arguments)
     {
-        AreCompatible(this, arguments, FUNS05);
-        var scope = new ScopeContext(parentScope);
+        AreCompatible(this, arguments, FNVK02);
+        var scope = new ScriptScope(parentScope);
         var i = 0;
         foreach(var p in Parameters) scope.AddVariable(p.Name, p.Variadic
                 ? new GArray(arguments.GetRange(i)) : arguments[i++]);
         return scope;
     }
 
-    public IEValue Invoke(ScopeContext functionScope, List<IEValue> arguments)
+    public IEValue Invoke(ScriptScope functionScope, List<IEValue> arguments)
         => Invoke(functionScope);
 
-    public IEValue Invoke(ScopeContext functionScope)
+    public IEValue Invoke(ScriptScope functionScope)
     {
         var result = Body(functionScope);
         if(result is GControl ctrl) return ctrl.Value;

JSchema/RelogicLabs/JSchema/Script/GInteger.cs

@@ -11,7 +11,7 @@ internal sealed class GInteger : IEInteger
 
     private GInteger(long value) => Value = value;
 
-    public static GInteger Of(long value)
+    public static GInteger From(long value)
         => value is >= CacheStart and <= CacheEnd
             ? Cache[(int) value - CacheStart] : new GInteger(value);