Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

working on external infoview search, adding search text field #93

Merged
merged 5 commits into from
Dec 22, 2024

change doc

69a346b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

working on external infoview search, adding search text field #93

change doc
69a346b
Select commit
Loading
Failed to load commit list.
GitHub Actions / Qodana Community for JVM completed Dec 22, 2024 in 0s

301 new problems found by Qodana Community for JVM

Qodana Community for JVM

301 new problems were found

Inspection name Severity Problems
Unused symbol 🔶 Warning 51
Redundant semicolon 🔶 Warning 49
Unused import directive 🔶 Warning 35
Unstable API Usage 🔶 Warning 29
Constructor parameter is never used as a property 🔶 Warning 4
Local 'var' is never modified and can be declared as 'val' 🔶 Warning 3
Redundant nullable return type 🔶 Warning 3
Redundant visibility modifier 🔶 Warning 2
Control flow with empty body 🔶 Warning 1
Incorrect string capitalization 🔶 Warning 1
Unresolved reference in KDoc 🔶 Warning 1
'catch' block may ignore exception 🔶 Warning 1
Usage of redundant or deprecated syntax or deprecated symbols 🔶 Warning 1
Redundant diagnostic suppression 🔶 Warning 1
Obvious explicit type 🔶 Warning 1
Redundant 'suspend' modifier 🔶 Warning 1
Redundant string template 🔶 Warning 1
Unused receiver parameter 🔶 Warning 1
Class member can have 'private' visibility ◽️ Notice 58
Property naming convention ◽️ Notice 16
Local variable naming convention ◽️ Notice 7
Accessor call that can be replaced with property access syntax ◽️ Notice 6
Redundant overriding method ◽️ Notice 4
Return or assignment can be lifted out ◽️ Notice 4
Nested lambda has shadowed implicit parameter ◽️ Notice 4
Unnecessary '@OptIn' annotation ◽️ Notice 4
Class naming convention ◽️ Notice 2
Private property naming convention ◽️ Notice 2
Redundant 'if' statement ◽️ Notice 2
Negated call can be simplified ◽️ Notice 2
Redundant curly braces in string template ◽️ Notice 1
Replace empty class body ◽️ Notice 1
Redundant empty primary constructor ◽️ Notice 1
Unnecessary type argument ◽️ 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.3.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 10 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 30 in src/main/kotlin/lean4ij/setting/Lean4Configurable.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 158 in src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.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 17 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 147 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 354 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 warning on line 202 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 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 25 in src/main/kotlin/lean4ij/language/Lean4ManualCompletionContributor.kt

See this annotation in the file changed.

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

Control flow with empty body 

'if' has empty body

Check warning on line 138 in src/main/kotlin/lean4ij/setting/Lean4Settings.kt

See this annotation in the file changed.

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

Incorrect string capitalization 

String '[ref](https://github.com/leanperrover/lean4/tree/master/src/Lean/Server#in-general)' is not properly capitalized. It should have sentence capitalization

Check warning on line 136 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 130 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 241 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 133 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 notice on line 20 in src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt

See this annotation in the file changed.

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

Redundant overriding method 

Redundant overriding method

Check notice on line 16 in src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt

See this annotation in the file changed.

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

Redundant overriding method 

Redundant overriding method

Check notice on line 24 in src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt

See this annotation in the file changed.

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

Redundant overriding method 

Redundant overriding method

Check notice on line 8 in src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt

See this annotation in the file changed.

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

Redundant overriding method 

Redundant overriding method

Check warning on line 9 in src/main/kotlin/lean4ij/language/Lean4ParserDefinition.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 6 in src/main/kotlin/lean4ij/language/Lean4ParserDefinition.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/language/WorkspaceSymbolData.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 10 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 7 in src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.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/CodeWithInfos.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