@sap/cds-compiler 4.1.2 → 4.2.2

package/lib/compiler/classes.js

@@ -24,8 +24,8 @@ class XsnSource {
   location;
   usings = [];
   dependencies = [];
-  artifacts = Object.create(null);
-  vocabularies = Object.create(null);
+  artifacts = Object.create( null );
+  vocabularies = Object.create( null );
   extensions = [];
 }
 

package/lib/compiler/cycle-detector.js

@@ -30,15 +30,15 @@ function detectCycles( definitions, reportCycle, cbScc ) {
 
   for (const name in definitions) {
     const a = definitions[name];
-    if (Array.isArray(a))
+    if (Array.isArray( a ))
       a.forEach( strongConnectRec );
     else
       strongConnectRec( a );
   }
   // now the cleanup
-  let nodes = Object.getOwnPropertyNames(definitions).map( n => definitions[n] );
+  let nodes = Object.getOwnPropertyNames( definitions ).map( n => definitions[n] );
   while (nodes.length) {        // still nodes to cleaned
-    nodes = cleanup(nodes);
+    nodes = cleanup( nodes );
   }
   return;
 
@@ -46,7 +46,7 @@ function detectCycles( definitions, reportCycle, cbScc ) {
     if (a._scc)                 // already processed
       return;
     while (a)
-      a = strongConnect(a);
+      a = strongConnect( a );
   }
 
   // Try to build a SCC starting from the node `v`.
@@ -60,7 +60,7 @@ function detectCycles( definitions, reportCycle, cbScc ) {
         onStack: true,
         depIndex: 0,
       } );
-      stack.push(v);
+      stack.push( v );
       // console.log('PUSH: ', v.kind,v.name)
     }
     if (!v._deps)               // builtins, otherwise forgotten (TODO: assert in --test-mode)
@@ -127,7 +127,7 @@ function detectCycles( definitions, reportCycle, cbScc ) {
         delete v._sccCaller;
         for (const w of v._deps) {
           if (w.art._scc)
-            todos.push(w.art);
+            todos.push( w.art );
         }
       }
     }

package/lib/compiler/define.js

@@ -141,8 +141,8 @@ const {
 const { compareLayer } = require('./moduleLayers');
 const { initBuiltins, isInReservedNamespace } = require('./builtins');
 
-const $location = Symbol.for('cds.$location');
-const $inferred = Symbol.for('cds.$inferred');
+const $location = Symbol.for( 'cds.$location' );
+const $inferred = Symbol.for( 'cds.$inferred' );
 
 /**
  * Export function of this file.  Transform argument `sources` = dictionary of
@@ -194,11 +194,11 @@ function define( model ) {
                  beta: 'With option $(PROP), beta features and many other newer features are disabled',
                } );
     }
-    model.definitions = Object.create(null);
+    model.definitions = Object.create( null );
     setLink( model, '_entities', [] ); // for entities with includes
     model.$entity = 0;
-    model.$compositionTargets = Object.create(null);
-    model.$collectedExtensions = Object.create(null);
+    model.$compositionTargets = Object.create( null );
+    model.$collectedExtensions = Object.create( null );
 
     initBuiltins( model );
     const sourceNames = shuffleArray( Object.keys( model.sources ) );
@@ -228,7 +228,7 @@ function define( model ) {
 
     let namespace = src.namespace && src.namespace.path;
     let prefix = namespace ? `${ pathName( namespace ) }.` : '';
-    if (isInReservedNamespace(prefix)) {
+    if (isInReservedNamespace( prefix )) {
       error( 'reserved-namespace-cds', [ src.namespace.location, src.namespace ], { name: 'cds' },
              'The namespace $(NAME) is reserved for CDS builtins' );
       namespace = null;
@@ -241,7 +241,7 @@ function define( model ) {
         addPathPrefixes( src.artifacts, prefix ); // before addUsing
       }
       else if (src.usings || src.namespace) {
-        src.artifacts = Object.create(null);
+        src.artifacts = Object.create( null );
       }
       if (src.usings)
         shuffleArray( src.usings ).forEach( u => addUsing( u, src ) );
@@ -254,11 +254,11 @@ function define( model ) {
     }
     else if (src.definitions) {      // CSN input
       prefix = '';
-      dictForEach( shuffleDict( src.definitions ), def => addDefinition( def, src, prefix ));
+      dictForEach( shuffleDict( src.definitions ), def => addDefinition( def, src, prefix ) );
     }
     if (src.vocabularies) {
       if (!model.vocabularies)
-        model.vocabularies = Object.create(null);
+        model.vocabularies = Object.create( null );
       dictForEach( shuffleDict( src.vocabularies ), v => addVocabulary( v, src, prefix ) );
     }
     if (src.extensions) {       // requires using to be known!
@@ -269,11 +269,11 @@ function define( model ) {
   function addDefinition( art, block, prefix ) {
     if (!art.name.absolute) {
       // TODO: art.name.absolute = art.name.id || …
-      art.name.absolute = (!art.name.path) ? art.name.id : prefix + pathName(art.name.path);
+      art.name.absolute = (!art.name.path) ? art.name.id : prefix + pathName( art.name.path );
     }
     const { absolute } = art.name;
     // TODO: check reserved, see checkName()/checkLocalizedObjects() of checks.js
-    if (absolute === 'cds' || isInReservedNamespace(absolute)) {
+    if (absolute === 'cds' || isInReservedNamespace( absolute )) {
       error( 'reserved-namespace-cds', [ art.name.location, art ], { name: 'cds' },
              'The namespace $(NAME) is reserved for CDS builtins' );
       const builtin = model.definitions[absolute];
@@ -298,7 +298,7 @@ function define( model ) {
   function addPathPrefixes( artifacts, prefix ) {
     for (const name in artifacts) {
       const d = artifacts[name];
-      const a = Array.isArray(d) ? d[0] : d;
+      const a = Array.isArray( d ) ? d[0] : d;
       if (!a.name.absolute)
         a.name.absolute = prefix + name;
       const index = name.indexOf( '.' );
@@ -363,7 +363,7 @@ function define( model ) {
     // create using for own namespace:
     const last = path[path.length - 1];
     const { id } = last;
-    if (src.artifacts[id] || last.id.includes('.'))
+    if (src.artifacts[id] || last.id.includes( '.' ))
       // not used as we have a definition/using with that name, or dotted last path id
       return;
     src.artifacts[id] = {
@@ -451,7 +451,9 @@ function define( model ) {
     const { name } = vocab;
     if (!name.absolute) {
       // TODO: art.name.absolute = vocab.name.id || …
-      vocab.name.absolute = (!vocab.name.path) ? vocab.name.id : prefix + pathName(vocab.name.path);
+      vocab.name.absolute = (!vocab.name.path)
+        ? vocab.name.id
+        : prefix + pathName( vocab.name.path );
     }
     dictAdd( model.vocabularies, name.absolute, vocab );
   }
@@ -461,8 +463,8 @@ function define( model ) {
    */
   function addI18nBlocks() {
     // TODO: the sequence should be in sync with extend / annotate / future $sources
-    const sortedSources = Object.keys(model.sources)
-      .filter(name => !!model.sources[name].i18n)
+    const sortedSources = Object.keys( model.sources )
+      .filter( name => !!model.sources[name].i18n )
       .sort( (a, b) => compareLayer( model.sources[a], model.sources[b] ) );
 
     if (sortedSources.length === 0)
@@ -557,7 +559,7 @@ function define( model ) {
       return;
     for (const name in src.artifacts) {
       const entry = src.artifacts[name];
-      if (!Array.isArray(entry)) // no local name duplicate
+      if (!Array.isArray( entry )) // no local name duplicate
         continue;
       for (const decl of entry) {
         if (!decl.$duplicates) { // do not have two duplicate messages
@@ -603,7 +605,7 @@ function define( model ) {
   function initArtifactParentLink( art, definitions ) {
     setLink( art, '_parent', null );
     const { absolute } = art.name;
-    const dot = absolute.lastIndexOf('.');
+    const dot = absolute.lastIndexOf( '.' );
     if (dot < 0)
       return;
     art.name.id = absolute.substring( dot + 1 ); // XSN TODO: remove name.id for artifacts
@@ -617,7 +619,7 @@ function define( model ) {
     }
     setLink( art, '_parent', parent );
     if (!parent._subArtifacts)
-      setLink( parent, '_subArtifacts', Object.create(null) );
+      setLink( parent, '_subArtifacts', Object.create( null ) );
     if (art.$duplicates !== true) // no redef or "first def"
       parent._subArtifacts[absolute.substring( dot + 1 )] = art; // not dictAdd()
   }
@@ -638,7 +640,7 @@ function define( model ) {
     setLink( self, '_parent', art );
     setLink( self, '_main', art ); // used on main artifact
     setLink( self, '_origin', art );
-    art.$tableAliases = Object.create(null);
+    art.$tableAliases = Object.create( null );
     art.$tableAliases[selfname] = self;
   }
 
@@ -702,13 +704,17 @@ function define( model ) {
       for (const q of query.args.slice(1))
         initQueryExpression( q, art );
       setLink( query, '_leadingQuery', leading );
-      if (leading && query.orderBy) {
-        if (leading.$orderBy)
+      if (leading) {
+        if (query.orderBy) {
+          leading.$orderBy ??= [ ];
           leading.$orderBy.push( ...query.orderBy );
-        else
-          leading.$orderBy = [ ...query.orderBy ];
+        }
+        if (query.limit) {
+          leading.$limit ??= [ ];
+          leading.$limit.push( query.limit );
+        }
       }
-      // ORDER BY to be evaluated in leading query (LIMIT is literal)
+      // ORDER BY and LIMIT to be evaluated in leading query
     }
     else { // with parse error (`select from <EOF>`, `select from E { *, ( select }`)
       return undefined;
@@ -718,7 +724,7 @@ function define( model ) {
     function initQuery() {
       const main = art._main || art;
       setLink( query, '_$next',
-               (art.kind === '$tableAlias' ? art._parent._$next : art) );
+               (art.kind === '$tableAlias' ? art._parent._$next : art ) );
       setLink( query, '_block', art._block );
       query.kind = 'select';
       query.name = { location: query.location };
@@ -742,7 +748,7 @@ function define( model ) {
         return;
       if (!table.name) {
         const last = table.path[table.path.length - 1];
-        const dot = last?.id?.lastIndexOf('.');
+        const dot = last?.id?.lastIndexOf( '.' );
         const id = (dot >= 0) ? last.id.substring( dot + 1 ) : last.id || '';
         // TODO: if we have too much time, we can calculate the real location with '.'
         table.name = { $inferred: 'as', id, location: last.location };
@@ -795,6 +801,7 @@ function define( model ) {
         // (internal) query, should only be relevant for --raw-output, not for
         // user messages or references - TODO: correct if join on left?
         table.name.param = aliases[1] || aliases[0] || '<unknown>';
+        setLink( table, '_user', query ); // TODO: do not set kind/name
         setLink( table, '_$next', query._$next );
         // TODO: probably set this to query if we switch to name restriction in JOIN
       }
@@ -809,7 +816,7 @@ function define( model ) {
         if (tableAlias.$inferred === '$internal') {
           const semanticLoc = tableAlias.query?.name ? tableAlias.query : tableAlias;
           error( 'name-missing-alias', [ tableAlias.location, semanticLoc ],
-                 { '#': 'duplicate', code: 'as ‹alias›' });
+                 { '#': 'duplicate', code: 'as ‹alias›' } );
         }
         else {
           error( 'duplicate-definition', [ loc, table ], { name, '#': 'alias' } );
@@ -845,7 +852,7 @@ function define( model ) {
 
   function initExprForQuery( expr, query ) {
     // TODO: use traverseExpr()
-    if (Array.isArray(expr)) { // TODO: old-style $parens ?
+    if (Array.isArray( expr )) { // TODO: old-style $parens ?
       expr.forEach( e => initExprForQuery( e, query ) );
     }
     else if (!expr) {
@@ -855,13 +862,13 @@ function define( model ) {
       initQueryExpression( expr.query, query );
     }
     else if (expr.args) {
-      const args = Array.isArray(expr.args) ? expr.args : Object.values( expr.args );
+      const args = Array.isArray( expr.args ) ? expr.args : Object.values( expr.args );
       args.forEach( e => initExprForQuery( e, query ) );
     }
     else if (expr.path && expr.$expected === 'exists') {
       // TODO: does really the parser has to set $expected?
       expr.$expected = 'approved-exists';
-      approveExistsInChildren(expr);
+      approveExistsInChildren( expr );
     }
   }
 
@@ -938,7 +945,7 @@ function define( model ) {
           }
           // col.$annotations no available for CSN input, have to search.
           // Warning about first annotation should be enough to avoid spam.
-          const firstAnno = Object.keys(col).find(key => key.startsWith('@'));
+          const firstAnno = Object.keys( col ).find( key => key.startsWith( '@' ) );
           if (firstAnno) {
             warning( 'syntax-ignoring-anno', [ col[firstAnno].name.location, col ],
                      { code: '.{ ‹inline› }' } );
@@ -956,7 +963,7 @@ function define( model ) {
       // TODO: use `parent` for semantic location, use `-excluding`
       warning( 'query-ignoring-exclude', [ parent.excludingDict[$location], user ],
                { prop: '*' },
-               'Excluding elements without wildcard $(PROP) has no effect');
+               'Excluding elements without wildcard $(PROP) has no effect' );
     }
   }
 
@@ -983,11 +990,11 @@ function define( model ) {
       exprOrPathElement.$expected = 'approved-exists';
     // Drill down
     if (exprOrPathElement.args)
-      exprOrPathElement.args.forEach(elem => approveExistsInChildren(elem));
+      exprOrPathElement.args.forEach( elem => approveExistsInChildren( elem ) );
     else if (exprOrPathElement.where && exprOrPathElement.where.args)
-      exprOrPathElement.where.args.forEach(elem => approveExistsInChildren(elem));
+      exprOrPathElement.where.args.forEach( elem => approveExistsInChildren( elem ) );
     else if (exprOrPathElement.path)
-      exprOrPathElement.path.forEach(elem => approveExistsInChildren(elem));
+      exprOrPathElement.path.forEach( elem => approveExistsInChildren( elem ) );
   }
   // TODO: we might issue 'expr-unexpected-exists' and 'expr-no-subquery' already in
   // define.js (using a to-be-written expression traversal function in utils.js)
@@ -1219,18 +1226,25 @@ function define( model ) {
     // - artifacts (CDL-only anyway) only inside [extend] context|service
     if (!dict)
       return false;
-    const names = Object.keys( dict );
-    if (!names.length) // TODO: re-check - really allow empty dict if no other?
-      return false;
     const feature = kindProperties[parent.kind][prop];
     if (feature &&
         (feature === true || construct.kind !== 'extend' || feature( prop, parent )))
       return true;
     const location = dict[$location];
+
+    // TODO: a bit inconsistent = not a simple switch on `prop`…
     if (prop === 'actions') {
-      error( 'def-unexpected-actions', [ location, construct ], {},
-             'Actions and functions only exist top-level and for entities' );
+      if (Object.keys( dict ).length) {
+        error( 'def-unexpected-actions', [ location, construct ], {}, // TODO: ext-
+               'Actions and functions only exist top-level and for entities' ); // or aspects
+      }
+      else {
+        warning( 'ext-ignoring-actions', [ location, construct ], {},
+                 'Actions and functions only exist top-level and for entities' );
+        return false;
+      }
     }
+    //
     else if (parent.kind === 'action' || parent.kind === 'function') {
       error( 'ext-unexpected-action', [ construct.location, construct ], { '#': parent.kind }, {
         std: 'Actions and functions can\'t be extended, only annotated',
@@ -1252,10 +1266,15 @@ function define( model ) {
       }
     }
     else if (feature) {         // allowed in principle, but not with extend
-      if (parent.$inferred === 'include') { // special case for better error message
+      if (!Object.keys( dict ).length) {
+        warning( 'ext-ignoring-elements', [ location, construct ], {},
+                 'Only structures with directly specified elements can be extended by elements' );
+        return false;
+      }
+      else if (parent.$inferred === 'include') { // special case for better error message
         const variant = (construct.enum || construct.elements) ? 'elements' : 'std';
         error( 'ref-expected-direct-structure', [ location, construct ],
-               { '#': variant, art: parent });
+               { '#': variant, art: parent } );
       }
       else {
         error( 'extend-type', [ location, construct ], {},
@@ -1276,8 +1295,10 @@ function define( model ) {
     return construct === parent;
   }
 
-  // Return whether the `target` is actually a `targetAspect`
-  // TODO: really do that here and not in kick-start.js?
+  /**
+   * Return whether the `target` is actually a `targetAspect`
+   * TODO: really do that here and not in kick-start.js?
+   */
   function targetIsTargetAspect( elem ) {
     const { target } = elem;
     if (target.elements) {