Skip to content
Build

feat: external infoview improvements #152

Sign in to view logs

feat: external infoview improvements

feat: external infoview improvements #152

Triggered via pull request October 16, 2024 16:33
@onrivonriv
opened #24
feat/infoview
Status Success
Total duration 9m 15s
Artifacts 2

build.yml

on: pull_request
Build
1m 30s
Build
Test
1m 13s
Test
Inspect code
7m 25s
Inspect code
Verify plugin
3m 41s
Verify plugin
Release draft
0s
Release draft
Fit to window
Zoom out
Zoom in

Annotations

151 warnings and 36 notices
Test
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1
Constructor parameter is never used as a property: src/main/kotlin/lean4ij/project/listeners/LeanFileCaretListener.kt#L16
Constructor parameter is never used as a property
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
Local 'var' is never modified and can be declared as 'val': src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L134
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#L192
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/InfoviewInlayHintsProviderFactory.kt#L257
Variable is never modified, so it can be declared using 'val'
Unresolved reference in KDoc: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L97
Cannot resolve symbol 'CodeWithInfos'
'catch' block may ignore exception: src/main/kotlin/lean4ij/project/LeanFile.kt#L123
Empty catch block
Usage of redundant or deprecated syntax or deprecated symbols: src/main/kotlin/lean4ij/infoview/external/Route.kt#L235
Unnecessary non-null assertion (!!) on a non-null receiver of type JsonElement
Usage of redundant or deprecated syntax or deprecated symbols: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L57
Unnecessary non-null assertion (!!) on a non-null receiver of type T
Redundant diagnostic suppression: src/main/kotlin/lean4ij/infoview/external/Route.kt#L124
Redundant suppression
Unused import directive: src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoal.kt#L3
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/LeanFile.kt#L43
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/Lean4Configurable.kt#L8
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/LeanLanguageServerProvider.kt#L4
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/Lean4Configurable.kt#L35
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/ExternalInfoViewService.kt#L14
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/data/InteractiveDiagnosticsParams.kt#L3
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/lsp/LeanLanguageServerProvider.kt#L3
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/external/ExternalInfoViewService.kt#L15
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/LeanFileCaretListener.kt#L13
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/LeanProjectService.kt#L24
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L7
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/language/InfoviewInlayHintsProviderFactory.kt#L3
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/project/listeners/LeanFileCaretListener.kt#L12
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/LeanLanguageServerProvider.kt#L5
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/Lean4Configurable.kt#L7
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/Lean4Configurable.kt#L37
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4TextMateBundleProvider.kt#L5
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/Lean4Configurable.kt#L6
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/Lean4Configurable.kt#L3
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/Lean4Configurable.kt#L4
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/Lean4Configurable.kt#L5
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#L14
'contextInfo' always returns non-null type
Redundant nullable return type: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L271
'createCollector' always returns non-null type
Redundant nullable return type: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L224
'createCollector' always returns non-null type
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L150
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L147
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L74
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L186
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L121
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L210
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L120
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L125
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/util/OsUtil.kt#L22
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L189
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L131
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L108
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L109
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L117
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4Context.kt#L11
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L92
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L34
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L65
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L140
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L26
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L257
Redundant semicolon
Redundant semicolon: build.gradle.kts#L219
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4Language.kt#L19
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L72
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L119
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4Language.kt#L12
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L207
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L205
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L105
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L82
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L204
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L116
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L208
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L18
Redundant semicolon
Redundant semicolon: build.gradle.kts#L227
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L206
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L256
Redundant semicolon
Redundant visibility modifier: src/main/kotlin/lean4ij/project/LeanFile.kt#L304
Redundant visibility modifier
Redundant string template: src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoal.kt#L27
Redundant string template
Redundant string template: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L70
Redundant string template
Unstable API Usage: src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt#L55
'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#L56
'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/infoview/InfoviewPopupDocumentation.kt#L197
'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/infoview/InfoviewPopupDocumentation.kt#L61
'com.intellij.codeInsight.documentation.DocumentationEditorPane' is marked unstable with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L61
'getPreferredContentWidth(int)' is declared in unstable class 'com.intellij.codeInsight.documentation.DocumentationEditorPane' marked 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#L40
'com.intellij.codeInsight.documentation.DocumentationScrollPane' is marked unstable with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L197
'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/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/LeanLanguageServerFactory.kt#L55
'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' is marked unstable with @ApiStatus.Experimental
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/infoview/InfoviewPopupDocumentation.kt#L85
'com.intellij.codeInsight.documentation.DocumentationEditorPane' is marked unstable with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L85
'getPreferredHeightByWidth(int)' is declared in unstable class 'com.intellij.codeInsight.documentation.DocumentationEditorPane' marked with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt#L54
'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' is marked unstable 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/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
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L40
'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
Unused receiver parameter: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L37
Receiver parameter is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L13
Property "isRemoved" 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/InfoviewPopupDocumentation.kt#L114
Property "height" 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/external/Route.kt#L316
Function "toJsonElement" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L19
Property "project" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoals.kt#L45
Function "substring" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L64
Function "render" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L34
Function "plainTermGoal" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L16
Function "fromJson" is never used
Unused symbol: src/main/kotlin/lean4ij/util/LeanUtil.kt#L9
Function "runCommand" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoals.kt#L75
Function "highlight" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L77
Function "updateGoal" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L12
Property "goalPrefix" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/external/ExternalInfoViewService.kt#L161
Property "scope" is never used
Unused symbol: src/main/kotlin/lean4ij/project/LeanFile.kt#L70
Property "progressingLineMarker" is never used
Unused symbol: src/main/kotlin/lean4ij/Lean4Configurable.kt#L49
Function "aligned" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L61
Property "BORDER" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L129
Property "cls" is never used
Unused symbol: src/main/kotlin/lean4ij/Lean4Configurable.kt#L59
Class "ToolTipListCellRenderer" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L23
Function "createTextAttributesKey" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L19
Class "COLOR" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L30
Function "plainGoal" is never used
Unused symbol: src/main/kotlin/lean4ij/util/LeanUtil.kt#L38
Function "isLeanFile" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLanguageServerProvider.kt#L130
Function "path" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L129
Property "indent" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLsp4jClient.kt#L24
Function "leanFileProgress" is never used
Unused symbol: src/main/kotlin/lean4ij/Lean4Configurable.kt#L158
Property "disableVscodeInfoviewUpdateAtWindowClosed" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L129
Class "MsgEmbedTrace" 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/ProjectUtil.kt#L21
Function "notify" is never used
Unused symbol: src/main/kotlin/lean4ij/util/Constants.kt#L24
Property "EXTERNAL_INFOVIEW_SERVER_INITIALIZED" is never used
Unused symbol: src/main/kotlin/lean4ij/actions/OpenLeanInfoView.kt#L10
Property "sessions" is never used
Unused symbol: src/main/kotlin/lean4ij/Lean4Configurable.kt#L53
Function "checked" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L188
Function "createExprPanel" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoal.kt#L15
Property "ctx" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L11
Property "ctx" is never used
Unused symbol: src/main/kotlin/lean4ij/project/FileProgressGutterIconRender.kt#L7
Class "FileProgressGutterIconRender" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L9
Property "isInserted" is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4Language.kt#L41
Property "INSTANCE" is never used
Unused symbol: src/main/kotlin/lean4ij/util/LeanUtil.kt#L7
Object "LeanUtil" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L30
Property "attrSelect" is never used
Unused symbol: src/main/kotlin/lean4ij/Lean4Configurable.kt#L149
Property "disableNativeInfoviewUpdateAtWindowClosed" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L8
Property "mvarId" 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 0994292be00f790758245ef600c0eede6dc6a776 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
Return or assignment can be lifted out: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L108
'Assignment' can be lifted out of 'if'
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L90
Function 'getInteractiveDiagnosticsAsync' 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/infoview/InfoviewPopupDocumentation.kt#L175
Function 'createDocPanel' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L199
Function 'createPopupPanel' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L74
Function 'rpcCallAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L107
Property 'point' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L84
Function 'getInteractiveTermGoalAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/project/BuildWindowService.kt#L119
Function 'createProgress' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L103
Property 'toolWindow' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/data/InteractiveGoals.kt#L19
Property 'sb' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L70
Function 'rpcConnectAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L105
Property 'logicalPosition' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L62
Function 'plainGoalAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L43
Property 'leanProject' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L6
Property 'userName' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L100
Function 'infoToInteractiveAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L88
Property 'hintCache' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L41
Property 'popupEditor' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L66
Function 'plainTermGoalAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L104
Property 'expr' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L64
Property 'cache' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L78
Function 'getInteractiveGoalsAsync' could be private
Private property naming convention: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L61
Private property name `BORDER` should not start with an uppercase letter
Redundant 'if' statement: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L108
Redundant 'if' statement
Redundant curly braces in string template: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L70
Redundant curly braces in string template
Redundant curly braces in string template: src/main/kotlin/lean4ij/infoview/external/Route.kt#L279
Redundant curly braces in string template
Negated call can be simplified: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L188
Replace negated 'isEmpty' with 'isNotEmpty'
Unnecessary '@OptIn' annotation: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L90
The opt-in annotation is redundant: no matching experimental API is used
Unnecessary '@OptIn' annotation: src/main/kotlin/lean4ij/infoview/external/Route.kt#L38
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/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.0.18
13.2 MB
pluginVerifier-result
15.1 KB