@sap/cds-compiler 6.9.3 → 7.0.1

package/lib/base/messages.js

@@ -100,7 +100,7 @@ function severityChangeMarker( msg, config ) {
         // Do not include testMode here, no marker for configurableFor: 'test'
         return '‹↓›';
     }
-    else if (centralMessages[msg.messageId]?.errorFor?.includes( 'v7' )) {
+    else if (centralMessages[msg.messageId]?.errorFor?.includes( 'v8' )) {
       return '‹↑›';
     }
   }
@@ -223,7 +223,6 @@ const severitySpecs = {
 // Message IDs raised for security-relevant annotate statements with non-existing targets.
 // Downgraded to warning when noErrorForUnknownAnnotateTarget option is set.
 const securityAnnotateTargetIds = new Set([
-  'ext-undefined-art-sec',
   'ext-undefined-def-sec',
   'ext-undefined-element-sec',
   'ext-undefined-action-sec',
@@ -262,7 +261,7 @@ function reclassifiedSeverity( msg, options, moduleName ) {
       if (errorFor.includes(moduleName))
         return 'Error';
 
-      if (errorFor.includes('v7') && isBetaEnabled(options, 'v7preview')) {
+      if (errorFor.includes('v8') && isBetaEnabled(options, 'v8preview')) {
         severity = 'Error';
         if (!isDowngradable(msg.messageId, moduleName, options))
           return severity;
@@ -833,7 +832,8 @@ const paramsTransform = {
   expecting: transformManyWith( tokenSymbol ),
   // msg: m => m,
   $reviewed: ignoreTextTransform,
-  version: quote.single, // TODO delete: just use for OData $(VERSION), with version: 2.0
+  compiler: quote.direct,       // TODO: if VERSION is w/o quotes, use VERSION
+  version: quote.single,        // TODO: use quote.direct
 };
 
 function asDelimitedId( id ) {
@@ -1461,6 +1461,7 @@ function shortArtName( art ) {
 }
 
 function artName( art, omit ) {
+  const orig = art;
   let suffix = 0;
   while (!art.name && art._outer && art.kind !== '$annotation') {
     ++suffix;
@@ -1500,7 +1501,9 @@ function artName( art, omit ) {
   if (art.kind === '$self')
     r.push( `alias:${ quoted( name.alias ) }` ); // should be late due to $self in anonymous aspect
 
-  if (suffix && art.targetAspect)
+  if (orig === art.$backlink)
+    r.push( 'backlink' );
+  else if (suffix && art.targetAspect)
     r.push( 'target' );
   else if (suffix)
     r.push( art.items?.items ? `items:${ suffix }` : 'items' );

package/lib/base/optionProcessor.js

@@ -53,7 +53,7 @@ optionProcessor
   .option('    --test-sort-csn')
   .option('    --doc-comment')
   .option('    --propagate-doc-comments')
-  .option('    --v7-key-propagation')
+  .option('    --v6-key-propagation')
   .option('    --add-texts-language-assoc')
   .option('    --localized-without-coalesce')
   .option('    --tenant-discriminator')
@@ -157,7 +157,7 @@ optionProcessor
                             option is implicitly enabled as well.
        --doc-comment        Preserve /** */ comments at annotation positions as doc property in CSN
        --propagate-doc-comments     Propagate doc comments ('--doc-comment')
-       --v7-key-propagation         Use simplified propagation of 'key' in query entities
+       --v6-key-propagation         Use compiler-v6 propagation rules for 'key'
        --add-texts-language-assoc   In generated texts entities, add association "language"
                                     to "sap.common.Languages" if it exists
        --localized-without-coalesce Omit coalesce in localized convenience views
@@ -169,7 +169,6 @@ optionProcessor
        --skip-name-check    Skip certain name checks, e.g. that there must be no '.' in element names.
 
   Commands
-    H, toHana [options] <files...>              (deprecated) Generate HANA CDS source files
     O, toOdata [options] <files...>             Generate ODATA metadata and annotations
     C, toCdl <files...>                         Generate CDS source files
     Q, toSql [options] <files...>               Generate SQL DDL statements
@@ -196,65 +195,6 @@ optionProcessor
     CDSC_TRACE_API          If set, additional API calling information is printed to stderr.
 `);
 
-// ----------- toHana -----------
-optionProcessor.command('H, toHana')
-  .option('-h, --help')
-  .option('-n, --sql-mapping <style>', { valid: [ 'plain', 'quoted', 'hdbcds' ], aliases: [ '--names' ] })
-  .option('    --render-virtual')
-  .option('    --joinfk')
-  .option('-u, --user <user>')
-  .option('-s, --src')
-  .option('-c, --csn')
-  .option('    --integrity-not-validated')
-  .option('    --integrity-not-enforced')
-  .option('    --assert-integrity <mode>', { valid: [ 'true', 'false', 'individual' ] })
-  .option('    --assert-integrity-type <type>', { valid: [ 'RT', 'DB' ], ignoreCase: true })
-  .option('    --pre2134ReferentialConstraintNames')
-  .option('    --disable-hana-comments')
-  .option('    --no-standard-database-functions')
-  .help(`
-  Usage: cdsc toHana [options] <files...>
-
-  ====================================================
-  DEPRECATED! Since v5, this backend is deprecated!
-  ====================================================
-
-  Generate HANA CDS source files, or CSN.
-
-  Options
-   -h, --help                 Show this help text
-   -n, --sql-mapping <style>  Naming style for generated entity and element names:
-                                plain  : (default) Produce HANA entity and element names in
-                                         uppercase and flattened with underscores. Do not generate
-                                         structured types.
-                                quoted : Produce HANA entity and element names in original case as
-                                         in CDL. Keep nested contexts (resulting in entity names
-                                         with dots), but flatten element names with underscores.
-                                         Generate structured types, too.
-                                hdbcds : Produce HANA entity end element names as HANA CDS would
-                                         generate them from the same CDS source (like "quoted", but
-                                         using element names with dots).
-       --render-virtual       Render virtual elements in views and draft tables
-       --joinfk               Create JOINs for foreign key accesses
-   -u, --user <user>          Value for the "$user" variable
-   -s, --src                  (default) Generate HANA CDS source files "<artifact>.hdbcds"
-   -c, --csn                  Generate "hana_csn.json" with HANA-preprocessed model
-   --integrity-not-enforced   If this option is supplied, referential constraints are NOT ENFORCED.
-   --integrity-not-validated  If this option is supplied, referential constraints are NOT VALIDATED.
-   --assert-integrity <mode>  Turn DB constraints on/off:
-                                true        : (default) Constraints will be generated for all associations if
-                                              the assert-integrity-type is set to DB
-                                false       : No constraints will be generated
-                                individual  : Constraints will be generated for selected associations
-   --assert-integrity-type <type>   Specifies how the referential integrity checks should be performed:
-                                           RT : (default) No database constraint for an association
-                                               if not explicitly demanded via annotation
-                                           DB : Create database constraints for associations
-   --pre2134ReferentialConstraintNames   Do not prefix the constraint identifier with "c__"
-   --disable-hana-comments    Disable rendering of doc comments as SAP HANA comments.
-   --no-standard-database-functions Disable rendering of standard database function mappings.
-`);
-
 optionProcessor.command('O, toOdata')
   .option('-h, --help')
   .option('-v, --odata-version <version>', { valid: [ 'v2', 'v4', 'v4x' ], aliases: [ '--version' ] })
@@ -276,7 +216,6 @@ optionProcessor.command('O, toOdata')
   .option('-f, --odata-format <format>', { valid: [ 'flat', 'structured' ] })
   .option('-n, --sql-mapping <style>', { valid: [ 'plain', 'quoted', 'hdbcds' ], aliases: [ '--names' ] })
   .option('-s, --service-names <list>')
-  .option('    --transitive-localized-views')
   .help(`
   Usage: cdsc toOdata [options] <files...>
 
@@ -317,8 +256,6 @@ optionProcessor.command('O, toOdata')
                                          source (like "quoted", but using element names with dots)
     -s, --service-names <list>    List of comma-separated service names to be rendered
                                   (default) empty, all services are rendered
-   --transitive-localized-views  If set, the backends will create localized convenience views for
-                             those views, that only have an association to a localized entity/view.
 `);
 
 optionProcessor.command('J, forJava')
@@ -369,7 +306,6 @@ optionProcessor.command('Q, toSql')
   .option('    --disable-hana-comments')
   .option('    --generated-by-comment')
   .option('    --better-sqlite-session-variables <bool>')
-  .option('    --transitive-localized-views')
   .option('    --no-boolean-equality')
   .option('    --with-hana-associations <bool>', { valid: [ 'true', 'false' ] })
   .option('    --no-standard-database-functions')
@@ -430,8 +366,6 @@ optionProcessor.command('Q, toSql')
                               active if sqlDialect is \`sqlite\`:
                                 true  : (default) Render better-sqlite session_context(…)
                                 false : Render session variables as string literals, used e.g. with sqlite3 driver
-   --transitive-localized-views  If set, the backends will create localized convenience views for
-                              those views, that only have an association to a localized entity/view.
    --with-hana-associations <bool>
                               Enable or disable rendering of "WITH ASSOCIATIONS" for sqlDialect 'hana'.
                                 true  : (default) Render "WITH ASSOCIATIONS"
@@ -515,7 +449,6 @@ optionProcessor.command('toCsn')
   .option('-f, --csn-flavor <flavor>', { valid: [ 'client', 'gensrc', 'universal' ], aliases: [ '--flavor' ] })
   .option('    --with-localized')
   .option('    --with-locations')
-  .option('    --transitive-localized-views')
   .help(`
   Usage: cdsc toCsn [options] <files...>
 
@@ -532,9 +465,6 @@ optionProcessor.command('toCsn')
                                 universal: in development (BETA)
        --with-locations   Add $location to CSN artifacts. In contrast to \`--enrich-csn\`,
                           $location is an object with 'file', 'line' and 'col' properties.
-       --transitive-localized-views If --with-locations and this option are set, the backends
-                          will create localized convenience views for those views,
-                          that only have an association to a localized entity/view.
 
   Internal options (for testing only, may be changed/removed at any time)
        --with-localized   Add localized convenience views to the CSN output.

package/lib/base/specialOptions.js

@@ -22,7 +22,7 @@ const availableBetaFlags = {
   tenantVariable: true,
   calcAssoc: true,
   temporalRawProjection: true,
-  v7preview: true,
+  v8preview: true,
   rewriteAnnotationExpressionsViaType: true,
   sqlServiceDummies: true,
   // disabled by --beta-mode
@@ -31,22 +31,26 @@ const availableBetaFlags = {
 
 // Used by isDeprecatedEnabled() to check if any flag ist set.
 const availableDeprecatedFlags = {
-  // the old ones starting with _, : false
-  noPersistenceJournalForGeneratedEntities: true, // since v6
-  downgradableErrors: true,
-  noCompositionIncludes: true, // since v6; was an option with inverted meaning in v5
+  // keep the following for a while:
+  downgradableErrors: true,     // generally
+  ignoreSpecifiedQueryElements: true, // used by stakeholder
+  // remove/hide in a next release:
+  _noPersistenceJournalForGeneratedEntities: true, // since v6
+  _noCompositionIncludes: true, // since v6; was an option with inverted meaning in v5
   noQuasiVirtualAssocs: true, // since v6
-  _includesNonShadowedFirst: true,
-  _eagerPersistenceForGeneratedEntities: true,
-  _noKeyPropagationWithExpansions: true,
-  ignoreSpecifiedQueryElements: true,
 };
 
-// Deprecated flags that were removed in newer version and are complained about.
+// Deprecated flags that were removed/hidden in newer version and are complained
+// about with 'api-invalid-deprecated'.  Keep all former availableDeprecatedFlags
+// for two majors after they have been hidden (prefix _) or removed.
 const oldDeprecatedFlags = {
-  includesNonShadowedFirst: true,
-  eagerPersistenceForGeneratedEntities: true,
-  noKeyPropagationWithExpansions: true,
+  // remove in v9:
+  noPersistenceJournalForGeneratedEntities: '7.0', // since v6
+  noCompositionIncludes: '7.0',                    // since v6
+  // remove in v8:
+  includesNonShadowedFirst: '6.0',             // since v4
+  noKeyPropagationWithExpansions: '6.0',       // since v4
+  eagerPersistenceForGeneratedEntities: '6.0', // since v3
 };
 
 /**
@@ -106,10 +110,9 @@ function checkRemovedDeprecatedFlags( { deprecated, messages }, { error } ) {
     return;
 
   Object.keys( deprecated ).forEach( ( key ) => {
-    if (deprecated[key] && oldDeprecatedFlags[key]) { // why testing the value of the option?
-      error( 'api-invalid-deprecated', null, { name: key },
-             'Deprecated flag $(NAME) has been removed in CDS compiler v6' );
-    }
+    const removed = oldDeprecatedFlags[key];
+    if (removed && deprecated[key] != null)
+      error( 'api-invalid-deprecated', null, { name: key, compiler: removed } );
   });
 }
 

package/lib/checks/defaultValues.js

@@ -24,49 +24,11 @@ function validateDefaultValues( member, memberName, prop, path ) {
       //       The message also needs to be improved.
       if (i > 1)
         // eslint-disable-next-line cds-compiler/message-no-quotes
-        this.error(null, path, {}, 'Illegal number of unary ‘+’/‘-’ operators');
+        this.error(null, path, {}, 'Illegal number of unary \'+\'/\'-\' operators');
     }
   }
 }
 
-/**
- * For HANA CDS specifically, reject any default parameter values, as these are not supported.
- *
- * @param {CSN.Element} member Member to validate
- * @param {string} memberName Name of the member
- * @param {string} prop Property being looped over
- * @param {CSN.Path} path Path to the member
- */
-function rejectParamDefaultsInHanaCds( member, memberName, prop, path ) {
-  if (member.default && prop === 'params' && this.options.transformation === 'hdbcds') {
-    this.error('def-unsupported-param', path, {},
-               'Parameter default values are not supported in SAP HANA CDS');
-  }
-}
-
-/**
- * For HANA CDS, we render a default for a mixin if the projected entity contains
- * a derived association with a default defined on it. This leads to a deployment error
- * and should be warned about.
- *
- * @param {CSN.Element} member Member to validate
- * @param {string} memberName Name of the member
- * @param {string} prop Property being looped over
- * @param {CSN.Path} path Path to the member
- */
-function warnAboutDefaultOnAssociationForHanaCds( member, memberName, prop, path ) {
-  const art = this.csn.definitions[path[1]];
-  if (this.options.transformation === 'hdbcds' && !art.query && !art.projection && member.target && member.default) {
-    const type = member._type?.type || member.type || 'cds.Association';
-    this.warning('type-invalid-default', path, { '#': type === 'cds.Association' ? 'std' : 'comp' }, {
-      std: 'Default on associations is not supported for HDBCDS',
-      comp: 'Default on compositions is not supported for HDBCDS',
-    });
-  }
-}
-
 module.exports = {
   validateDefaultValues,
-  rejectParamDefaultsInHanaCds,
-  warnAboutDefaultOnAssociationForHanaCds,
 };

package/lib/checks/hasPersistedElements.js

@@ -15,12 +15,28 @@ const { isPersistedOnDatabase } = require('../model/csnUtils.js');
  */
 function validateHasPersistedElements( artifact, artifactName, prop, path ) {
   if (artifact.kind === 'entity' && isPersistedOnDatabase(artifact)) {
+    if (artifact.query || artifact.projection)
+      return; // handled by validateQueryHasPersistedElements
     if (!artifact.elements || !hasRealElements(artifact.elements))
-      // TODO: Maybe check if there are only calc elements and adapt the message?
-      this.error('def-missing-element', path, { '#': ( artifact.query || artifact.projection ) ? 'view' : 'std' });
+      this.error('def-missing-element', path, { '#': 'std' });
   }
 }
 
+/**
+ * Ensure that queries (top-level and subqueries) have at least one non-virtual element.
+ *
+ * @param {CSN.Query} query Query to validate
+ * @param {CSN.Path} path Path to the query
+ */
+function validateQueryHasPersistedElements( query, path ) {
+  if (!query.SELECT || this.artifact.kind !== 'entity')
+    return;
+
+  const elements = query.SELECT.elements || this.artifact.elements;
+  if (!hasRealElements(elements))
+    this.error('def-missing-element', path, { '#': 'view' });
+}
+
 /**
  * Check if the provided elements contain elements that will be created on the database.
  * This includes virtual and calculated elements.
@@ -50,4 +66,4 @@ function hasRealElements( elements ) {
 }
 
 
-module.exports = validateHasPersistedElements;
+module.exports = { validateHasPersistedElements, validateQueryHasPersistedElements };

package/lib/checks/parameters.js

@@ -39,42 +39,8 @@ function checkForParams( parent, name, params, path ) {
   }
 }
 
-function checkAssocsWithParams( member, memberName, prop, path ) {
-  // Report an error on
-  // - view with parameters that has an element of type association/composition
-  // - association that points to entity with parameters
-  if (member.target && this.csnUtils.isAssocOrComposition(member)) {
-    if (this.artifact.params) {
-      // HANA does not allow 'WITH ASSOCIATIONS' on something with parameters:
-      // SAP DBTech JDBC: [7]: feature not supported: parameterized sql view cannot support association: line 1 col 1 (at pos 0)
-      this.message('def-unexpected-paramview-assoc', path, { '#': 'source' });
-    }
-    else if (this.artifact['@cds.persistence.udf'] || this.artifact['@cds.persistence.calcview']) {
-      // UDF/CVs w/o params don't support 'WITH ASSOCIATIONS'
-      const anno = this.artifact['@cds.persistence.udf'] ? '@cds.persistence.udf' : '@cds.persistence.calcview';
-      this.message('def-unexpected-calcview-assoc', path, { '#': 'source', anno });
-    }
-    if (this.csn.definitions[member.target].params) {
-      // HANA does not allow association targets with parameters or to UDFs/CVs w/o parameters:
-      // SAP DBTech JDBC: [7]: feature not supported: cannot support create association to a parameterized view
-      this.message('def-unexpected-paramview-assoc', path, { '#': 'target' });
-    }
-    else if (this.csn.definitions[member.target]['@cds.persistence.udf'] || this.csn.definitions[member.target]['@cds.persistence.calcview']) {
-      // HANA won't check the assoc target but when querying an association with target UDF, this is the error:
-      // SAP DBTech JDBC: [259]: invalid table name: target object SYSTEM.UDF does not exist: line 3 col 6 (at pos 43)
-      // CREATE TABLE F (id INTEGER NOT NULL);
-      // CREATE FUNCTION UDF RETURNS TABLE (ID INTEGER) LANGUAGE SQLSCRIPT SQL SECURITY DEFINER AS BEGIN RETURN SELECT ID FROM F; END;
-      // CREATE TABLE Y (  id INTEGER NOT NULL,  toUDF_id INTEGER) WITH ASSOCIATIONS (MANY TO ONE JOIN UDF AS toUDF ON (toUDF.id = toUDF_id));
-      // CREATE VIEW U AS SELECT  id, toUDF.a FROM Y;
-      const anno = this.csn.definitions[member.target]['@cds.persistence.udf'] ? '@cds.persistence.udf' : '@cds.persistence.calcview';
-      this.message('def-unexpected-calcview-assoc', path, { '#': 'target', anno });
-    }
-  }
-}
-
 module.exports = {
   csnValidator: {
     params: checkForParams,
   },
-  memberValidator: checkAssocsWithParams,
 };

package/lib/checks/selectItems.js

@@ -1,16 +1,12 @@
 'use strict';
 
-const { forEachGeneric, applyTransformationsOnNonDictionary } = require('../model/csnUtils');
+const { applyTransformationsOnNonDictionary } = require('../model/csnUtils');
 
 // Only to be used with validator.js - a correct this value needs to be provided!
 
 /**
  * Validate select items of a query. If a column reference starts with $self or
  * $projection, it must not contain association steps.
- * Furthermore, for to.hdbcds, window functions are not allowed.
- *
- * For to.hdbcds-hdbcds, structures and managed associations are not allowed
- * as they are not flattened - @see rejectManagedAssociationsAndStructuresForHdbcdsNames
  *
  * @param {CSN.Query} query query object
  * @todo Why do we care about this with $self?
@@ -55,39 +51,7 @@ function validateSelectItems( query ) {
     from: aTCB, // $self refs in from clause filters are not allowed
   };
 
-  if (this.options.transformation === 'hdbcds') {
-    transformers.xpr = (parent) => {
-      if (parent.func) {
-        this.error(null, parent.$path, {},
-                   'Window functions are not supported by SAP HANA CDS');
-      }
-    };
-  }
-
   applyTransformationsOnNonDictionary(query, 'SELECT', transformers );
-
-  // .call() with 'this' to ensure we have access to the options
-  rejectManagedAssociationsAndStructuresForHdbcdsNames.call(this, SELECT, SELECT.$path);
-}
-
-
-/**
- * For the to.hdbcds transformation with naming mode 'hdbcds', structures and managed associations are not flattened/resolved.
- * It is therefore not possible to publish such elements in a view.
- * This function iterates over all published elements of a query artifact and asserts that no such elements are published.
- *
- * @param {CSN.Artifact} queryArtifact the query artifact which should be checked
- * @param {CSN.Path} artifactPath the path to that artifact
- */
-function rejectManagedAssociationsAndStructuresForHdbcdsNames( queryArtifact, artifactPath ) {
-  if (this.options.transformation === 'hdbcds' && this.options.sqlMapping === 'hdbcds') {
-    forEachGeneric(queryArtifact, 'elements', (selectItem, elemName, prop, elementPath) => {
-      if (this.csnUtils.isManagedAssociation(selectItem))
-        this.error('query-unexpected-assoc-hdbcds', elementPath);
-      if (this.csnUtils.isStructured(selectItem))
-        this.error('query-unexpected-structure-hdbcds', elementPath);
-    }, artifactPath);
-  }
 }
 
-module.exports = { validateSelectItems, rejectManagedAssociationsAndStructuresForHdbcdsNames };
+module.exports = { validateSelectItems };

package/lib/checks/typeParameters.js

@@ -0,0 +1,162 @@
+'use strict';
+
+const { forEachMemberRecursively } = require('../model/csnUtils');
+
+// Only to be used with validator.js - a correct this value needs to be provided!
+
+/**
+ * @typedef {object} ValidatorThis
+ * @property {CSN.Model} csn
+ * @property {CSN.Options} options
+ * @property {CSN.Artifact} artifact
+ * @property {object} csnUtils
+ * @property {Function} error
+ */
+
+/**
+ * Check that required actual parameters on 'node.type' are set, that their values are in the correct range etc.
+ *
+ * @this {ValidatorThis}
+ * @param {CSN.Element} member the element to be checked
+ * @param {string} memberName the elements name
+ * @param {string} prop which kind of member are we looking at
+ * @param {CSN.Path} path the path to the member
+ */
+function checkTypeParameters( member, memberName, prop, path ) {
+  // Types don't manifest on the database, only elements of entities/views are of interest
+  if (this.artifact.kind !== 'entity')
+    return;
+  // These are SQL-specific checks; effective CSN is not a SQL output
+  if (this.options.transformation === 'effective')
+    return;
+  if (member.type && !member.virtual) {
+    _checkTypeParameters.call(this, member, path);
+    // For structured types referenced by name (e.g. `struct: T`), the member has no
+    // .elements at this point, so forEachMemberRecursively won't descend into T's elements.
+    // We need to look up the type definition and check its elements explicitly.
+    if (!member.elements && this.csnUtils.isStructured(member)) {
+      const typeDef = this.csn.definitions[member.type];
+      if (typeDef?.elements) {
+        forEachMemberRecursively(typeDef, (sub, subName, subProp, subPath) => {
+          if (sub.type && !sub.virtual)
+            _checkTypeParameters.call(this, sub, subPath);
+        }, path);
+      }
+    }
+  }
+}
+
+/**
+ * @this {ValidatorThis}
+ * @param {object} node
+ * @param {CSN.Path} path
+ */
+function _checkTypeParameters( node, path ) {
+  const typeInfo = this.csnUtils.getFinalTypeInfo(node.type);
+  const absolute = typeInfo?.type;
+  if (!absolute)
+    return;
+
+  // Effective parameter value: explicit on node, or inherited from type chain
+  const effectiveParam = paramName => node[paramName] ?? typeInfo[paramName];
+
+  switch (absolute) {
+    case 'cds.String':
+    case 'cds.Binary':
+    case 'cds.hana.VARCHAR': {
+      checkTypeParamValue.call(this, node, effectiveParam, absolute, 'length', { min: 1, max: 5000 }, path);
+      break;
+    }
+    case 'cds.Decimal': {
+      const precision = effectiveParam('precision');
+      const scale = effectiveParam('scale');
+      if (precision || scale) {
+        checkTypeParamValue.call(this, node, effectiveParam, absolute, 'precision', { max: 38 }, path);
+        checkTypeParamValue.call(this, node, effectiveParam, absolute, 'scale', { max: precision }, path);
+      }
+      break;
+    }
+
+    case 'cds.hana.BINARY':
+    case 'cds.hana.NCHAR':
+    case 'cds.hana.CHAR': {
+      checkTypeParamValue.call(this, node, effectiveParam, absolute, 'length', { min: 1, max: 2000 }, path);
+      break;
+    }
+    case 'cds.hana.ST_POINT':
+    case 'cds.hana.ST_GEOMETRY': {
+      checkTypeParamValue.call(this, node, effectiveParam, absolute, 'srid', { max: Number.MAX_SAFE_INTEGER }, path);
+      break;
+    }
+    case 'cds.Map': {
+      if (this.options.sqlDialect === 'plain')
+        this.error('ref-unsupported-type', path, { '#': 'dialect', type: absolute, value: 'plain' });
+      break;
+    }
+    case 'cds.Vector': {
+      if (this.options.sqlDialect === 'plain') {
+        this.error('ref-unsupported-type', path, {
+          '#': 'dialect',
+          type: absolute,
+          value: 'plain',
+        });
+      }
+      // Technical limitation of SQLite vector extension
+      else if (this.options.sqlDialect === 'sqlite' && effectiveParam('length') && effectiveParam('length') % 4 !== 0) {
+        this.error('ref-unexpected-args', path, {
+          '#': 'vector_length', elemref: path.at(-1),
+        });
+      }
+      break;
+    }
+    default:
+      break; // nothing to check for unknown types
+  }
+}
+
+/**
+ * Check that the value of the type property `paramName` (e.g. length, precision, scale ...)
+ * is in a given range.
+ *
+ * @this {ValidatorThis}
+ * @param {object} node
+ * @param {Function} effectiveParam
+ * @param {string} resolvedType
+ * @param {string} paramName
+ * @param {object} range
+ * @param {CSN.Path} path
+ * @returns {boolean}
+ */
+function checkTypeParamValue( node, effectiveParam, resolvedType, paramName, range = null, path = null ) {
+  const paramValue = effectiveParam(paramName);
+  if (paramValue == null)
+    return true;
+  if (range) {
+    if (isMaxParameterLengthRestricted.call(this, resolvedType) && range.max && paramValue > range.max) {
+      this.error('type-unexpected-argument', path, {
+        '#': 'max', prop: paramName, type: resolvedType, number: range.max, $reviewed: false,
+      });
+      return false;
+    }
+    if (range.min && paramValue < range.min) {
+      this.error('type-unexpected-argument', path, {
+        '#': 'min', prop: paramName, type: resolvedType, number: range.min, $reviewed: false,
+      });
+      return false;
+    }
+  }
+  return true;
+}
+
+/**
+ * Check if the maximum length of the value of the given type is restricted.
+ *
+ * @this {ValidatorThis}
+ * @param {string} type
+ * @returns {boolean}
+ */
+function isMaxParameterLengthRestricted( type ) {
+  return !(this.options.toSql && type === 'cds.String' && (this.options.sqlDialect === 'sqlite' || this.options.sqlDialect === 'plain'));
+}
+
+module.exports = checkTypeParameters;

package/lib/checks/validator.js

@@ -9,17 +9,17 @@ const enrichCsn = require('./enricher');
 
 // forRelationalDB
 const { validateSelectItems } = require('./selectItems');
-const { rejectParamDefaultsInHanaCds, warnAboutDefaultOnAssociationForHanaCds } = require('./defaultValues');
+const { validateDefaultValues } = require('./defaultValues');
 const validateCdsPersistenceAnnotation = require('./cdsPersistence');
 const navigationIntoMany = require('./manyNavigations');
 const expandToMany = require('./manyExpand');
 const checkUsedTypesForAnonymousAspectComposition = require('./managedInType');
-const validateHasPersistedElements = require('./hasPersistedElements');
+const { validateHasPersistedElements, validateQueryHasPersistedElements } = require('./hasPersistedElements');
 const checkForHanaTypes = require('./checkForTypes');
 const { checkAnnotationExpression } = require('./structuredAnnoExpressions');
 const checkForParams = require('./parameters');
+const checkTypeParameters = require('./typeParameters');
 // forOdata
-const { validateDefaultValues } = require('./defaultValues');
 const { checkActionOrFunction } = require('./actionsFunctions');
 const {
   checkCoreMediaTypeAllowance, checkAnalytics,
@@ -57,18 +57,16 @@ const { timetrace } = require('../utils/timetrace');
 
 const forRelationalDBMemberValidators
   = [
-  // For HANA CDS specifically, reject any default parameter values, as these are not supported.
-    rejectParamDefaultsInHanaCds,
     checkTypeIsScalar,
     checkDecimalScale,
     checkExplicitlyNullableKeys,
     managedWithoutKeys,
-    warnAboutDefaultOnAssociationForHanaCds,
     // sql.prepend/append
     checkSqlAnnotationOnElement,
     // no temporal annotations on calc elements
     rejectAnnotationsOnCalcElement,
     checkElementTypeDefinitionHasType,
+    checkTypeParameters,
   ];
 
 const forRelationalDBArtifactValidators = [
@@ -100,6 +98,7 @@ const forRelationalDBQueryValidators = [
   // TODO reason why this is forRelationalDB exclusive
   validateSelectItems,
   checkQueryForNoDBArtifacts,
+  validateQueryHasPersistedElements,
 ];
 
 const forOdataMemberValidators
@@ -214,8 +213,6 @@ function getDBCsnValidators( options ) {
  */
 function forRelationalDB( csn, that ) {
   const memberValidators = [ ...forRelationalDBMemberValidators, ...commonMemberValidators ];
-  if (that.options.transformation === 'hdbcds')
-    memberValidators.push(checkForParams.memberValidator);
   // skip artifacts / elements which are not persisted on the database from being validated
   const iterateOptions = {
     skipArtifact: artifact => artifact.abstract ||