Skip to content
Qodana

Merge pull request #91 from VerifAPS/dependabot/gradle/kotlin_version… #37

Sign in to view logs

Merge pull request #91 from VerifAPS/dependabot/gradle/kotlin_version…

Merge pull request #91 from VerifAPS/dependabot/gradle/kotlin_version… #37

GitHub Actions / Qodana Community for JVM completed Nov 27, 2023 in 0s

1978 new problems found by Qodana Community for JVM

Qodana Community for JVM

1978 new problems were found

Inspection name Severity Problems
Unused symbol 🔶 Warning 373
Usage of redundant or deprecated syntax or deprecated symbols 🔶 Warning 198
Constant conditions 🔶 Warning 162
Unused import directive 🔶 Warning 54
Redundant nullable return type 🔶 Warning 46
Redundant semicolon 🔶 Warning 34
Redundant qualifier name 🔶 Warning 30
Return or assignment can be lifted out 🔶 Warning 28
'catch' block may ignore exception 🔶 Warning 16
Redundant visibility modifier 🔶 Warning 16
Constructor parameter is never used as a property 🔶 Warning 8
Redundant modality modifier 🔶 Warning 6
Unresolved reference in KDoc 🔶 Warning 5
Leaking 'this' in constructor 🔶 Warning 4
Control flow with empty body 🔶 Warning 3
Delegating to 'var' property 🔶 Warning 3
Serializable object must implement 'readResolve' 🔶 Warning 2
Recursive property accessor 🔶 Warning 2
Unused assignment 🔶 Warning 2
Kotlin Gradle and IDE plugins versions are different 🔶 Warning 1
Single character alternation 🔶 Warning 1
Unused equals expression 🔶 Warning 1
Class member can have 'private' visibility ◽️ Notice 563
Function or property has platform type ◽️ Notice 64
Java methods should be replaced with Kotlin analog ◽️ Notice 39
Nested lambda has shadowed implicit parameter ◽️ Notice 38
Might be 'const' ◽️ Notice 36
Property naming convention ◽️ Notice 31
Local variable naming convention ◽️ Notice 25
Unnecessary local variable ◽️ Notice 24
'protected' visibility is effectively 'private' in a final class ◽️ Notice 22
Library function call could be simplified ◽️ Notice 17
Java Map.forEach method call should be replaced with Kotlin's forEach ◽️ Notice 16
Call chain on collection type can be simplified ◽️ Notice 16
Variable declaration could be moved inside 'when' ◽️ Notice 13
Redundant curly braces in string template ◽️ Notice 12
Argument could be converted to 'Set' to improve performance ◽️ Notice 10
Lambda argument inside parentheses ◽️ Notice 10
Class naming convention ◽️ Notice 8
Convert 'object' to 'data object' ◽️ Notice 7
Replace empty class body ◽️ Notice 7
String concatenation that can be converted to string template ◽️ Notice 4
Constant conditions ◽️ Notice 4
Leaking 'this' in constructor ◽️ Notice 3
Range can be converted to indices or iteration ◽️ Notice 3
Package name does not match containing directory ◽️ Notice 2
Replace 'mapIndexed' with List generator ◽️ Notice 2
'map.put()' can be converted to assignment ◽️ Notice 2
Verbose nullability and emptiness check ◽️ Notice 2
'copy' method of data class is called without named arguments ◽️ Notice 1
@Deprecated annotation without 'replaceWith' argument ◽️ Notice 1
Iterated elements are not used in forEach ◽️ 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 warning on line 42 in lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/MultiDimArrayValue.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 10 in xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/SFCFactory.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 22 in absintsfc/src/main/kotlin/AbstractInterpretationSfc.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 19 in lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ResolveDataTypes.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 66 in lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.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 229 in exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.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 22 in absintsfc/src/main/kotlin/AbstractInterpretationSfc.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 72 in geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/miter.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 notice on line 171 in lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt

See this annotation in the file changed.

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

Class naming convention 

Class name `TIME_OF_DAY` should not contain underscores

Check notice on line 382 in lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt

See this annotation in the file changed.

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

Class naming convention 

Class name `EMPTY_EXPRESSION` should not contain underscores

Check notice on line 42 in geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/model/options/TableOptions.kt

See this annotation in the file changed.

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

Class naming convention 

Class name `strConverter` should start with an uppercase letter

Check notice on line 541 in lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt

See this annotation in the file changed.

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

Class naming convention 

Class name `ANY_INT` should not contain underscores

Check notice on line 47 in geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/model/options/TableOptions.kt

See this annotation in the file changed.

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

Class naming convention 

Class name `booleanConverter` should start with an uppercase letter

Check notice on line 18 in exec/src/main/kotlin/edu/kit/iti/formal/automation/SC11_rev.kt

See this annotation in the file changed.

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

Class naming convention 

Class name `SC11_rev` should not contain underscores

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

See this annotation in the file changed.

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

Class naming convention 

Class name `map` should start with an uppercase letter

Check notice on line 183 in lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt

See this annotation in the file changed.

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

Class naming convention 

Class name `DATE_AND_TIME` should not contain underscores

Check warning on line 162 in lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/checks.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 34 in lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/RecordValue.kt

See this annotation in the file changed.

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

Control flow with empty body 

'for' has empty body

Check warning on line 621 in lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.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 notice on line 223 in symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/CallEmbedding.kt

See this annotation in the file changed.

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

Argument could be converted to 'Set' to improve performance 

The argument can be converted to 'Set' to improve performance

Check notice on line 61 in symbex/src/main/kotlin/edu/kit/iti/formal/automation/blocks/structs.kt

See this annotation in the file changed.

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

Argument could be converted to 'Set' to improve performance 

The argument can be converted to 'Set' to improve performance

Check notice on line 54 in symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/StructEmbedding.kt

See this annotation in the file changed.

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

Argument could be converted to 'Set' to improve performance 

The argument can be converted to 'Set' to improve performance

Check notice on line 342 in geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt

See this annotation in the file changed.

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

Argument could be converted to 'Set' to improve performance 

The argument can be converted to 'Set' to improve performance

Check notice on line 169 in symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/ModuleBuilder.kt

See this annotation in the file changed.

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

Argument could be converted to 'Set' to improve performance 

The argument can be converted to 'Set' to improve performance

Check notice on line 48 in symbex/src/main/kotlin/edu/kit/iti/formal/automation/blocks/structs.kt

See this annotation in the file changed.

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

Argument could be converted to 'Set' to improve performance 

The argument can be converted to 'Set' to improve performance
View more details on GitHub Actions