Skip to content

Commit

Permalink
style: fix linter errors
Browse files Browse the repository at this point in the history
  • Loading branch information
lars-reimann committed Oct 10, 2023
1 parent 91a593f commit 9ad7029
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 17 deletions.
12 changes: 3 additions & 9 deletions src/language/builtins/safe-ds-annotations.ts
Original file line number Diff line number Diff line change
@@ -1,14 +1,8 @@
import {
isSdsAnnotation,
SdsAnnotatedObject,
SdsAnnotation,
SdsAnnotationCall,
SdsParameter,
} from '../generated/ast.js';
import { isSdsAnnotation, SdsAnnotatedObject, SdsAnnotation, SdsParameter } from '../generated/ast.js';
import { annotationCallsOrEmpty } from '../helpers/nodeProperties.js';
import { SafeDsModuleMembers } from './safe-ds-module-members.js';
import { resourceNameToUri } from '../../helpers/resources.js';
import {URI} from "langium";
import { URI } from 'langium';

const CORE_ANNOTATIONS_URI = resourceNameToUri('builtins/safeds/lang/coreAnnotations.sdsstub');

Expand All @@ -34,7 +28,7 @@ export class SafeDsAnnotations extends SafeDsModuleMembers<SdsAnnotation> {
}

private get Expert(): SdsAnnotation | undefined {
return this.getAnnotation(CORE_ANNOTATIONS_URI,'Expert');
return this.getAnnotation(CORE_ANNOTATIONS_URI, 'Expert');
}

private hasAnnotationCallOf(node: SdsAnnotatedObject | undefined, expected: SdsAnnotation | undefined): boolean {
Expand Down
Original file line number Diff line number Diff line change
@@ -1,20 +1,13 @@
import { SafeDsServices } from '../../../safe-ds-module.js';
import {
isSdsCallable,
isSdsCallableType,
isSdsLambda,
SdsCallableType,
SdsLambda,
SdsParameter,
SdsResult,
} from '../../../generated/ast.js';
import { getContainerOfType, ValidationAcceptor } from 'langium';
import {
annotationCallsOrEmpty,
isRequiredParameter,
parametersOrEmpty,
resultsOrEmpty,
} from '../../../helpers/nodeProperties.js';
import { annotationCallsOrEmpty, parametersOrEmpty, resultsOrEmpty } from '../../../helpers/nodeProperties.js';

export const CODE_ANNOTATION_CALL_TARGET_PARAMETER = 'annotation-call/target-parameter';
export const CODE_ANNOTATION_CALL_TARGET_RESULT = 'annotation-call/target-result';
Expand Down

0 comments on commit 9ad7029

Please sign in to comment.