Skip to content
Build

Merge pull request #30 from onriv/changelog-update-v0.0.19 #181

Sign in to view logs

Merge pull request #30 from onriv/changelog-update-v0.0.19

Merge pull request #30 from onriv/changelog-update-v0.0.19 #181

GitHub Actions / Qodana Community for JVM completed Oct 21, 2024 in 0s

187 new problems found by Qodana Community for JVM

Qodana Community for JVM

187 new problems were found

Inspection name Severity Problems
Unused symbol 🔶 Warning 44
Unused import directive 🔶 Warning 29
Redundant semicolon 🔶 Warning 29
Unstable API Usage 🔶 Warning 19
Redundant nullable return type 🔶 Warning 4
Local 'var' is never modified and can be declared as 'val' 🔶 Warning 3
Constructor parameter is never used as a property 🔶 Warning 2
Usage of redundant or deprecated syntax or deprecated symbols 🔶 Warning 2
Redundant string template 🔶 Warning 2
Unresolved reference in KDoc 🔶 Warning 1
'catch' block may ignore exception 🔶 Warning 1
Redundant diagnostic suppression 🔶 Warning 1
Obvious explicit type 🔶 Warning 1
Redundant 'suspend' modifier 🔶 Warning 1
Redundant visibility modifier 🔶 Warning 1
Unused receiver parameter 🔶 Warning 1
Class member can have 'private' visibility ◽️ Notice 28
Accessor call that can be replaced with property access syntax ◽️ Notice 6
Unnecessary '@OptIn' annotation ◽️ Notice 3
Class naming convention ◽️ Notice 2
Redundant curly braces in string template ◽️ Notice 2
Negated call can be simplified ◽️ Notice 2
Return or assignment can be lifted out ◽️ Notice 1
Private property naming convention ◽️ Notice 1
Redundant 'if' statement ◽️ Notice 1

💡 Qodana analysis was run in the pull request mode: only the changed files were checked

View the detailed Qodana report

To be able to view the detailed Qodana report, you can either:

To get *.log files or any other Qodana artifacts, run the action with upload-result option set to true,
so that the action will upload the files as the job artifacts:

      - name: 'Qodana Scan'
        uses: JetBrains/qodana-action@v2024.2.3
        with:
          upload-result: true
Contact Qodana team

Contact us at qodana-support@jetbrains.com

Details

This result was published with Qodana GitHub Action

Annotations

Check warning on line 16 in src/main/kotlin/lean4ij/project/listeners/LeanFileCaretListener.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Constructor parameter is never used as a property 

Constructor parameter is never used as a property

Check warning on line 8 in src/main/kotlin/lean4ij/project/listeners/LeanFileEditorManagerListener.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Constructor parameter is never used as a property 

Constructor parameter is never used as a property

Check warning on line 134 in src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Local 'var' is never modified and can be declared as 'val' 

Variable is never modified, so it can be declared using 'val'

Check warning on line 192 in src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Local 'var' is never modified and can be declared as 'val' 

Variable is never modified, so it can be declared using 'val'

Check warning on line 322 in src/main/kotlin/lean4ij/language/InlayHints.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Local 'var' is never modified and can be declared as 'val' 

Variable is never modified, so it can be declared using 'val'

Check notice on line 11 in src/main/kotlin/lean4ij/project/leanFileProgressFinishedFillingLineMarkerRender.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Class naming convention 

Class name `leanFileProgressFinishedFillingLineMarkerRender` should start with an uppercase letter

Check notice on line 10 in src/main/kotlin/lean4ij/project/leanFileProgressFillingLineMarkerRender.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Class naming convention 

Class name `leanFileProgressFillingLineMarkerRender` should start with an uppercase letter

Check warning on line 97 in src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unresolved reference in KDoc 

Cannot resolve symbol 'CodeWithInfos'

Check warning on line 128 in src/main/kotlin/lean4ij/project/LeanFile.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

'catch' block may ignore exception 

Empty catch block

Check warning on line 249 in src/main/kotlin/lean4ij/infoview/external/Route.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Usage of redundant or deprecated syntax or deprecated symbols 

Unnecessary non-null assertion (!!) on a non-null receiver of type JsonElement

Check warning on line 57 in src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Usage of redundant or deprecated syntax or deprecated symbols 

Unnecessary non-null assertion (!!) on a non-null receiver of type T

Check warning on line 129 in src/main/kotlin/lean4ij/infoview/external/Route.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Redundant diagnostic suppression 

Redundant suppression

Check warning on line 3 in src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoal.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive

Check warning on line 23 in src/main/kotlin/lean4ij/project/LeanFile.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive

Check warning on line 48 in src/main/kotlin/lean4ij/project/LeanFile.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive

Check warning on line 8 in src/main/kotlin/lean4ij/Lean4Configurable.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive

Check warning on line 4 in src/main/kotlin/lean4ij/lsp/LeanLanguageServerProvider.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive

Check warning on line 5 in src/main/kotlin/lean4ij/project/BuildWindowService.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive

Check warning on line 14 in src/main/kotlin/lean4ij/infoview/external/ExternalInfoViewService.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive

Check warning on line 3 in src/main/kotlin/lean4ij/lsp/data/InteractiveDiagnosticsParams.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive

Check warning on line 9 in src/main/kotlin/lean4ij/project/listeners/LeanFileCaretListener.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive

Check warning on line 12 in src/main/kotlin/lean4ij/project/BuildWindowService.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive

Check warning on line 3 in src/main/kotlin/lean4ij/lsp/LeanLanguageServerProvider.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive

Check warning on line 15 in src/main/kotlin/lean4ij/infoview/external/ExternalInfoViewService.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive

Check warning on line 4 in src/main/kotlin/lean4ij/util/ProjectUtil.kt

See this annotation in the file changed.

@github-actions github-actions / Qodana Community for JVM

Unused import directive 

Unused import directive
View more details on GitHub Actions