@@ -89,11 +89,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
8989 }
9090
9191 @OptIn(ExperimentalContracts ::class )
92- override fun check (
93- declaration : FirFile ,
94- context : CheckerContext ,
95- reporter : DiagnosticReporter
96- ) {
92+ context(context: CheckerContext , reporter: DiagnosticReporter )
93+ override fun check (declaration : FirFile ) {
9794 val ktFile = declaration.sourceFile ? : return
9895 val lineMap = LineMap (declaration)
9996 val visitor = SemanticdbVisitor (sourceroot, ktFile, lineMap, globals)
@@ -103,11 +100,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
103100
104101 class SemanticImportsChecker : FirFileChecker (MppCheckerKind .Common ) {
105102 @OptIn(ExperimentalContracts ::class )
106- override fun check (
107- declaration : FirFile ,
108- context : CheckerContext ,
109- reporter : DiagnosticReporter
110- ) {
103+ context(context: CheckerContext , reporter: DiagnosticReporter )
104+ override fun check (declaration : FirFile ) {
111105 val ktFile = declaration.sourceFile ? : return
112106 val visitor = visitors[ktFile]
113107
@@ -181,11 +175,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
181175
182176 private class SemanticClassLikeChecker : FirClassLikeChecker (MppCheckerKind .Common ) {
183177 @OptIn(ExperimentalContracts ::class )
184- override fun check (
185- declaration : FirClassLikeDeclaration ,
186- context : CheckerContext ,
187- reporter : DiagnosticReporter
188- ) {
178+ context(context: CheckerContext , reporter: DiagnosticReporter )
179+ override fun check (declaration : FirClassLikeDeclaration ) {
189180 val source = declaration.source ? : return
190181 val ktFile = context.containingFile?.sourceFile ? : return
191182 val visitor = visitors[ktFile]
@@ -213,11 +204,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
213204
214205 private class SemanticConstructorChecker : FirConstructorChecker (MppCheckerKind .Common ) {
215206 @OptIn(ExperimentalContracts ::class )
216- override fun check (
217- declaration : FirConstructor ,
218- context : CheckerContext ,
219- reporter : DiagnosticReporter
220- ) {
207+ context(context: CheckerContext , reporter: DiagnosticReporter )
208+ override fun check (declaration : FirConstructor ) {
221209 val source = declaration.source ? : return
222210 val ktFile = context.containingFile?.sourceFile ? : return
223211 val visitor = visitors[ktFile]
@@ -251,11 +239,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
251239
252240 private class SemanticSimpleFunctionChecker : FirSimpleFunctionChecker (MppCheckerKind .Common ) {
253241 @OptIn(ExperimentalContracts ::class )
254- override fun check (
255- declaration : FirSimpleFunction ,
256- context : CheckerContext ,
257- reporter : DiagnosticReporter
258- ) {
242+ context(context: CheckerContext , reporter: DiagnosticReporter )
243+ override fun check (declaration : FirSimpleFunction ) {
259244 val source = declaration.source ? : return
260245 val ktFile = context.containingFile?.sourceFile ? : return
261246 val visitor = visitors[ktFile]
@@ -272,11 +257,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
272257 private class SemanticAnonymousFunctionChecker :
273258 FirAnonymousFunctionChecker (MppCheckerKind .Common ) {
274259 @OptIn(ExperimentalContracts ::class )
275- override fun check (
276- declaration : FirAnonymousFunction ,
277- context : CheckerContext ,
278- reporter : DiagnosticReporter
279- ) {
260+ context(context: CheckerContext , reporter: DiagnosticReporter )
261+ override fun check (declaration : FirAnonymousFunction ) {
280262 val source = declaration.source ? : return
281263 val ktFile = context.containingFile?.sourceFile ? : return
282264 val visitor = visitors[ktFile]
@@ -286,11 +268,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
286268
287269 private class SemanticPropertyChecker : FirPropertyChecker (MppCheckerKind .Common ) {
288270 @OptIn(ExperimentalContracts ::class )
289- override fun check (
290- declaration : FirProperty ,
291- context : CheckerContext ,
292- reporter : DiagnosticReporter
293- ) {
271+ context(context: CheckerContext , reporter: DiagnosticReporter )
272+ override fun check (declaration : FirProperty ) {
294273 val source = declaration.source ? : return
295274 val ktFile = context.containingFile?.sourceFile ? : return
296275 val visitor = visitors[ktFile]
@@ -306,11 +285,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
306285
307286 private class SemanticValueParameterChecker : FirValueParameterChecker (MppCheckerKind .Common ) {
308287 @OptIn(ExperimentalContracts ::class )
309- override fun check (
310- declaration : FirValueParameter ,
311- context : CheckerContext ,
312- reporter : DiagnosticReporter
313- ) {
288+ context(context: CheckerContext , reporter: DiagnosticReporter )
289+ override fun check (declaration : FirValueParameter ) {
314290 val source = declaration.source ? : return
315291 val ktFile = context.containingFile?.sourceFile ? : return
316292 val visitor = visitors[ktFile]
@@ -326,11 +302,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
326302
327303 private class SemanticTypeParameterChecker : FirTypeParameterChecker (MppCheckerKind .Common ) {
328304 @OptIn(ExperimentalContracts ::class )
329- override fun check (
330- declaration : FirTypeParameter ,
331- context : CheckerContext ,
332- reporter : DiagnosticReporter
333- ) {
305+ context(context: CheckerContext , reporter: DiagnosticReporter )
306+ override fun check (declaration : FirTypeParameter ) {
334307 val source = declaration.source ? : return
335308 val ktFile = context.containingFile?.sourceFile ? : return
336309 val visitor = visitors[ktFile]
@@ -340,11 +313,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
340313
341314 private class SemanticTypeAliasChecker : FirTypeAliasChecker (MppCheckerKind .Common ) {
342315 @OptIn(ExperimentalContracts ::class )
343- override fun check (
344- declaration : FirTypeAlias ,
345- context : CheckerContext ,
346- reporter : DiagnosticReporter
347- ) {
316+ context(context: CheckerContext , reporter: DiagnosticReporter )
317+ override fun check (declaration : FirTypeAlias ) {
348318 val source = declaration.source ? : return
349319 val ktFile = context.containingFile?.sourceFile ? : return
350320 val visitor = visitors[ktFile]
@@ -355,11 +325,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
355325 private class SemanticPropertyAccessorChecker :
356326 FirPropertyAccessorChecker (MppCheckerKind .Common ) {
357327 @OptIn(ExperimentalContracts ::class )
358- override fun check (
359- declaration : FirPropertyAccessor ,
360- context : CheckerContext ,
361- reporter : DiagnosticReporter
362- ) {
328+ context(context: CheckerContext , reporter: DiagnosticReporter )
329+ override fun check (declaration : FirPropertyAccessor ) {
363330 val source = declaration.source ? : return
364331 val ktFile = context.containingFile?.sourceFile ? : return
365332 val visitor = visitors[ktFile]
@@ -387,11 +354,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
387354 private class SemanticQualifiedAccessExpressionChecker :
388355 FirQualifiedAccessExpressionChecker (MppCheckerKind .Common ) {
389356 @OptIn(ExperimentalContracts ::class )
390- override fun check (
391- expression : FirQualifiedAccessExpression ,
392- context : CheckerContext ,
393- reporter : DiagnosticReporter
394- ) {
357+ context(context: CheckerContext , reporter: DiagnosticReporter )
358+ override fun check (expression : FirQualifiedAccessExpression ) {
395359 val source = expression.source ? : return
396360 val calleeReference = expression.calleeReference
397361 if ((calleeReference as ? FirResolvedNamedReference ) == null ) {
@@ -425,11 +389,8 @@ open class AnalyzerCheckers(session: FirSession) : FirAdditionalCheckersExtensio
425389 private class SemanticClassReferenceExpressionChecker :
426390 FirTypeOperatorCallChecker (MppCheckerKind .Common ) {
427391 @OptIn(ExperimentalContracts ::class )
428- override fun check (
429- expression : FirTypeOperatorCall ,
430- context : CheckerContext ,
431- reporter : DiagnosticReporter
432- ) {
392+ context(context: CheckerContext , reporter: DiagnosticReporter )
393+ override fun check (expression : FirTypeOperatorCall ) {
433394 val typeRef = expression.conversionTypeRef
434395 val source = typeRef.source ? : return
435396 val classSymbol = expression.conversionTypeRef.toClassLikeSymbol(context.session) ? : return
0 commit comments