@@ -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