Skip to content
Build

delete not released api of lsp4ij and try again qodana #128

Sign in to view logs

delete not released api of lsp4ij and try again qodana

delete not released api of lsp4ij and try again qodana #128

Triggered via push October 6, 2024 16:33
@onrivonriv
pushed af6ead7
main
Status Success
Total duration 8m 52s
Artifacts 2

build.yml

on: push
Build
2m 49s
Build
Test
2m 3s
Test
Inspect code
5m 44s
Inspect code
Verify plugin
5m 8s
Verify plugin
Release draft
4s
Release draft
Fit to window
Zoom out
Zoom in

Annotations

122 warnings and 39 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/Lean4Configurable.kt#L159
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#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/CodeWithInfosDocumentationHyperLink.kt#L139
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#L122
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/infoview/LeanInfoViewWindow.kt#L3
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/LeanLanguageServerProvider.kt#L4
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/infoview/LeanInfoViewWindow.kt#L10
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/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/lsp/LeanLanguageServerFactory.kt#L7
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/language/Lean4TextMateBundleProvider.kt#L5
Unused import directive
Unused import directive: src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt#L8
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/language/InfoviewInlayHintsProviderFactory.kt#L228
'createCollector' always returns non-null type
Redundant nullable return type: src/main/kotlin/lean4ij/lsp/data/SubexprInfo.kt#L14
'contextInfo' always returns non-null type
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L105
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L106
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L69
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L186
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L116
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L128
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L214
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/util/OsUtil.kt#L22
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L89
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L102
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L79
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4Context.kt#L11
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L118
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L34
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L144
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L210
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L65
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L113
Redundant semicolon
Redundant semicolon: build.gradle.kts#L268
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L189
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L26
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L122
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4Language.kt#L19
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/Lean4Language.kt#L12
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L212
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L208
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L71
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L147
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L117
Redundant semicolon
Redundant semicolon: build.gradle.kts#L260
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L114
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L209
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L211
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L137
Redundant semicolon
Redundant semicolon: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L18
Redundant semicolon
Redundant visibility modifier: src/main/kotlin/lean4ij/project/LeanFile.kt#L303
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/project/leanFileProgressFinishedFillingLineMarkerRender.kt#L11
'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' is marked unstable with @ApiStatus.Experimental
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/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/project/leanFileProgressFillingLineMarkerRender.kt#L10
'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' is marked unstable 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/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/project/LeanFile.kt#L69
Property "progressingLineMarker" 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/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/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/lsp/data/CodeWithInfos.kt#L129
Property "cls" is never used
Unused symbol: src/main/kotlin/lean4ij/Lean4Configurable.kt#L51
Function "checked" 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/CodeWithInfosDocumentationHyperLink.kt#L51
Property "height" 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/Lean4Configurable.kt#L57
Class "ToolTipListCellRenderer" 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/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/infoview/LeanInfoViewWindow.kt#L78
Function "updateGoal" 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/infoview/LeanInfoViewWindow.kt#L65
Function "render" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L62
Property "BORDER" 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/Lean4Configurable.kt#L118
Property "disableVscodeInfoviewUpdateAtWindowClosed" 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/Lean4Configurable.kt#L47
Function "aligned" 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/lsp/data/InteractiveGoal.kt#L8
Property "mvarId" is never used
Unused symbol: src/main/kotlin/lean4ij/Lean4Configurable.kt#L114
Property "disableNativeInfoviewUpdateAtWindowClosed" is never used
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#L109
'Assignment' can be lifted out of 'if'
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/CodeWithInfosDocumentationHyperLink.kt#L44
Property 'point' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/data/InteractiveGoals.kt#L92
Property 'goals' could be private
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/infoview/LeanInfoViewWindow.kt#L42
Property 'popupEditor' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L44
Property 'leanProject' 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/CodeWithInfosDocumentationHyperLink.kt#L135
Function 'createExprPanel' 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/language/InfoviewInlayHintsProviderFactory.kt#L85
Property 'hintCache' 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/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/lsp/LeanLanguageServer.kt#L62
Function 'plainGoalAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/language/InfoviewInlayHintsProviderFactory.kt#L61
Property 'cache' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/CodeWithInfosDocumentationHyperLink.kt#L40
Property 'toolWindow' 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/infoview/CodeWithInfosDocumentationHyperLink.kt#L164
Function 'createPopupPanel' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/CodeWithInfosDocumentationHyperLink.kt#L43
Property 'contextInfo' 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/infoview/CodeWithInfosDocumentationHyperLink.kt#L42
Property 'logicalPosition' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L78
Function 'getInteractiveGoalsAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/infoview/CodeWithInfosDocumentationHyperLink.kt#L105
Function 'createDocPanel' could be private
Private property naming convention: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L62
Private property name `BORDER` should not start with an uppercase letter
Redundant 'if' statement: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L109
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.17 Expired
13.1 MB
pluginVerifier-result Expired
13.6 KB