Skip to content
Build

internal infoview trace #259

Sign in to view logs

internal infoview trace

internal infoview trace #259

Triggered via pull request November 30, 2024 17:10
@onrivonriv
synchronize #73
feat/internal_infoview_trace
Status Success
Total duration 11m 8s
Artifacts 2

build.yml

on: pull_request
Build
3m 8s
Build
Test
2m 12s
Test
Inspect code
7m 40s
Inspect code
Verify plugin
6m 36s
Verify plugin
Release draft
0s
Release draft
Fit to window
Zoom out
Zoom in

Annotations

183 warnings and 108 notices
Constructor parameter is never used as a property: src/main/kotlin/lean4ij/project/listeners/LeanFileEditorManagerListener.kt#L8
Constructor parameter is never used as a property
Constructor parameter is never used as a property: src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.kt#L161
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/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#L201
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#L210
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#L125
Empty catch block
Usage of redundant or deprecated syntax or deprecated symbols: src/main/kotlin/lean4ij/infoview/external/Route.kt#L233
Unnecessary non-null assertion (!!) on a non-null receiver of type JsonElement
Redundant diagnostic suppression: src/main/kotlin/lean4ij/infoview/external/Route.kt#L129
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/infoview/LeanInfoViewWindowFactory.kt#L12
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt#L7
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/LeanProjectService.kt#L34
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/BuildWindowService.kt#L5
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/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/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/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/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/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/util/ProjectUtil.kt#L4
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/language/Lean4WorkspaceSymbolContributor.kt#L26
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/project/LeanProjectActivity.kt#L17
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/InfoviewMouseMotionListener.kt#L5
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4ParserDefinition.kt#L13
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#L16
'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/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#L316
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#L134
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/infoview/InfoviewPopupDocumentation.kt#L206
'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/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/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/infoview/InfoviewPopupDocumentation.kt#L206
'com.intellij.codeInsight.documentation.DocumentationScrollPane' 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/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/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/infoview/InfoviewPopupDocumentation.kt#L125
Property "height" 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/project/LeanFile.kt#L71
Property "progressingLineMarker" is never used
Unused symbol: src/main/kotlin/lean4ij/project/LeanProjectService.kt#L145
Function "updateInfoviewFor" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L77
Function "render" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLanguageServerProvider.kt#L133
Function "path" 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/InteractiveGoals.kt#L141
Function "highlight" 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/lsp/data/CodeWithInfos.kt#L181
Property "collapsed" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L181
Property "indent" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L30
Property "attrSelect" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L116
Function "updateInteractiveGoal" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L197
Function "createExprPanel" 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/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/language/Lean4WorkspaceSymbolContributor.kt#L177
Property "symbolEntryCache" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/external/Route.kt#L324
Function "toJsonElement" 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/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/infoview/dsl/dsl.kt#L97
Function "insert" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoal.kt#L15
Property "ctx" is never used
Inspect code
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
Inspect code
Cannot run analysis for commit 8c6ac6548c38b14f12bc47bab4d992414197bcfe because it doesn't exist in the repository. Check that you retrieve the full git history before running Qodana.
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#L127
If-Null return/break/... foldable to '?:'
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#L9
Redundant overriding method
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/lsp/data/InteractiveGoals.kt#L103
'Return' can be lifted out of 'try'
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/infoview/InfoviewPopupDocumentation.kt#L184
Function 'createDocPanel' 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/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#L181
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/infoview/InfoviewPopupDocumentation.kt#L118
Property 'point' 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/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/infoview/dsl/dsl.kt#L129
Function 'toStringAndEditorActions' 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/infoview/InfoviewPopupDocumentation.kt#L114
Property 'toolWindow' 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/language/Lean4SyntaxHighlighter.kt#L34
Property 'COMMENT' 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/InlayHints.kt#L515
Function 'updateHint' 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/infoview/LeanInfoViewWindowFactory.kt#L281
Function 'configureToolbar' 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/language/Lean4WorkspaceSymbolContributor.kt#L146
Function 'createItem' 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#L208
Function 'createPopupPanel' 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
Nested lambda has shadowed implicit parameter: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L81
Implicit parameter 'it' of enclosing lambda is shadowed
Nested lambda has shadowed implicit parameter: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L80
Implicit parameter 'it' of enclosing lambda is shadowed
Nested lambda has shadowed implicit parameter: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L80
Implicit parameter 'it' of enclosing lambda is shadowed
Nested lambda has shadowed implicit parameter: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L81
Implicit parameter 'it' of enclosing lambda is shadowed
Private property naming convention: src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.kt#L167
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#L134
Redundant curly braces in string template
Redundant curly braces in string template: src/main/kotlin/lean4ij/infoview/external/Route.kt#L285
Redundant curly braces in string template
Replace empty class body: src/main/kotlin/lean4ij/lsp/data/InfoviewRender.kt#L3
Redundant empty class body
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/external/Route.kt#L40
The opt-in annotation is redundant: no matching experimental API is used
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/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.6
13.1 MB
pluginVerifier-result
16.6 KB