Skip to content
CodeQuality

Ncore taclets #110

Sign in to view logs

Ncore taclets

Ncore taclets #110

Triggered via pull request January 16, 2025 11:20
@unp1unp1
synchronize #15
ncore-taclets
Status Failure
Total duration 7m 37s
Artifacts –

code_quality.yml

on: pull_request
checkerFramework
1m 6s
checkerFramework
qodana
7m 25s
qodana
formatting
49s
formatting
checkstyle_new
1m 35s
checkstyle_new
pmd
1m 26s
pmd
Fit to window
Zoom out
Zoom in

Annotations

1 error, 15 warnings, and 10 notices
checkerFramework
Process completed with exit code 1.
formatting
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
checkerFramework
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
pmd
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
checkstyle_new
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
qodana
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Abstract class which has no concrete subclass: keyext.rusty/src/main/java/org/key_project/rusty/ast/visitor/CreatingASTVisitor.java#L180
Abstract class `DefaultAction` has no concrete subclass
Abstract class which has no concrete subclass: keyext.rusty/src/main/java/org/key_project/rusty/control/AbstractUserInterfaceControl.java#L21
Abstract class `AbstractUserInterfaceControl` has no concrete subclass
Abstract class which has no concrete subclass: keyext.rusty/src/main/java/org/key_project/rusty/logic/VariableNamer.java#L16
Abstract class `VariableNamer` has no concrete subclass
Abstract class which has no concrete subclass: key.ncore.calculus/src/main/java/org/key_project/prover/sequent/Sequent.java#L365
Abstract class `NILSequent` has no concrete subclass
Array comparison using '==', instead of 'Arrays.equals()': key.ncore/src/main/java/org/key_project/logic/PosInTerm.java#L244
Array objects are compared using `!=`, not 'Arrays.equals()'
Too weak variable type leads to unnecessary cast: keyext.rusty/src/main/java/org/key_project/rusty/settings/Configuration.java#L254
Cast may be removed by changing the type of 'result' to 'List'
Too weak variable type leads to unnecessary cast: keyext.rusty/src/main/java/org/key_project/rusty/settings/Configuration.java#L276
Cast may be removed by changing the type of 'result' to 'List'
Too weak variable type leads to unnecessary cast: key.core/src/main/java/de/uka/ilkd/key/rule/metaconstruct/arith/Polynomial.java#L249
Cast may be removed by changing the type of 'cTerm' to 'Term'
Cast conflicts with 'instanceof': keyext.rusty/src/main/java/org/key_project/rusty/pp/Notation.java#L330
Cast to 'Term' type conflicts with preceding 'instanceof ImmutableList' check
Catch block may ignore exception: keyext.rusty/src/main/java/org/key_project/rusty/rule/match/instructions/MatchProgramSVInstruction.java#L108
Empty `catch` block
Constant values: keyext.rusty/src/main/java/org/key_project/rusty/ast/Converter.java#L109
Value `ctx` is always 'null'
Constant values: keyext.rusty/src/main/java/org/key_project/rusty/ast/SchemaConverter.java#L419
Value `label` is always 'null'
Constant values: keyext.rusty/src/main/java/org/key_project/rusty/ast/Converter.java#L168
Value `ctx` is always 'null'
Constant values: keyext.rusty/src/main/java/org/key_project/rusty/ast/Converter.java#L107
Value `ctx` is always 'null'
Constant values: keyext.rusty/src/main/java/org/key_project/rusty/ast/SchemaConverter.java#L136
Value `ctx` is always 'null'
Constant values: keyext.rusty/src/main/java/org/key_project/rusty/parser/builder/ProblemFinder.java#L71
Value `value` is always 'null'
Constant values: keyext.rusty/src/main/java/org/key_project/rusty/ast/SchemaConverter.java#L197
Value `ctx` is always 'null'
Constant values: keyext.rusty/src/main/java/org/key_project/rusty/ast/Converter.java#L143
Value `ctx` is always 'null'
Constant values: keyext.rusty/src/main/java/org/key_project/rusty/ast/Converter.java#L105
Value `ctx` is always 'null'
Constant values: keyext.rusty/src/main/java/org/key_project/rusty/ast/SchemaConverter.java#L134
Value `ctx` is always 'null'