test: ignore some branches that cannot be reached for coverage

Safe-DS · Sep 21, 2023 · 7550d12 · 7550d12
1 parent ce59c33
commit 7550d12
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/src/language/formatting/safe-ds-formatter.ts b/src/language/formatting/safe-ds-formatter.ts
@@ -885,6 +885,7 @@ export class SafeDsFormatter extends AbstractFormatter {
         } else if (ast.isSdsUnionType(node)) {
             return typeArgumentsOrEmpty(node.typeArgumentList).length > 0;
         } else {
+            /* c8 ignore next 2 */
             return false;
         }
     }

diff --git a/src/language/validation/names.ts b/src/language/validation/names.ts
@@ -92,6 +92,7 @@ export const nameShouldHaveCorrectCasing = (node: SdsDeclaration, accept: Valida
         case 'SdsTypeParameter':
             return nameShouldBeUpperCamelCase(node, 'type parameters', accept);
     }
+    /* c8 ignore next */
 };
 
 const nameShouldBeLowerCamelCase = (node: SdsDeclaration, nodeName: string, accept: ValidationAcceptor): void => {
@@ -258,6 +259,7 @@ const namesMustBeUnique = (
     for (const node of nodes) {
         const name = node.name;
         if (!name) {
+            /* c8 ignore next 2 */
             continue;
         }