Skip to content

Feature/javafx

Feature/javafx #40

Triggered via pull request December 10, 2023 17:23
@wadoonwadoon
synchronize #18
feature/javafx
Status Success
Total duration 4m 34s
Artifacts

code_quality.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

20 warnings and 56 notices
Usage of redundant or deprecated syntax or deprecated symbols: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/navigator.kt#L172
Elvis operator (?:) always returns the left operand of non-nullable type String
Unused symbol: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt#L166
Property "appDataPath" is never used
Unused symbol: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/issueview.kt#L25
Interface "ProblemService" is never used
Unused symbol: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/issueview.kt#L26
Function "clearProblems" is never used
Unused symbol: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt#L170
Property "recentFiles" is never used
Unused symbol: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/issueview.kt#L28
Function "registerListener" is never used
Unused symbol: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt#L135
Object "ConfigurationPaths" is never used
Unused symbol: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/issueview.kt#L27
Function "announceProblems" is never used
Unused symbol: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt#L322
Property "recentFiles" is never used
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt#L64
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt#L148
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt#L170
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt#L166
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt#L62
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/issueview.kt#L15
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt#L60
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt#L58
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt#L176
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Leaking 'this' in constructor: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt#L55
Leaking 'this' in constructor of non-final class Editor
Leaking 'this' in constructor: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt#L59
Leaking 'this' in constructor of non-final class Editor
Leaking 'this' in constructor: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt#L61
Leaking 'this' in constructor of non-final class Editor
Leaking 'this' in constructor: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/editor.kt#L57
Leaking 'this' in constructor of non-final class Editor
Nested lambda has shadowed implicit parameter: ide/src/main/kotlin/edu/kit/iti/formal/automation/fx/fx.kt#L305
Implicit parameter 'it' of enclosing lambda is shadowed