@sap/cds-compiler 5.2.0 → 5.3.0

package/lib/compiler/resolve.js

@@ -99,6 +99,7 @@ function resolve( model ) {
   Object.assign( model.$functions, {
     resolveExpr,
     addForeignKeyNavigations,
+    redirectionChain,
   } );
 
   const ignoreSpecifiedElements
@@ -321,7 +322,7 @@ function resolve( model ) {
       propagateKeys = false;
       info( 'query-from-many', [ toMany.location, query ], { art: toMany }, {
         std: 'Key properties are not propagated because a to-many association $(ART) is selected',
-        // eslint-disable-next-line max-len
+        // eslint-disable-next-line @stylistic/js/max-len
         element: 'Key properties are not propagated because a to-many association $(MEMBER) of $(ART) is selected',
       } );
     }
@@ -362,9 +363,9 @@ function resolve( model ) {
         // ID published! Used in stakeholder project; if renamed, add to oldMessageIds
         info( 'query-navigate-many', [ art.location, user || query ], { art }, {
           std: 'Navigating along to-many association $(ART) - key properties are not propagated',
-          // eslint-disable-next-line max-len
+          // eslint-disable-next-line @stylistic/js/max-len
           element: 'Navigating along to-many association $(MEMBER) of $(ART) - key properties are not propagated',
-          // eslint-disable-next-line max-len
+          // eslint-disable-next-line @stylistic/js/max-len
           alias: 'Navigating along to-many mixin association $(MEMBER) - key properties are not propagated',
         } );
       }
@@ -400,9 +401,6 @@ function resolve( model ) {
   function resolveRefs( art ) {
     if (art.builtin)
       return;
-    // console.log(info( null, [ art.location, art ], {}, 'REFS').toString());
-    // console.log(info( null, [ art.location, art ], { art: art.target || 'none' },
-    //   'RR: $(ART)').toString());
     const parent = art._parent;
     const allowedInMain = [ 'entity', 'aspect', 'event' ].includes( adHocOrMainKind( art ) );
     const isTopLevelElement = parent && (parent.kind !== 'element' || parent.targetAspect);
@@ -518,8 +516,6 @@ function resolve( model ) {
       }
     }
     if (obj.target) {
-      // console.log(error( 'test-target', [ obj.location, obj ],
-      //   { target: obj.target, kind: obj.kind }, 'Target: $(TARGET), Kind $(KIND)'));
       if (!obj.target.$inferred || obj.target.$inferred === 'aspect-composition')
         resolveTarget( art, obj );
       else
@@ -535,7 +531,6 @@ function resolve( model ) {
       resolvePath( art.targetElement, 'targetElement', art );
 
     // Resolve projections/views
-    // if (art.query)console.log( info( null, [art.query.location,art.query], 'VQ:' ).toString() );
 
     if (art.$queries)
       art.$queries.forEach( resolveQuery );
@@ -928,14 +923,12 @@ function resolve( model ) {
     // TODO: or set silent dependencies in init?
     forEachGeneric( query, 'elements', elem => dependsOnSilent( query, elem ) );
     forEachGeneric( query, '$tableAliases', ( alias ) => {
-      // console.log( info( null, [alias.location,alias], 'SQA:' ).toString() );
       if (alias.kind === 'mixin')
         resolveRefs( alias );   // mixin element
       else if (alias.kind !== '$self')
         // pure path has been resolved, resolve args and filter now:
         resolveExpr( alias, 'from', query._parent );
     } );
-    // if (!query.$inlines) console.log('RQ:',query)
     for (const col of query.$inlines)
       resolveExpr( col.value, 'column', col );
     // for (const col of query.$inlines)
@@ -1095,17 +1088,8 @@ function resolve( model ) {
         issue['#'] = 'order';
       }
     }
-    if (issue['#']) {
-      /* eslint-disable max-len */
-      message( 'type-expecting-service-target', [ art.target.location, art ], issue, {
-        std: 'Expecting service entity $(TARGET)',
-        ref: 'Expecting service entity $(TARGET); its element $(ID) referred to at line $(LINE), column $(COL) is not from an element with the same name in the provided model target',
-        key: 'Expecting service entity $(TARGET); its key element $(ID) is not from a key element with the same name in the provided model target',
-        missing: 'Expecting service entity $(TARGET); it does not have the key element $(ID) of the provided model target',
-        order: 'Expecting service entity $(TARGET); its key elements are in a different order than those of the provided model target',
-      } );
-      /* eslint-enable max-len */
-    }
+    if (issue['#'])
+      message( 'type-expecting-service-target', [ art.target.location, art ], issue );
   }
 
   function keyElementNames( elements ) {
@@ -1143,7 +1127,7 @@ function resolve( model ) {
   function addImplicitForeignKeys( art, obj, target ) {
     obj.foreignKeys = Object.create( null );
     forEachInOrder( target, 'elements', ( elem, name ) => {
-      if (elem.key && elem.key.val) {
+      if (elem.key?.val) {
         const location = weakLocation( obj.target.location );
         const key = {
           name: { location, id: elem.name.id, $inferred: 'keys' },
@@ -1228,7 +1212,7 @@ function resolve( model ) {
           const text = (item !== last) ? 'sub' : 'std';
           error( 'duplicate-key-ref', [ item.location, key ], { '#': text, name }, {
             std: 'Foreign key $(NAME) already refers to the same target element',
-            // eslint-disable-next-line max-len
+            // eslint-disable-next-line @stylistic/js/max-len
             sub: 'Foreign key $(NAME) already refers to the target element whose sub element is again referred to here',
             // TODO: please add ideas for a better text, e.g. to (closed) PR #11325
           } );
@@ -1246,9 +1230,8 @@ function resolve( model ) {
     const origType = assoc && effectiveType( assoc );
     if (origType === 0)
       return;
-    if (!origType || !origType.target) {
-      const path = (elem.value && elem.value.path);
-      const loc = (path && path[path.length - 1] || elem.value || elem).location;
+    if (!origType?.target) {
+      const loc = (elem.value?.path?.at(-1) || elem.value || elem).location;
       error( 'redirected-no-assoc', [ loc, elem ], {},
              'Only an association can be redirected' );
       return;
@@ -1258,52 +1241,68 @@ function resolve( model ) {
       error( 'type-invalid-cast', [ elem.type.location, elem ], { '#': 'assoc' } );
       return;
     }
+
     const origTarget = origType.target._artifact;
-    if (!origTarget || !target)
-      return;
 
-    const chain = [];
-    if (target === origTarget) {
-      if (!elem.target.$inferred && !elem.on && !elem.foreignKeys) {
-        // Only a managed redirection gets this info message.  Because otherwise
-        // we'd have to check whether on-condition/foreignKeys are the same.
-        // ID published! Used in stakeholder project; if renamed, add to oldMessageIds
-        info( 'redirected-to-same', [ elem.target.location, elem ], { art: target },
-              'The redirected target is the original $(ART)' );
-      }
-      setLink( elem, '_redirected', chain ); // store the chain
-      return;
+    if (target === origTarget && !elem.target.$inferred && !elem.on && !elem.foreignKeys) {
+      // Only a managed redirection gets this info message.  Because otherwise
+      // we'd have to check whether on-condition/foreignKeys are the same.
+      // ID published! Used in stakeholder project; if renamed, add to oldMessageIds
+      info( 'redirected-to-same', [ elem.target.location, elem ], { art: target },
+            'The redirected target is the original $(ART)' );
     }
+
     if (elem.foreignKeys || elem.on)
       return;          // TODO: or should we still bring an msg if nothing in common?
+
+    const chain = redirectionChain( elem, target, origTarget );
+    setLink( elem, '_redirected', chain );
+  }
+
+  /**
+   * Get the redirection chain between a target and the original target.
+   *
+   * @param {XSN.Artifact} elem
+   * @param {XSN.Artifact} target
+   * @param {XSN.Artifact} origTarget
+   * @param {boolean} [silent] Whether to report error and other messages.
+   * @returns {XSN.Artifact[]|null}
+   */
+  function redirectionChain( elem, target, origTarget, silent = false ) {
+    if (!origTarget || !target)
+      return null;
+    if (target === origTarget)
+      return []; // e.g. explicit ON-condition/foreign keys or original target
+
+    const chain = [];
     // now check whether target and origTarget are "related"
+    // first: check via simple projections
     while (target.query) {
       const from = target.query.args ? {} : target.query.from;
       if (!from)
-        return;                 // parse error - TODO: or UNION?
+        return null;           // parse error - TODO: or UNION?
       if (!from.path) {
+        if (silent)
+          break;
         const isTarget = target === elem.target._artifact;
         const op = from.op?.val || target.query.op?.val;
         const variant = (!isTarget && 'std') || (op && 'targetOp') || 'target';
-        // ID published! Used in stakeholder project; if renamed, add to oldMessageIds
         info( 'redirected-to-complex', [ elem.target.location, elem ],
-              { art: target, '#': variant, keyword: op || '' }, {
-                std: 'Redirection involves the complex view $(ART)',
-                target: 'The redirected target $(ART) is a complex view',
-                targetOp: 'The redirected target $(ART) is a complex view with $(KEYWORD)',
-              } );
+              { art: target, '#': variant, keyword: op || '' } );
         break;
       }
       target = from._artifact;
       if (!target)
-        return;
+        return null;
       chain.push( from );
       if (target === origTarget) {
+        // found in simple projection chain
         chain.reverse();
-        setLink( elem, '_redirected', chain );
-        return;
+        return chain;
       }
     }
+
+    // there is a complex view in-between; search through table aliases
     let redirected = null;
     chain.reverse();
     let news = [ { chain, sources: [ target ] } ];
@@ -1321,25 +1320,25 @@ function resolve( model ) {
           else if (!redirected) {
             redirected = (s.kind === '$tableAlias') ? [ s, ...o.chain ] : o.chain;
           }
-          else {
+          else if (!silent) {
             error( 'redirected-to-ambiguous', [ elem.target.location, elem ], { art: origTarget },
                    'The redirected target originates more than once from $(ART)' );
-            return;
+            return null;
+          }
+          else {
+            return null;
           }
         }
       }
     }
-    if (redirected) {
-      setLink( elem, '_redirected', redirected );
-    }
-    else if (redirected == null) {
+    if (!silent && redirected == null) {
       error( 'redirected-to-unrelated', [ elem.target.location, elem ], { art: origTarget },
              'The redirected target does not originate from $(ART)' );
     }
-    return;
+    return redirected;
 
     // B = proj on A, C = A x B, X = { a: assoc to A on a.Q1 = ...}, Y = X.{ a: redirected to C }
-    // what does a: redirected to C means?
+    // what does 'a: redirected to C' mean?
     // -> collect all elements Qi used in ON (corr: foreign keys)
     // -> only use an tableAlias which has propagation for all elements
     // no - error if the original target can be reached twice
@@ -1430,7 +1429,6 @@ function resolve( model ) {
   }
 
   function resolveExpr( expr, exprCtx, user ) {
-    // console.log(expr?.location.line,exprCtx)
     traverseExpr( expr, exprCtx, user, resolveExprItem );
   }
 
@@ -1507,7 +1505,7 @@ function resolve( model ) {
       message( 'expr-unexpected-filter', [ location, user ], { '#': variant }, {
         std: 'A filter can only be provided when navigating along associations',
         // to help users for `… from E:toF { toF[…].x }`
-        // eslint-disable-next-line max-len
+        // eslint-disable-next-line @stylistic/js/max-len
         tableAlias: 'A filter can only be provided when navigating along associations, but found table alias',
         from: 'A filter can only be provided for the source entity or associations',
       } );

package/lib/compiler/shared.js

@@ -1225,7 +1225,7 @@ function fns( model ) {
         // of invisible table aliases; at least one stakeholder uses this,
         // so it can't be an error (yet).
         message( 'ref-deprecated-self-element', [ ref.path[0].location, user._user ], {},
-                 // eslint-disable-next-line max-len
+                 // eslint-disable-next-line @stylistic/js/max-len
                  'Referring to the query\'s own elements here might lead to invalid SQL references; use source elements only' );
         return false;
       default:
@@ -1617,7 +1617,7 @@ function fns( model ) {
     else if (target._artifact && target._artifact !== user._main && user._main.kind === 'entity') {
       const last = path[path.length - 1];
       warning( 'ref-invalid-backlink', [ last.location, user ], { art: target, id: '$self' },
-               // eslint-disable-next-line max-len
+               // eslint-disable-next-line @stylistic/js/max-len
                'The target $(ART) of the association is not the current entity represented by $(ID)' );
     }
   }
@@ -1707,11 +1707,11 @@ function fns( model ) {
       std: 'Can follow association $(ART) only to its foreign key references, not to $(NAME)',
       keys: 'Can follow managed association $(ART) only to the keys of its target, not to $(NAME)',
       complete: 'The reference must cover a full foreign key reference of association $(ART)',
-      // eslint-disable-next-line max-len
+      // eslint-disable-next-line @stylistic/js/max-len
       'self-std': 'In column ref starting with $(ALIAS), we can follow association $(ART) only to its foreign key references, not to $(NAME)',
-      // eslint-disable-next-line max-len
+      // eslint-disable-next-line @stylistic/js/max-len
       'self-keys': 'In column ref starting with $(ALIAS), we can follow managed association $(ART) only to the keys of its target, not to $(NAME)',
-      // eslint-disable-next-line max-len
+      // eslint-disable-next-line @stylistic/js/max-len
       'self-complete': 'The column reference starting with $(ALIAS) must cover a full foreign key reference of association $(ART)',
     } );
     // TODO later: mention allowed ones