Skip to content
Build

working on run configuration #298

Sign in to view logs

working on run configuration

working on run configuration #298

Triggered via push December 16, 2024 15:10
@onrivonriv
pushed 58f5e79
main
Status Success
Total duration 9m 2s
Artifacts 2

build.yml

on: push
Build
2m 20s
Build
Test
2m 2s
Test
Inspect code
6m 21s
Inspect code
Verify plugin
5m 19s
Verify plugin
Release draft
7s
Release draft
Fit to window
Zoom out
Zoom in

Annotations

209 warnings and 115 notices
Build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
Release draft
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
Verify plugin
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Verify plugin
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
Constructor parameter is never used as a property: src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.kt#L162
Constructor parameter is never used as a property
Constructor parameter is never used as a property: src/main/kotlin/lean4ij/project/listeners/LeanFileEditorManagerListener.kt#L10
Constructor parameter is never used as a property
Constructor parameter is never used as a property: src/main/kotlin/lean4ij/project/listeners/LeanFileCaretListener.kt#L17
Constructor parameter is never used as a property
Local 'var' is never modified and can be declared as 'val': src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L148
Variable is never modified, so it can be declared using 'val'
Local 'var' is never modified and can be declared as 'val': src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L264
Variable is never modified, so it can be declared using 'val'
Local 'var' is never modified and can be declared as 'val': src/main/kotlin/lean4ij/language/InlayHints.kt#L354
Variable is never modified, so it can be declared using 'val'
Local 'var' is never modified and can be declared as 'val': src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L202
Variable is never modified, so it can be declared using 'val'
Control flow with empty body: src/main/kotlin/lean4ij/language/Lean4ManualCompletionContributor.kt#L25
'if' has empty body
Incorrect string capitalization: src/main/kotlin/lean4ij/setting/Lean4Settings.kt#L137
String '[ref](https://github.com/leanperrover/lean4/tree/master/src/Lean/Server#in-general)' is not properly capitalized. It should have sentence capitalization
Unresolved reference in KDoc: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L94
Cannot resolve symbol 'CodeWithInfos'
'catch' block may ignore exception: src/main/kotlin/lean4ij/project/LeanFile.kt#L128
Empty catch block
Usage of redundant or deprecated syntax or deprecated symbols: src/main/kotlin/lean4ij/infoview/external/Route.kt#L250
Unnecessary non-null assertion (!!) on a non-null receiver of type JsonElement
Redundant diagnostic suppression: src/main/kotlin/lean4ij/infoview/external/Route.kt#L142
Redundant suppression
Unused import directive: src/main/kotlin/lean4ij/language/Lean4ParserDefinition.kt#L9
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4ParserDefinition.kt#L6
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/LeanLanguageServerProvider.kt#L10
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt#L7
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/external/Route.kt#L5
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L3
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/ToolchainService.kt#L5
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L23
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/BuildWindowService.kt#L5
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/external/Route.kt#L19
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/listeners/LeanFileCaretListener.kt#L14
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/external/Route.kt#L44
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4ParserDefinition.kt#L8
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/setting/Lean4Settings.kt#L10
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L4
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L9
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/LeanProjectService.kt#L40
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/external/Route.kt#L16
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4ManualCompletionContributor.kt#L11
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4ParserDefinition.kt#L10
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt#L13
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/listeners/LeanFileCaretListener.kt#L9
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.kt#L27
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/BuildWindowService.kt#L12
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/listeners/LeanFileOpenedListener.kt#L3
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/listeners/LeanFileCaretListener.kt#L13
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L5
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L34
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt#L18
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/external/Route.kt#L15
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4ParserDefinition.kt#L22
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4ManualCompletionContributor.kt#L12
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L11
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L13
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L4
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/external/Route.kt#L43
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/listeners/LeanFileOpenedListener.kt#L4
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt#L6
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt#L4
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/sdk/Lean4StdLibraryProvider.kt#L6
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/setting/Lean4Settings.kt#L8
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L10
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt#L12
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/BuildWindowService.kt#L24
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/dsl/dsl.kt#L18
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L14
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4ParserDefinition.kt#L23
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/external/Route.kt#L41
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/external/Route.kt#L18
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/LeanProjectService.kt#L43
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4ParserDefinition.kt#L13
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/external/Route.kt#L45
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4Commenter.kt#L3
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/listeners/LeanFileCaretListener.kt#L11
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/BuildWindowService.kt#L11
Unused import directive
Obvious explicit type: src/main/kotlin/lean4ij/util/OsUtil.kt#L32
Explicitly given type is redundant here
Redundant nullable return type: src/main/kotlin/lean4ij/lsp/data/SubexprInfo.kt#L15
'contextInfo' always returns non-null type
Redundant nullable return type: src/main/kotlin/lean4ij/language/InlayHints.kt#L466
'getTextAttributes' always returns non-null type
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L84
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L31
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L86
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InlayHints.kt#L457
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/ToggleLeanInfoViewInternal.kt#L64
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L127
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L74
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L131
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/util/OsUtil.kt#L22
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L120
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L76
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L72
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L168
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4Context.kt#L11
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L42
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L34
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L85
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/ToggleLeanInfoViewInternal.kt#L189
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L77
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/ToggleLeanInfoViewInternal.kt#L167
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L21
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4Language.kt#L13
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L26
Redundant semicolon
Redundant semicolon: build.gradle.kts#L282
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/ToggleLeanInfoViewInternal.kt#L222
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4Language.kt#L21
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L45
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/run/LeanRunConfigurationType.kt#L41
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L81
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L63
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L32
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L75
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L90
Redundant semicolon
Redundant semicolon: build.gradle.kts#L274
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L52
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/ToggleLeanInfoViewInternal.kt#L197
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L67
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/ToggleLeanInfoViewInternal.kt#L147
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L29
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L65
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L79
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L137
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L25
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L67
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L73
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L18
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L142
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L43
Redundant semicolon
Redundant 'suspend' modifier: src/main/kotlin/lean4ij/infoview/external/ExternalInfoViewService.kt#L175
Redundant 'suspend' modifier
Redundant visibility modifier: src/main/kotlin/lean4ij/project/LeanFile.kt#L325
Redundant visibility modifier
Redundant visibility modifier: src/main/kotlin/lean4ij/project/LeanFile.kt#L319
Redundant visibility modifier
Redundant string template: src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoal.kt#L55
Redundant string template
Redundant string template: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L188
Redundant string template
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L21
'LSPDiagnosticFeature()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPDiagnosticFeature' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L30
Overridden method 'isEnabled()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPWorkspaceSymbolFeature' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/LeanLSPCompletionFeature.kt#L12
'LSPCompletionFeature()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPCompletionFeature' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L16
'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L29
'com.redhat.devtools.lsp4ij.client.features.LSPWorkspaceSymbolFeature' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L72
'getPreferredContentWidth(int)' is declared in unstable class 'com.intellij.codeInsight.documentation.DocumentationEditorPane' marked with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L21
'setDiagnosticFeature(com.redhat.devtools.lsp4ij.client.features.@org.jetbrains.annotations.NotNull LSPDiagnosticFeature)' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L22
Overridden method 'isEnabled(com.intellij.psi.@org.jetbrains.annotations.NotNull PsiFile)' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.AbstractLSPDocumentFeature' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L96
'com.intellij.codeInsight.documentation.DocumentationEditorPane' is marked unstable with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L207
'com.intellij.codeInsight.documentation.DocumentationScrollPane' is marked unstable with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/lsp/LeanLSPCompletionFeature.kt#L12
'com.redhat.devtools.lsp4ij.client.features.LSPCompletionFeature' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L29
'LSPWorkspaceSymbolFeature()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPWorkspaceSymbolFeature' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L42
'com.intellij.codeInsight.documentation.DocumentationScrollPane' is marked unstable with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/project/leanFileProgressFinishedFillingLineMarkerRender.kt#L11
'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L42
'setViewportView(com.intellij.codeInsight.documentation.@org.jetbrains.annotations.NotNull DocumentationEditorPane, javax.swing.@org.jetbrains.annotations.NotNull JLabel)' is declared in unstable class 'com.intellij.codeInsight.documentation.DocumentationScrollPane' marked with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/project/leanFileProgressFillingLineMarkerRender.kt#L23
Overridden method 'getTextAttributesKey()' is declared in unstable 'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L72
'com.intellij.codeInsight.documentation.DocumentationEditorPane' is marked unstable with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/project/leanFileProgressFinishedFillingLineMarkerRender.kt#L23
Overridden method 'getTextAttributesKey()' is declared in unstable 'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L16
'LSPClientFeatures()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt#L55
'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L29
'setWorkspaceSymbolFeature(com.redhat.devtools.lsp4ij.client.features.@org.jetbrains.annotations.NotNull LSPWorkspaceSymbolFeature)' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L20
'setCompletionFeature(com.redhat.devtools.lsp4ij.client.features.@org.jetbrains.annotations.NotNull LSPCompletionFeature)' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L21
'com.redhat.devtools.lsp4ij.client.features.LSPDiagnosticFeature' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L36
Overridden method 'isEnabled(com.intellij.openapi.vfs.@org.jetbrains.annotations.NotNull VirtualFile)' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L207
'setViewportView(com.intellij.codeInsight.documentation.@org.jetbrains.annotations.NotNull DocumentationEditorPane, javax.swing.@org.jetbrains.annotations.NotNull JLabel)' is declared in unstable class 'com.intellij.codeInsight.documentation.DocumentationScrollPane' marked with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/project/leanFileProgressFillingLineMarkerRender.kt#L10
'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L96
'getPreferredHeightByWidth(int)' is declared in unstable class 'com.intellij.codeInsight.documentation.DocumentationEditorPane' marked with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L40
'getProject()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/LeanLSPCompletionFeature.kt#L15
Overridden method 'isEnabled(com.intellij.psi.@org.jetbrains.annotations.NotNull PsiFile)' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.AbstractLSPDocumentFeature' marked with @ApiStatus.Experimental
Unused receiver parameter: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L37
Receiver parameter is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L158
Function "nextSiblingIsAssign" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoal.kt#L18
Property "term" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L193
Property "collapsed" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoviewService.kt#L11
Property "project" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L15
Property "isRemoved" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoals.kt#L146
Function "highlight" is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L39
Property "BAD_CHAR_KEYS" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L26
Function "plainTermGoal" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L77
Function "render" is never used
Unused symbol: src/main/kotlin/lean4ij/setting/Lean4Configurable.kt#L100
Function "select" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L14
Property "goalPrefix" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/external/KtorSseUtil.kt#L19
Function "respondSse" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L74
Property "BORDER" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L22
Function "plainGoal" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L10
Property "mvarId" is never used
Unused symbol: src/main/kotlin/lean4ij/language/InlayHints.kt#L578
Class "DiagInlayHintsCollector" is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.kt#L178
Property "symbolEntryCache" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L30
Property "attrSelect" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L193
Property "indent" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L126
Property "height" is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4ManualCompletionContributor.kt#L16
Property "onlyManual" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L23
Function "createTextAttributesKey" is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L40
Property "SEPARATOR_KEYS" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLanguageServerProvider.kt#L145
Function "path" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L198
Function "createExprPanel" is never used
Unused symbol: src/main/kotlin/lean4ij/util/Constants.kt#L25
Property "EXTERNAL_INFOVIEW_SERVER_INITIALIZED" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L19
Class "COLOR" is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4ParserDefinition.kt#L30
Class "Lean4ElementImpl" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L11
Property "isInserted" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLsp4jClient.kt#L24
Function "leanFileProgress" is never used
Unused symbol: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L29
Function "notify" is never used
Unused symbol: src/main/kotlin/lean4ij/util/LeanUtil.kt#L10
Function "runCommand" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/dsl/dsl.kt#L154
Function "onClick" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L170
Function "updateInteractiveGoal" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/external/ExternalInfoViewService.kt#L164
Property "scope" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L13
Property "ctx" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/external/Route.kt#L341
Function "toJsonElement" is never used
Unused symbol: src/main/kotlin/lean4ij/project/LeanFile.kt#L74
Property "progressingLineMarker" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InfoviewRender.kt#L3
Object "InfoObjectModelDsl" is never used
Unused symbol: src/main/kotlin/lean4ij/project/FileProgressGutterIconRender.kt#L7
Class "FileProgressGutterIconRender" is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L42
Property "VALUE_KEYS" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L90
Function "updateGoal" is never used
Unused symbol: src/main/kotlin/lean4ij/project/LeanProjectService.kt#L154
Function "updateInfoviewFor" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoal.kt#L15
Property "ctx" is never used
Inspect code
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Inspect code
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
Inspect code
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
Inspect code
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
Class naming convention: src/main/kotlin/lean4ij/project/leanFileProgressFinishedFillingLineMarkerRender.kt#L11
Class name `leanFileProgressFinishedFillingLineMarkerRender` should start with an uppercase letter
Class naming convention: src/main/kotlin/lean4ij/project/leanFileProgressFillingLineMarkerRender.kt#L10
Class name `leanFileProgressFillingLineMarkerRender` should start with an uppercase letter
If-Null return/break/... foldable to '?:': src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.kt#L128
If-Null return/break/... foldable to '?:'
Redundant overriding method: src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt#L48
Redundant overriding method
Redundant overriding method: src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt#L25
Redundant overriding method
Redundant overriding method: src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt#L17
Redundant overriding method
Redundant overriding method: src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt#L21
Redundant overriding method
Redundant overriding method: src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt#L44
Redundant overriding method
Redundant overriding method: src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt#L32
Redundant overriding method
Redundant overriding method: src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt#L9
Redundant overriding method
Redundant overriding method: src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt#L40
Redundant overriding method
Return or assignment can be lifted out: src/main/kotlin/lean4ij/lsp/data/InteractiveGoals.kt#L108
'Return' can be lifted out of 'try'
Return or assignment can be lifted out: src/main/kotlin/lean4ij/language/Lean4ManualCompletionContributor.kt#L59
'Assignment' can be lifted out of 'if'
Return or assignment can be lifted out: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L122
'Assignment' can be lifted out of 'if'
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L145
Local variable name `request_url` should not contain underscores
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L112
Local variable name `user_gesture` should not contain underscores
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L95
Local variable name `user_gesture` should not contain underscores
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L144
Local variable name `cert_error` should not contain underscores
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L111
Local variable name `target_url` should not contain underscores
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L131
Local variable name `origin_url` should not contain underscores
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L96
Local variable name `is_redirect` should not contain underscores
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.kt#L147
Function 'createItem' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/InlayHints.kt#L457
Property 'MAX_LEN' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L209
Function 'createPopupPanel' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L32
Property 'KEY' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L33
Property 'VALUE' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L67
Function 'rpcConnectAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoal.kt#L16
Property 'hyps' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L44
Property 'NUMBER_KEYS' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L46
Property 'SORRY_KEYS' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/sdk/SdkService.kt#L31
Function 'getLeanVersion' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L192
Function 'configureToolbar' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L193
Property 'cls' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L54
Property 'leanProject' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/project/BuildWindowService.kt#L121
Function 'createProgress' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L36
Property 'SORRY' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L81
Function 'getInteractiveTermGoalAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/InlayHints.kt#L121
Property 'cache' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L71
Function 'rpcCallAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/InlayHints.kt#L551
Function 'refresh' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L37
Property 'KEYWORD_IN_PROOF' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/dsl/dsl.kt#L59
Function 'fold' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/dsl/dsl.kt#L63
Function 'fold' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/InlayHints.kt#L477
Property 'currentHints' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L52
Property 'popupEditor' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/setting/Lean4Configurable.kt#L116
Property 'applyActions' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L75
Function 'getInteractiveGoalsAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/setting/Lean4Configurable.kt#L118
Property 'isChangedPredicates' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L63
Function 'plainTermGoalAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L43
Property 'COMMENT_KEYS' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/sdk/SdkService.kt#L52
Function 'getHomePath' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/InlayHints.kt#L490
Function 'model' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L97
Function 'infoToInteractiveAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L335
Function 'configureToolbar' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L34
Property 'COMMENT' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/InlayHints.kt#L515
Function 'updateHint' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L115
Property 'toolWindow' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/InlayHints.kt#L506
Function 'hideHint' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/InlayHints.kt#L146
Property 'hintCache' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L106
Function 'lazyTraceChildrenToInteractiveAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L41
Property 'KEY_KEYS' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L35
Property 'NUMBER' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L47
Property 'KEYWORD_IN_PROOF_KEYS' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L59
Function 'plainGoalAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L87
Function 'getInteractiveDiagnosticsAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L45
Property 'EMPTY_KEYS' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L8
Property 'userName' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L52
Function 'createInfoObjectModel' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L31
Property 'SEPARATOR' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L119
Property 'point' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/setting/Lean4Configurable.kt#L117
Property 'resetActions' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L78
Property 'defaultZoomLevel' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/InlayHints.kt#L530
Function 'showHint' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L55
Property 'leanInfoviewService' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L185
Function 'createDocPanel' could be private
Nested lambda has shadowed implicit parameter: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L88
Implicit parameter 'it' of enclosing lambda is shadowed
Nested lambda has shadowed implicit parameter: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L89
Implicit parameter 'it' of enclosing lambda is shadowed
Nested lambda has shadowed implicit parameter: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L89
Implicit parameter 'it' of enclosing lambda is shadowed
Nested lambda has shadowed implicit parameter: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L88
Implicit parameter 'it' of enclosing lambda is shadowed
Private property naming convention: src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.kt#L168
Private property name `SLEEP_TIME` should not contain underscores in the middle or the end
Private property naming convention: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L74
Private property name `BORDER` should not start with an uppercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L42
Property name `VALUE_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L41
Property name `KEY_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L37
Property name `KEYWORD_IN_PROOF` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L46
Property name `SORRY_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L32
Property name `KEY` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L47
Property name `KEYWORD_IN_PROOF_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L44
Property name `NUMBER_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L45
Property name `EMPTY_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L33
Property name `VALUE` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L34
Property name `COMMENT` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L36
Property name `SORRY` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L31
Property name `SEPARATOR` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L40
Property name `SEPARATOR_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L35
Property name `NUMBER` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L43
Property name `COMMENT_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L39
Property name `BAD_CHAR_KEYS` should start with a lowercase letter
Redundant 'if' statement: src/main/kotlin/lean4ij/actions/RestartJcefInfoview.kt#L70
Redundant 'if' statement
Redundant 'if' statement: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L122
Redundant 'if' statement
Redundant curly braces in string template: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L188
Redundant curly braces in string template
Redundant curly braces in string template: src/main/kotlin/lean4ij/infoview/external/Route.kt#L302
Redundant curly braces in string template
Replace empty class body: src/main/kotlin/lean4ij/lsp/data/InfoviewRender.kt#L3
Redundant empty class body
Redundant empty primary constructor: src/main/kotlin/lean4ij/run/LeanRunConfigurationType.kt#L34
Remove empty primary constructor
Unnecessary type argument: src/main/kotlin/lean4ij/actions/ToggleLeanInfoViewInternal.kt#L44
Remove explicit type arguments
Negated call can be simplified: src/main/kotlin/lean4ij/language/InlayHints.kt#L266
Replace negated 'isEmpty' with 'isNotEmpty'
Negated call can be simplified: src/main/kotlin/lean4ij/language/InlayHints.kt#L340
Replace negated 'isEmpty' with 'isNotEmpty'
Unnecessary '@OptIn' annotation: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L56
The opt-in annotation is redundant: no matching experimental API is used
Unnecessary '@OptIn' annotation: src/main/kotlin/lean4ij/infoview/external/Route.kt#L53
The opt-in annotation is redundant: no matching experimental API is used
Unnecessary '@OptIn' annotation: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L90
The opt-in annotation is redundant: no matching experimental API is used
Accessor call that can be replaced with property access syntax: src/main/kotlin/lean4ij/language/Lean4Context.kt#L11
Use of getter method instead of property access syntax
Accessor call that can be replaced with property access syntax: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L63
Use of setter method instead of property access syntax
Accessor call that can be replaced with property access syntax: src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt#L21
Use of setter method instead of property access syntax
Accessor call that can be replaced with property access syntax: src/main/kotlin/lean4ij/language/Lean4Context.kt#L10
Use of getter method instead of property access syntax
Accessor call that can be replaced with property access syntax: src/main/kotlin/lean4ij/language/Lean4Context.kt#L10
Use of getter method instead of property access syntax
Accessor call that can be replaced with property access syntax: src/main/kotlin/lean4ij/language/Lean4Context.kt#L11
Use of getter method instead of property access syntax

Artifacts

Produced during runtime
Name Size
lean4ij-0.1.9-beta.2
13.1 MB
pluginVerifier-result
17.3 KB