feat: mark constraint lists as experimental

Safe-DS · Nov 10, 2023 · 81fb48d · 81fb48d
1 parent dc14223
commit 81fb48d
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 1 deletion.
diff --git a/packages/safe-ds-lang/src/language/validation/experimentalLanguageFeatures.ts b/packages/safe-ds-lang/src/language/validation/experimentalLanguageFeatures.ts
@@ -2,6 +2,7 @@ import {
     isSdsIndexedAccess,
     isSdsMap,
     isSdsUnionType,
+    SdsConstraintList,
     SdsIndexedAccess,
     SdsLiteralType,
     SdsMap,
@@ -11,6 +12,14 @@ import { hasContainerOfType, ValidationAcceptor } from 'langium';
 
 export const CODE_EXPERIMENTAL_LANGUAGE_FEATURE = 'experimental/language-feature';
 
+export const constraintListsShouldBeUsedWithCaution = (node: SdsConstraintList, accept: ValidationAcceptor): void => {
+    accept('warning', 'Constraint lists & constraints are experimental and may change without prior notice.', {
+        node,
+        keyword: 'where',
+        code: CODE_EXPERIMENTAL_LANGUAGE_FEATURE,
+    });
+};
+
 export const indexedAccessesShouldBeUsedWithCaution = (node: SdsIndexedAccess, accept: ValidationAcceptor): void => {
     if (hasContainerOfType(node.$container, isSdsIndexedAccess)) {
         return;

diff --git a/packages/safe-ds-lang/src/language/validation/safe-ds-validator.ts b/packages/safe-ds-lang/src/language/validation/safe-ds-validator.ts
@@ -27,6 +27,7 @@ import {
 import { singleUseAnnotationsMustNotBeRepeated } from './builtins/repeatable.js';
 import { annotationCallMustHaveCorrectTarget, targetShouldNotHaveDuplicateEntries } from './builtins/target.js';
 import {
+    constraintListsShouldBeUsedWithCaution,
     indexedAccessesShouldBeUsedWithCaution,
     literalTypesShouldBeUsedWithCaution,
     mapsShouldBeUsedWithCaution,
@@ -221,7 +222,7 @@ export const registerValidationChecks = function (services: SafeDsServices) {
             classMustNotInheritItself(services),
         ],
         SdsClassBody: [classBodyShouldNotBeEmpty],
-        SdsConstraintList: [constraintListShouldNotBeEmpty],
+        SdsConstraintList: [constraintListsShouldBeUsedWithCaution, constraintListShouldNotBeEmpty],
         SdsDeclaration: [
             nameMustNotStartWithCodegenPrefix,
             nameShouldHaveCorrectCasing,

diff --git a/...ng/tests/resources/validation/experimental language feature/constraint lists/main.sdstest b/...ng/tests/resources/validation/experimental language feature/constraint lists/main.sdstest
@@ -0,0 +1,4 @@
+package tests.validation.experimentalLanguageFeature.constraintLists
+
+// $TEST$ warning "Constraint lists & constraints are experimental and may change without prior notice."
+fun myFunction() »where« {}