Add SourceSection information to LKQLObject

Author: thvnx

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/expressions/literals/ObjectLiteral.java

@@ -80,7 +80,7 @@ public Object executeGeneric(VirtualFrame frame) {
     @ExplodeLoop
     public LKQLObject executeObject(final VirtualFrame frame) {
         // Create the result object
-        LKQLObject res = new LKQLObject(this.shape);
+        LKQLObject res = new LKQLObject(this.shape, this.location);
         for (int i = 0; i < this.keys.length; i++) {
             this.objectLibrary.put(res, this.keys[i], this.values[i].executeGeneric(frame));
         }

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/patterns/ObjectPattern.java

@@ -72,7 +72,7 @@ public boolean onObject(
                 // If the splat has a binding, we need to compute the new object without the keys
                 // that have already been matched
                 if (splat.hasBinding()) {
-                    LKQLObject splatObject = new LKQLObject(shape);
+                    LKQLObject splatObject = new LKQLObject(shape, location);
                     DynamicObjectLibrary splatObjectLib = DynamicObjectLibrary.getUncached();
 
                     for (var objKey : objKeys) {

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/utils/ValueCombiner.java

@@ -37,7 +37,7 @@ protected LKQLObject onObjects(
         @Cached ValueCombiner recursiveCombiner
     ) {
         // Create the result object
-        LKQLObject res = new LKQLObject(LKQLObject.emptyShape());
+        LKQLObject res = new LKQLObject(LKQLObject.emptyShape(), caller.getSourceSection());
 
         // Insert all keys of the left object in the result, resolving conflicts by combining
         // values.

lkql_jit/language/src/main/java/com/adacore/lkql_jit/runtime/values/LKQLObject.java

@@ -18,6 +18,7 @@
 import com.oracle.truffle.api.library.ExportMessage;
 import com.oracle.truffle.api.object.DynamicObjectLibrary;
 import com.oracle.truffle.api.object.Shape;
+import com.oracle.truffle.api.source.SourceSection;
 import com.oracle.truffle.api.utilities.TriState;
 
 /** This class represents an object value in the LKQL language. */
@@ -27,12 +28,17 @@ public final class LKQLObject extends ObjectLKQLValue implements LKQLValue {
     // ----- Attributes -----*
 
     private static final Shape.Builder shapeBuilder = Shape.newBuilder();
+    /** The source location where this object was created. This attribute was
+     * introduced to provide location information for object instances defined
+     * in LKQL rules files. */
+    private final SourceSection creationLocation;
 
     // ----- Constructors -----
 
     /** Create a new LKQL object with its dynamic shape. */
-    public LKQLObject(final Shape shape) {
+    public LKQLObject(final Shape shape, SourceSection creationLocation) {
         super(shape);
+        this.creationLocation = creationLocation;
     }
 
     // ----- Class methods -----
@@ -42,7 +48,8 @@ public LKQLObject(final Shape shape) {
      * library so this is not designed for performance critical usages.
      */
     public static LKQLObject createUncached(final Object[] keys, final Object[] values) {
-        final LKQLObject res = new LKQLObject(emptyShape());
+        // NOTE: this LKQL object doesn't have a source location for now
+        final LKQLObject res = new LKQLObject(emptyShape(), null);
         for (int i = 0; i < keys.length; i++) {
             uncachedObjectLibrary.put(res, keys[i], values[i]);
         }
@@ -57,6 +64,16 @@ public static Shape emptyShape() {
 
     // ----- Value methods -----
 
+    @ExportMessage
+    public boolean hasSourceLocation() {
+        return creationLocation != null;
+    }
+
+    @ExportMessage
+    public SourceSection getSourceLocation() {
+        return creationLocation;
+    }
+
     /** Exported message to compare two LKQL objects. */
     @ExportMessage
     static class IsIdenticalOrUndefined {