Skip to content

Feature/javafx

Feature/javafx #40

GitHub Actions / Qodana Community for JVM completed Dec 10, 2023 in 0s

76 new problems found by Qodana Community for JVM

Qodana Community for JVM

76 new problems were found

Inspection name Severity Problems
Unused symbol 🔶 Warning 14
Unused import directive 🔶 Warning 3
Usage of redundant or deprecated syntax or deprecated symbols 🔶 Warning 2
Redundant nullable return type 🔶 Warning 1
Class member can have 'private' visibility ◽️ Notice 34
Function or property has platform type ◽️ Notice 9
Nested lambda has shadowed implicit parameter ◽️ Notice 6
Leaking 'this' in constructor ◽️ Notice 4
Redundant empty initializer block ◽️ Notice 2
Might be 'const' ◽️ Notice 1

💡 Qodana analysis was run in the pull request mode: only the changed files were checked
☁️ View the detailed Qodana report

Contact Qodana team

Contact us at [email protected]

Details

This result was published with Qodana GitHub Action

Annotations

Check notice on line 64 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt

See this annotation in the file changed.

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

Function or property has platform type

Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.

Check notice on line 148 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt

See this annotation in the file changed.

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

Function or property has platform type

Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.

Check notice on line 170 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt

See this annotation in the file changed.

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

Function or property has platform type

Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.

Check notice on line 166 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt

See this annotation in the file changed.

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

Function or property has platform type

Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.

Check notice on line 62 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt

See this annotation in the file changed.

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

Function or property has platform type

Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.

Check notice on line 15 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/issueview.kt

See this annotation in the file changed.

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

Function or property has platform type

Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.

Check notice on line 60 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt

See this annotation in the file changed.

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

Function or property has platform type

Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.

Check notice on line 58 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt

See this annotation in the file changed.

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

Function or property has platform type

Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.

Check notice on line 176 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt

See this annotation in the file changed.

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

Function or property has platform type

Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.

Check warning on line 279 in geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/model/GeneralizedTestTable.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

Elvis operator (?:) always returns the left operand of non-nullable type Int

Check warning on line 172 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/navigator.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

Elvis operator (?:) always returns the left operand of non-nullable type String

Check warning on line 14 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/navigator.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 22 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/navigator.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 ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/navigator.kt

See this annotation in the file changed.

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

Unused import directive

Unused import directive

Check notice on line 55 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt

See this annotation in the file changed.

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

Leaking 'this' in constructor

Leaking 'this' in constructor of non-final class Editor

Check notice on line 59 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt

See this annotation in the file changed.

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

Leaking 'this' in constructor

Leaking 'this' in constructor of non-final class Editor

Check notice on line 61 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt

See this annotation in the file changed.

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

Leaking 'this' in constructor

Leaking 'this' in constructor of non-final class Editor

Check notice on line 57 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt

See this annotation in the file changed.

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

Leaking 'this' in constructor

Leaking 'this' in constructor of non-final class Editor

Check notice on line 146 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt

See this annotation in the file changed.

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

Might be 'const'

Might be 'const'

Check notice on line 15 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/issueview.kt

See this annotation in the file changed.

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

Class member can have 'private' visibility

Property 'issues' could be private

Check notice on line 60 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt

See this annotation in the file changed.

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

Class member can have 'private' visibility

Property 'language' could be private

Check notice on line 13 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/outline.kt

See this annotation in the file changed.

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

Class member can have 'private' visibility

Property 'outlineTree' could be private

Check notice on line 207 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt

See this annotation in the file changed.

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

Class member can have 'private' visibility

Property 'center' could be private

Check notice on line 146 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt

See this annotation in the file changed.

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

Class member can have 'private' visibility

Property 'applicationName' could be private

Check notice on line 230 in ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt

See this annotation in the file changed.

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

Class member can have 'private' visibility

Function 'publishMessage' could be private