Fixed property access on dynamic nodes

Author: Killian Perlin

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/expressions/dot/DotAccess.java

@@ -6,12 +6,10 @@
 package com.adacore.lkql_jit.nodes.expressions.dot;
 
 import com.adacore.langkit_support.LangkitSupport;
+import com.adacore.lkql_jit.LKQLTypeSystemGen;
 import com.adacore.lkql_jit.exception.LKQLRuntimeException;
 import com.adacore.lkql_jit.nodes.Identifier;
-import com.adacore.lkql_jit.runtime.values.LKQLNamespace;
-import com.adacore.lkql_jit.runtime.values.LKQLNull;
-import com.adacore.lkql_jit.runtime.values.LKQLObject;
-import com.adacore.lkql_jit.runtime.values.LKQLProperty;
+import com.adacore.lkql_jit.runtime.values.*;
 import com.adacore.lkql_jit.utils.Constants;
 import com.adacore.lkql_jit.utils.LKQLTypesHelper;
 import com.oracle.truffle.api.dsl.Cached;
@@ -130,6 +128,18 @@ protected Object onNodeUncached(LangkitSupport.NodeInterface receiver) {
         return this.onNodeCached(receiver, property, property.isField());
     }
 
+    @Specialization
+    protected Object onDynamicAdaNode(final DynamicAdaNode receiver) {
+        var res = receiver.getField(this.member.getName());
+        if (res == null && receiver instanceof AdaNodeProxy proxy) {
+            res = this.onNodeUncached(proxy.base);
+            if (LKQLTypeSystemGen.isNodeInterface(res)) {
+                return AdaNodeProxy.convertAST(LKQLTypeSystemGen.asNodeInterface(res));
+            }
+        }
+        return res;
+    }
+
     /** Fallback when the receiver is none of the case identified by the specializations. */
     @Fallback
     protected Object onOthers(Object receiver) {

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/patterns/node_patterns/NodePatternProperty.java

@@ -9,6 +9,7 @@
 import com.adacore.lkql_jit.exception.LKQLRuntimeException;
 import com.adacore.lkql_jit.nodes.expressions.Expr;
 import com.adacore.lkql_jit.nodes.patterns.BasePattern;
+import com.adacore.lkql_jit.runtime.values.AdaNodeProxy;
 import com.adacore.lkql_jit.runtime.values.LKQLProperty;
 import com.adacore.lkql_jit.utils.Constants;
 import com.adacore.lkql_jit.utils.functions.ReflectionUtils;
@@ -125,6 +126,11 @@ protected boolean propertyUncached(VirtualFrame frame, LangkitSupport.NodeInterf
         return this.propertyCached(frame, node, property);
     }
 
+    @Specialization
+    protected boolean propertyAdaNodeProxy(VirtualFrame frame, AdaNodeProxy node) {
+        return this.propertyUncached(frame, node.base);
+    }
+
     // ----- Override methods -----
 
     /**