@abaplint/transpiler 2.13.76 → 2.13.77

package/build/src/expressions/field_chain.js

@@ -73,8 +73,10 @@ class FieldChainTranspiler {
             else if (c.get() instanceof core_1.Expressions.AttributeName) {
                 const interfaceName = traversal.isInterfaceAttribute(c.getFirstToken());
                 let name = c.getFirstToken().getStr().toLowerCase();
-                if (context instanceof abaplint.BasicTypes.ObjectReferenceType) {
-                    const cdef = traversal.findClassDefinition(context.getIdentifierName(), scope);
+                const attributeContext = context;
+                context = traversal.narrowContextAttribute(context, c.getFirstToken().getStr(), scope);
+                if (attributeContext instanceof abaplint.BasicTypes.ObjectReferenceType) {
+                    const cdef = traversal.findClassDefinition(attributeContext.getIdentifierName(), scope);
                     const tokenName = c.getFirstToken().getStr();
                     const attr = cdef?.getAttributes().findByName(tokenName);
                     // Do not mark constants as private JS fields. Constants are exposed on instances via constructor copying.
@@ -106,6 +108,7 @@ class FieldChainTranspiler {
             }
             else if (c.get() instanceof core_1.Expressions.ComponentName) {
                 const name = c.getFirstToken().getStr().toLowerCase();
+                context = traversal_1.Traversal.narrowContextComponent(context, c.getFirstToken().getStr());
                 if (traversal_1.Traversal.isBracketComponent(name)) {
                     ret.append(`["` + name + `"]`, c, traversal);
                 }
@@ -135,6 +138,9 @@ class FieldChainTranspiler {
             }
             else if (c instanceof core_1.Nodes.ExpressionNode
                 && c.get() instanceof core_1.Expressions.TableExpression) {
+                if (context instanceof abaplint.BasicTypes.TableType) {
+                    context = context.getRowType();
+                }
                 ret = new _1.TableExpressionTranspiler().transpile(c, traversal, ret);
             }
         }

package/build/src/expressions/target.js

@@ -55,6 +55,9 @@ class TargetTranspiler {
                 context = scope?.findVariable(c.getFirstToken().getStr())?.getType();
             }
             else if (c.get() instanceof core_1.Expressions.TableExpression && c instanceof core_1.Nodes.ExpressionNode) {
+                if (context instanceof abaplint.BasicTypes.TableType) {
+                    context = context.getRowType();
+                }
                 ret = new _1.TableExpressionTranspiler().transpile(c, traversal, ret);
             }
             else if (c.get() instanceof core_1.Expressions.InlineData && c instanceof core_1.Nodes.ExpressionNode) {
@@ -71,6 +74,7 @@ class TargetTranspiler {
             }
             else if (c.get() instanceof core_1.Expressions.ComponentName) {
                 const name = c.getFirstToken().getStr().toLowerCase();
+                context = traversal_1.Traversal.narrowContextComponent(context, c.getFirstToken().getStr());
                 if (traversal_1.Traversal.isBracketComponent(name)) {
                     ret.append(`["` + name + `"]`, c, traversal);
                 }
@@ -81,8 +85,10 @@ class TargetTranspiler {
             else if (c.get() instanceof core_1.Expressions.AttributeName) {
                 let prefix = "";
                 let postfix = "";
-                if (context instanceof abaplint.BasicTypes.ObjectReferenceType) {
-                    const cdef = traversal.findClassDefinition(context.getIdentifierName(), scope);
+                const attributeContext = context;
+                context = traversal.narrowContextAttribute(context, c.getFirstToken().getStr(), scope);
+                if (attributeContext instanceof abaplint.BasicTypes.ObjectReferenceType) {
+                    const cdef = traversal.findClassDefinition(attributeContext.getIdentifierName(), scope);
                     const attr = cdef?.getAttributes().findByName(c.getFirstToken().getStr());
                     if (attr?.getVisibility() === abaplint.Visibility.Private) {
                         const id = scope?.getParent()?.getParent()?.getIdentifier();

package/build/src/traversal.d.ts

@@ -71,6 +71,9 @@ export declare class Traversal {
     constructorPrototypePrefix(token: abaplint.Token, def: abaplint.Types.MethodDefinition | undefined, enclosingClass?: string): string | undefined;
     private isBuiltinVariable;
     isTypePool(token: abaplint.Token): string | undefined;
+    static narrowContextComponent(context: abaplint.AbstractType | undefined, name: string): abaplint.AbstractType | undefined;
+    narrowContextAttribute(context: abaplint.AbstractType | undefined, name: string, scope: abaplint.ISpaghettiScopeNode | undefined): abaplint.AbstractType | undefined;
+    private static dereferenceContext;
     isInterfaceAttribute(token: abaplint.Token): string | undefined;
     findReadOrWriteReference(token: abaplint.Token): abaplint.Identifier | undefined;
     private findInferredTypeReference;

package/build/src/traversal.js

@@ -517,6 +517,45 @@ class Traversal {
         }
         return undefined;
     }
+    // narrows the current type context of a chain, ie. "ls_struct-comp" or "lt_tab[ 1 ]-comp"
+    static narrowContextComponent(context, name) {
+        const structure = Traversal.dereferenceContext(context);
+        if (structure instanceof abaplint.BasicTypes.StructureType) {
+            return structure.getComponentByName(name);
+        }
+        return undefined;
+    }
+    // narrows the current type context of a chain, ie. "lo_ref->attr"
+    narrowContextAttribute(context, name, scope) {
+        if (context instanceof abaplint.BasicTypes.ObjectReferenceType === false) {
+            return undefined;
+        }
+        let identifierName = context.getIdentifierName();
+        const visited = new Set();
+        while (identifierName !== undefined && visited.has(identifierName.toUpperCase()) === false) {
+            visited.add(identifierName.toUpperCase());
+            const def = this.findClassDefinition(identifierName, scope) || this.findInterfaceDefinition(identifierName, scope);
+            if (def === undefined) {
+                return undefined;
+            }
+            const type = def.getAttributes().findByName(name)?.getType();
+            if (type !== undefined) {
+                return type;
+            }
+            identifierName = def.getSuperClass();
+        }
+        return undefined;
+    }
+    static dereferenceContext(context) {
+        let ret = context;
+        if (ret instanceof abaplint.BasicTypes.TableType) {
+            ret = ret.getRowType();
+        }
+        if (ret instanceof abaplint.BasicTypes.DataReference) {
+            ret = ret.getType();
+        }
+        return ret;
+    }
     // returns the interface name if interfaced
     isInterfaceAttribute(token) {
         const ref = this.findReadOrWriteReference(token);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@abaplint/transpiler",
-  "version": "2.13.76",
+  "version": "2.13.77",
   "description": "Transpiler",
   "main": "build/src/index.js",
   "typings": "build/src/index.d.ts",