Java CI with Gradle

Merge pull request #80 from VerifAPS/dependabot/gradle/org.jetbrains.… #134

Triggered via push November 6, 2023 12:11

wadoon

pushed d224b46

master

Status Failure

Total duration 4m 4s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

gradle.yml

on: push

build

3m 53s

Annotations

1 error, 488 warnings, and 511 notices

build

Gradle build failed: see console output for details

build

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build

Constructor parameter is never used as a property: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/MultiDimArrayValue.kt#L42

Constructor parameter is never used as a property

Constructor parameter is never used as a property: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/SFCFactory.kt#L10

Constructor parameter is never used as a property

Constructor parameter is never used as a property: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L22

Constructor parameter is never used as a property

Constructor parameter is never used as a property: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ResolveDataTypes.kt#L19

Constructor parameter is never used as a property

Constructor parameter is never used as a property: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L66

Constructor parameter is never used as a property

Constructor parameter is never used as a property: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L229

Constructor parameter is never used as a property

Constructor parameter is never used as a property: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L22

Constructor parameter is never used as a property

Constructor parameter is never used as a property: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/miter.kt#L72

Constructor parameter is never used as a property

Control flow with empty body: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/checks.kt#L162

'if' has empty body

Control flow with empty body: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/RecordValue.kt#L34

'for' has empty body

Control flow with empty body: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L621

'if' has empty body

Delegating to 'var' property: util/src/main/kotlin/edu/kit/iti/formal/util/SemanticCodeWriter.kt#L19

Delegating to 'var' property does not take its changes into account

Delegating to 'var' property: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L132

Delegating to 'var' property does not take its changes into account

Delegating to 'var' property: util/src/main/kotlin/edu/kit/iti/formal/util/CodeWriter.kt#L12

Delegating to 'var' property does not take its changes into account

Kotlin Gradle and IDE plugins versions are different: .trash/asdl/build.gradle#L8

Kotlin version that is used for building with Gradle (1.3.61) is not properly supported in the IDE plugin (1.9)

Serializable object must implement 'readResolve': lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L382

Serializable object must implement 'readResolve'

Serializable object must implement 'readResolve': ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/overview.kt#L58

Serializable object must implement 'readResolve'

Unresolved reference in KDoc: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L194

Cannot resolve symbol 'RvtApp'

Unresolved reference in KDoc: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/overview.kt#L133

Cannot resolve symbol 'g'

Unresolved reference in KDoc: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L660

Cannot resolve symbol 'unit'

Unresolved reference in KDoc: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L303

Cannot resolve symbol 'iActStep'

Unresolved reference in KDoc: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L659

Cannot resolve symbol 'value'

'catch' block may ignore exception: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L223

Empty catch block

'catch' block may ignore exception: smt/src/main/kotlin/solver.kt#L147

Empty catch block

'catch' block may ignore exception: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L144

Empty catch block

'catch' block may ignore exception: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TblLanguageToSmv.kt#L232

Empty catch block

'catch' block may ignore exception: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/CallEmbedding.kt#L50

Empty catch block

'catch' block may ignore exception: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/SFCResetReplacer.kt#L55

Empty catch block

'catch' block may ignore exception: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/RefTo.kt#L61

Empty catch block

'catch' block may ignore exception: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L141

Empty catch block

'catch' block may ignore exception: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/st.kt#L176

Empty catch block

'catch' block may ignore exception: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L325

Empty catch block

'catch' block may ignore exception: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ResolveDataTypes.kt#L99

Empty catch block

'catch' block may ignore exception: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L271

Empty catch block

'catch' block may ignore exception: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/ttpreview.kt#L149

Empty catch block

'catch' block may ignore exception: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ResolveDataTypes.kt#L157

Empty catch block

'catch' block may ignore exception: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ResolveDataTypes.kt#L101

Empty catch block

'catch' block may ignore exception: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L224

Empty catch block

Constant conditions: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L251

Condition 'inComment' is always false

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L86

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L918

Condition 'ctx.integer() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L65

Value of 'l.accept(this) as? PouElement' is always null

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/html.kt#L172

Condition 'ctx.EQUALS() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L328

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1203

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1119

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1140

Value of 'ctx.ilOperand()?.accept(this) as? IlOperand' is always null

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L94

Condition 'ctx.pragma() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L77

Condition 'ctx.pragma() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1147

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L898

Condition 'ctx.elselist != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L317

Cast will always fail

Constant conditions: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L258

Condition '!inComment \&\& token.type == TestTableLanguageLexer.COMMENT' is always false

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L594

Cast will always fail

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L287

Condition 'it.id == ctx.rowId.text' is always false

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L39

Condition 'it.id != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L937

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L311

Cast will always fail

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/latex.kt#L243

'when' branch is never reachable

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L178

Condition 'ctx.WSTRING_LITERAL() != null' is always true

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L97

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L800

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1152

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L512

Condition 'ctx.VAR_INPUT() != null' is always true

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L281

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L909

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L886

Condition 'ctx.ELSE() != null' is always true

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L252

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L176

Condition 'ctx.STRING_LITERAL() != null' is always true

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L232

Condition 'ctx.time() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L66

Condition 'accept != null' is always false

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L83

Cast will always fail

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L75

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L976

'when' branch is never reachable

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TblLanguageToSmv.kt#L194

Condition 'isReference' is always true

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L67

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L919

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L880

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L216

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L79

Cast will always fail

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/monitor.kt#L113

'when' branch is never reachable

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L144

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L611

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L867

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L419

Cast will always fail

Constant conditions: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L258

Condition '!inComment \&\& token.type == TestTableLanguageLexer.COMMENT \&\& token.text == "/\*"' is always false

Constant conditions: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L143

'when' branch is never reachable

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L977

'when' branch is never reachable

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/IEC61131Facade.kt#L61

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L713

Cast will always fail

Constant conditions: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L275

Condition 'open' is always false

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1186

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L899

Cast will always fail

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/SMVFacade.kt#L100

Cast will always fail

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L213

Cast will always fail

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L202

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L765

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L515

Condition 'ctx.VAR_OUTPUT() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L787

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L619

Condition 'ctx.access_specifier() != null' is always true

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TblLanguageToSmv.kt#L189

Condition 'isReference' is always true

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L137

Cast will always fail

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L122

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L369

Cast will always fail

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L154

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1202

Condition 'ctx.ASSIGN() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L408

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L341

Condition 'ctx.non_generic_type_name() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L537

Condition 'ctx.access_specifier() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L623

Condition 'ctx.ABSTRACT() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L466

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1185

Condition 'ctx.constant() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L368

Condition 'ctx.integer() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1055

Condition 'null != ctx.actionQualifier().expression()' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L638

Cast will always fail

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L397

'when' branch is never reachable

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L137

Condition 'ctx.MINUS() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L521

Condition 'ctx.VAR_EXTERNAL() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1168

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L266

Condition 'ctx.initializations() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L626

Condition 'ctx.returnET != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L820

Cast will always fail

Constant conditions: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/ttpreview.kt#L64

'when' branch is never reachable

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L622

Condition 'ctx.FINAL() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L518

Condition 'ctx.VAR_IN_OUT() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/IEC61131Facade.kt#L330

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L110

Condition 'it.ASSIGN() == null' is always false

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L819

Condition 'ctx.DOT() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L624

Condition 'ctx.OVERRIDE() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L584

Condition 'ctx.sp != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L548

Cast will always fail

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TblLanguageToSmv.kt#L185

Condition 'ctx.RBRACKET() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L96

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L524

Condition 'ctx.VAR_GLOBAL() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L865

Condition 'ctx.ARROW_RIGHT() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L854

Cast will always fail

Constant conditions: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L233

'when' branch is never reachable

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/latex.kt#L241

'when' branch is never reachable

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L395

'when' branch is never reachable

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1158

Cast will always fail

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L274

Cast will always fail

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L147

Condition 'null != vdm' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L327

Condition 'ctx.integer(i) != null' is always true

Constant conditions: smt/src/main/kotlin/sexpr.kt#L26

Cast will always fail

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L238

Condition 'tn != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1141

Value of 'ctx.ilSInstrList()?.accept(this) as? IlBody' is always null

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1025

Condition 'ctx.startlbl != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L758

Cast will always fail

Constant conditions: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L261

Condition 'token.type == TestTableLanguageLexer.RBRACE' is always false

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/IEC61131Facade.kt#L70

Cast will always fail

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L260

Condition 'id != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L959

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1056

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L479

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L978

'when' branch is never reachable

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L435

Cast will always fail

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L369

Condition 'flags.PFLAG() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1200

Condition 'ctx.NOT() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L951

Cast will always fail

Constant conditions: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L258

Condition 'token.type == TestTableLanguageLexer.COMMENT' is always false when reached

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L160

Condition 'ctx.moduleType() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L528

Condition 'ctx.CONSTANT() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L915

Condition 'ctx.IDENTIFIER() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L348

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/IEC61131Facade.kt#L42

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L532

Condition 'ctx.RETAIN() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L672

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L887

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1094

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L418

Condition 'ctx.integer() != null' is always true

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/latex.kt#L242

'when' branch is never reachable

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L267

Cast will always fail

Constant conditions: exec/src/main/kotlin/edu/kit/iti/formal/automation/Flycheck.kt#L146

Cast will always fail

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/GetetaFacade.kt#L89

'when' branch is never reachable

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L295

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1012

Cast will always fail

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L228

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L653

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1200

Condition 'ctx.ASSIGN() != null' is always true

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L62

Condition 'it.name == name' is always false

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1136

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L972

Cast will always fail

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L370

Condition 'flags.INPUT() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1011

Condition 'ctx.body().stBody() != null' is always true

Constant conditions: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L258

Condition '!inComment' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L936

Condition 'ctx.by != null' is always true

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L297

Condition 'ctx.MISS() != null' is always true

Constant conditions: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L262

Condition 'token.type == TestTableLanguageLexer.LBRACE' is always false

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1083

Condition 'ctx.id != null' is always true

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L286

Cast will always fail

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L401

Cast will always fail

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L42

Cast will always fail

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L113

Cast will always fail

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L352

Condition 'ctx.INTEGER() != null' is always true

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L219

Condition 'it.id != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1086

Condition 'ctx.INTEGER_LITERAL() != null' is always true

Constant conditions: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L264

Condition 'close' is always false

Constant conditions: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L207

Condition 'ctx.unaryop != null' is always true

Constant conditions: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/latex.kt#L316

Condition 'ctx.RBRACKET() != null' is always true

Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L509

Condition 'ctx.VAR() != null' is always true

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/builtin/BuiltinLoader.kt#L52

Unnecessary non-null assertion (!!) on a non-null receiver of type Class

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/TranslationSfcToStPipeline.kt#L544

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/WriteBeforeReadIdentifier.kt#L187

Unnecessary non-null assertion (!!) on a non-null receiver of type StatementList

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TblLanguageToSmv.kt#L197

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L228

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1014

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/SfcElementAccess.kt#L223

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

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/visitors.kt#L276

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L114

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L559

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L951

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/HccPrinter.kt#L277

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L627

Unnecessary non-null assertion (!!) on a non-null receiver of type Double

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/reteta.kt#L129

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

Usage of redundant or deprecated syntax or deprecated symbols: run/src/main/kotlin/edu/kit/iti/formal/automation/run/Runtime.kt#L209

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L207

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ArrayEmbedder.kt#L172

Unnecessary safe call on a non-null receiver of type SymbolicReference

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L548

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/experimental/java.kt#L267

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L18

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L899

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L316

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1012

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/WriteBeforeReadIdentifier.kt#L175

Unnecessary non-null assertion (!!) on a non-null receiver of type Expression

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/model/GeneralizedTestTable.kt#L279

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

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L960

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/visitors.kt#L275

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1174

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/cpp/translatecpp.kt#L487

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/model/GeneralizedTestTable.kt#L441

'sumBy((T) -\> Int): Int' is deprecated. Use sumOf instead.

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/GetetaFacade.kt#L111

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

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/visitors.kt#L277

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L472

Unnecessary safe call on a non-null receiver of type ValueColumn

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/WriteBeforeReadIdentifier.kt#L209

Unnecessary non-null assertion (!!) on a non-null receiver of type WriteBeforeReadIdentifier.WBRState

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L656

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/translators/TableDataTypeTranslator.kt#L52

Unnecessary non-null assertion (!!) on a non-null receiver of type SMVType

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/StructuredTextPrinter.kt#L203

Unnecessary non-null assertion (!!) on a non-null receiver of type StatementList

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/WriteBeforeReadIdentifier.kt#L133

Unnecessary non-null assertion (!!) on a non-null receiver of type WriteBeforeReadIdentifier.WBRState

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L344

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/miter.kt#L258

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L192

Unnecessary non-null assertion (!!) on a non-null receiver of type String

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L567

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cppmonitor.kt#L121

'capitalize(): String' is deprecated. Use replaceFirstChar instead.

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/types.kt#L85

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L20

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L364

Unnecessary non-null assertion (!!) on a non-null receiver of type FunctionBlockDeclaration

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L286

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/experimental/java.kt#L162

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L466

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/checks.kt#L26

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L341

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/miter.kt#L310

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/WriteBeforeReadIdentifier.kt#L98

Unnecessary non-null assertion (!!) on a non-null receiver of type WriteBeforeReadIdentifier.WBRState

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/sfclang/SFC2ST.kt#L90

Unnecessary non-null assertion (!!) on a non-null receiver of type SFCNetwork

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ExpressionReplacer.kt#L49

Unnecessary non-null assertion (!!) on a non-null receiver of type Any

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/geteta.kt#L327

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

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L972

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/StructuredTextPrinter.kt#L615

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L610

Unnecessary non-null assertion (!!) on a non-null receiver of type Int

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L569

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/StructuredTextPrinter.kt#L230

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/monitor.kt#L42

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L417

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/RewriteEnums.kt#L37

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/checks.kt#L26

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L952

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cmonitor.kt#L38

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/DefaultInitValue.kt#L62

Unnecessary non-null assertion (!!) on a non-null receiver of type String

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L765

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L887

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L869

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/visitors.kt#L278

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L937

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L407

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L69

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L901

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/experimental/java.kt#L241

Unnecessary safe call on a non-null receiver of type StatementList

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/miter.kt#L264

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L332

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/operators/Operators.kt#L88

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1094

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L79

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ExpressionReplacer.kt#L55

Unnecessary non-null assertion (!!) on a non-null receiver of type Any

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/StructuredTextPrinter.kt#L201

Unnecessary non-null assertion (!!) on a non-null receiver of type StatementList

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/SMVFacade.kt#L100

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L940

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/sfclang/DotPrinter.kt#L77

Unnecessary non-null assertion (!!) on a non-null receiver of type MutableSet

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/text.kt#L267

'sumBy((T) -\> Int): Int' is deprecated. Use sumOf instead.

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cppmonitor.kt#L129

'capitalize(): String' is deprecated. Use replaceFirstChar instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/sfclang/SFC2ST.kt#L92

Unnecessary non-null assertion (!!) on a non-null receiver of type Scope

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L909

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L628

Unnecessary non-null assertion (!!) on a non-null receiver of type Double

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/sfclang/SFC2ST.kt#L153

Unnecessary non-null assertion (!!) on a non-null receiver of type MutableSet

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/RewriteEnums.kt#L33

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/builtin/BuiltinLoader.kt#L43

Unnecessary non-null assertion (!!) on a non-null receiver of type Class

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L49

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/Value.kt#L114

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L311

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/ECoreXMLGenerator.kt#L84

Unnecessary non-null assertion (!!) on a non-null receiver of type Class

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/FunctionBlockEmbedder.kt#L51

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

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/AstVisitor.kt#L188

Unnecessary non-null assertion (!!) on a non-null receiver of type StatementList

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L163

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cmonitor.kt#L37

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/print.kt#L32

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ArrayEmbedder.kt#L104

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/exception/SpecificationInterfaceMisMatchException.kt#L71

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L941

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/TypeDeclarationToDataType.kt#L57

Unnecessary non-null assertion (!!) on a non-null receiver of type AnyDt

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L942

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/synthesis.kt#L68

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L653

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/TimeofDayData.kt#L42

Unnecessary non-null assertion (!!) on a non-null receiver of type String

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L202

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L171

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/WriteBeforeReadIdentifier.kt#L183

Unnecessary non-null assertion (!!) on a non-null receiver of type WriteBeforeReadIdentifier.WBRState

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/sfclang/SFC2ST.kt#L212

Unnecessary non-null assertion (!!) on a non-null receiver of type SFCNetwork

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/IEC61131Facade.kt#L330

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/WriteBeforeReadIdentifier.kt#L188

Unnecessary safe call on a non-null receiver of type StatementList

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/RewriteEnums.kt#L21

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ExpressionReplacer.kt#L59

Unnecessary non-null assertion (!!) on a non-null receiver of type StatementList

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L641

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1170

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/sfclang/SFC2ST.kt#L139

Unnecessary non-null assertion (!!) on a non-null receiver of type Scope

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L435

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/sfclang/SFC2ST.kt#L106

Unnecessary non-null assertion (!!) on a non-null receiver of type SFCNetwork

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/blocks/ssa.kt#L157

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: util/src/main/kotlin/edu/kit/iti/formal/util/CodeWriter.kt#L42

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L204

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/WriteBeforeReadIdentifier.kt#L109

Unnecessary non-null assertion (!!) on a non-null receiver of type Expression

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1016

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L90

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L405

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1177

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L573

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cppmonitor.kt#L61

'capitalize(): String' is deprecated. Use replaceFirstChar instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L455

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: run/src/main/kotlin/edu/kit/iti/formal/automation/run/ExpressionVisitor.kt#L72

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/sfclang/SFC2ST.kt#L131

Unnecessary non-null assertion (!!) on a non-null receiver of type Scope

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L820

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/experimental/java.kt#L153

Unnecessary safe call on a non-null receiver of type StatementList

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L825

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ExpressionReplacer.kt#L43

Unnecessary non-null assertion (!!) on a non-null receiver of type Any

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L105

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/text.kt#L250

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

Usage of redundant or deprecated syntax or deprecated symbols: run/src/main/kotlin/edu/kit/iti/formal/automation/run/ExpressionVisitor.kt#L73

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L161

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L959

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L218

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L364

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L662

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/sfclang/DotPrinter.kt#L76

Unnecessary non-null assertion (!!) on a non-null receiver of type MutableSet

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/exception/SpecificationInterfaceMisMatchException.kt#L82

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/cpp/translatecpp.kt#L299

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/parser/SMVTransformToAST.kt#L295

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/sfclang/SFC2ST.kt#L210

Unnecessary non-null assertion (!!) on a non-null receiver of type String

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/operators/Operators.kt#L85

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L867

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/miter.kt#L394

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L477

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ArrayEmbedder.kt#L103

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/SFCResetReplacer.kt#L44

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L167

'toInt(): Int' is deprecated. Conversion of Char to Number is deprecated. Use Char.code property instead.

Usage of redundant or deprecated syntax or deprecated symbols: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L211

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: smv/src/main/kotlin/edu/kit/iti/formal/smv/visitors.kt#L279

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L1619

Unnecessary safe call on a non-null receiver of type Token?

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L86

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: util/src/main/kotlin/edu/kit/iti/formal/util/CodeWriter.kt#L42

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L615

Unnecessary non-null assertion (!!) on a non-null receiver of type Double

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1153

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/IECXMLFacade.kt#L36

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L658

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L638

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L571

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1159

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cmonitor.kt#L77

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/WriteBeforeReadIdentifier.kt#L110

Unnecessary non-null assertion (!!) on a non-null receiver of type WriteBeforeReadIdentifier.WBRState

Usage of redundant or deprecated syntax or deprecated symbols: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/utils.kt#L89

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/HccPrinter.kt#L248

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/miter.kt#L55

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1119

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L610

Unnecessary non-null assertion (!!) on a non-null receiver of type Int

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1018

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L442

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: run/src/main/kotlin/edu/kit/iti/formal/automation/run/ExpressionVisitor.kt#L21

Unnecessary non-null assertion (!!) on a non-null receiver of type EValue /\* = Value\<\*, \*\> \*/

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/HccPrinter.kt#L172

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L408

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L177

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

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L660

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L615

Unnecessary non-null assertion (!!) on a non-null receiver of type Double

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/experimental/java.kt#L393

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L594

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L419

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L800

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L611

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: symbex/src/main/kotlin/edu/kit/iti/formal/automation/cpp/translatecpp.kt#L486

'toUpperCase(): String' is deprecated. Use uppercase() instead.

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L96

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L1203

No cast needed

Usage of redundant or deprecated syntax or deprecated symbols: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cppmonitor.kt#L438

'toLowerCase(): String' is deprecated. Use lowercase() instead.

Unused import directive: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/utils.kt#L5

Unused import directive

Unused import directive: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/DSLTablePrinter.kt#L11

Unused import directive

Unused import directive: exec/src/main/kotlin/edu/kit/iti/formal/automation/LinReReve.kt#L5

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/EffectiveSubtypeScope.kt#L7

Unused import directive

Unused import directive: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/stmonitor.kt#L16

Unused import directive

Unused import directive: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/utils.kt#L3

Unused import directive

Unused import directive: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/DSLTablePrinter.kt#L8

Unused import directive

Unused import directive: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/problems.kt#L7

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/EffectiveSubtypeScope.kt#L4

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/ReferenceValue.kt#L27

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/EffectiveSubtypeScope.kt#L8

Unused import directive

Unused import directive: util/src/main/kotlin/edu/kit/iti/formal/util/Console.kt#L4

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/EffectiveSubtypeScope.kt#L10

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/StructuredTextHtmlPrinter.kt#L3

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/StructuredTextHtmlPrinter.kt#L4

Unused import directive

Unused import directive: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/DSLTablePrinter.kt#L6

Unused import directive

Unused import directive: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/modularization.kt#L18

Unused import directive

Unused import directive: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ConstantEmbedding.kt#L7

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/StructuredTextHtmlPrinter.kt#L6

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/StructuredTextHtmlPrinter.kt#L5

Unused import directive

Unused import directive: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L13

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/StructuredTextPrinter.kt#L3

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/ReferenceValue.kt#L29

Unused import directive

Unused import directive: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/DSLTablePrinter.kt#L7

Unused import directive

Unused import directive: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/ModuleBuilder.kt#L37

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/ReferenceValue.kt#L25

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/ReferenceValue.kt#L26

Unused import directive

Unused import directive: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/stmonitor.kt#L17

Unused import directive

Unused import directive: smv/src/main/kotlin/edu/kit/iti/formal/smv/SMVPrinter.kt#L9

Unused import directive

Unused import directive: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ConstantEmbedding.kt#L5

Unused import directive

Unused import directive: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L12

Unused import directive

Unused import directive: exec/src/main/kotlin/edu/kit/iti/formal/automation/LinReReve.kt#L4

Unused import directive

Unused import directive: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/base.kt#L37

Unused import directive

Unused import directive: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/translators/DefaultOperationMap.kt#L31

Unused import directive

Unused import directive: exec/src/main/kotlin/edu/kit/iti/formal/automation/LinReReve.kt#L6

Unused import directive

Unused import directive: run/src/main/kotlin/edu/kit/iti/formal/automation/run/IecRunFascade.kt#L17

Unused import directive

Unused import directive: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ConstantEmbedding.kt#L4

Unused import directive

Unused import directive: symbex/src/main/kotlin/edu/kit/iti/formal/automation/blocks/ssa.kt#L7

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/EffectiveSubtypeScope.kt#L5

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/ReferenceValue.kt#L28

Unused import directive

Unused import directive: xml/src/main/kotlin/fbd.kt#L14

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/StructuredTextHtmlPrinter.kt#L8

Unused import directive

Unused import directive: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/DSLTablePrinter.kt#L9

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/EffectiveSubtypeScope.kt#L3

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/ReferenceValue.kt#L31

Unused import directive

Unused import directive: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/automatonpipeline.kt#L10

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/StructuredTextHtmlPrinter.kt#L7

Unused import directive

Unused import directive: exec/src/main/kotlin/edu/kit/iti/formal/automation/SC11_rev.kt#L7

Unused import directive

Unused import directive: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ConstantEmbedding.kt#L6

Unused import directive

Unused import directive: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ConstantEmbedding.kt#L3

Unused import directive

Unused import directive: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L24

Unused import directive

Unused import directive: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/EffectiveSubtypeScope.kt#L6

Unused import directive

Unused import directive: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L12

Unused import directive

Unused import directive: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/ModuleBuilder.kt#L34

Unused import directive

Leaking 'this' in constructor: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L31

Calling non-final function setLocation in constructor

Leaking 'this' in constructor: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L455

Accessing non-final property name in constructor

Leaking 'this' in constructor: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L20

Accessing non-final property name in constructor

Leaking 'this' in constructor: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L1552

Calling non-final function addAll in constructor

Return or assignment can be lifted out: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ArrayEmbedder.kt#L201

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TblLanguageToSmv.kt#L52

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/AutomatonDrawer.kt#L151

'Return' can be lifted out of 'try'

Return or assignment can be lifted out: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/translators/TableDataTypeTranslator.kt#L63

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: util/src/main/kotlin/edu/kit/iti/formal/util/fuzzystring.kt#L115

'Assignment' can be lifted out of 'if'

Return or assignment can be lifted out: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/Reals.kt#L40

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/IntegerExpressionEvaluator.kt#L80

'Return' can be lifted out of 'try'

Return or assignment can be lifted out: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L249

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TblLanguageToSmv.kt#L48

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/miter.kt#L447

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/utils.kt#L223

'Return' can be lifted out of 'try'

Return or assignment can be lifted out: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L150

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L1427

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ArrayEmbedder.kt#L134

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L514

'Assignment' can be lifted out of 'if'

Return or assignment can be lifted out: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L285

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/ExpressionEmbedder.kt#L49

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L1698

'Return' can be lifted out of 'try'

Return or assignment can be lifted out: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L101

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L467

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/AutomatonDrawer.kt#L141

'Return' can be lifted out of 'try'

Return or assignment can be lifted out: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L182

'Assignment' can be lifted out of 'if'

Return or assignment can be lifted out: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/utils.kt#L225

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L2059

'Return' can be lifted out of 'if'

Return or assignment can be lifted out: run/src/main/kotlin/edu/kit/iti/formal/automation/run/State.kt#L21

'Return' can be lifted out of 'try'

Return or assignment can be lifted out: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/TranslationSfcToStPipeline.kt#L295

'Assignment' can be lifted out of 'if'

Return or assignment can be lifted out: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/TimeData.kt#L70

'Return' can be lifted out of 'when'

Return or assignment can be lifted out: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/latex.kt#L240

'Return' can be lifted out of 'when'

Class naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L171

Class name `TIME_OF_DAY` should not contain underscores

Class naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L382

Class name `EMPTY_EXPRESSION` should not contain underscores

Class naming convention: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/model/options/TableOptions.kt#L42

Class name `strConverter` should start with an uppercase letter

Class naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L541

Class name `ANY_INT` should not contain underscores

Class naming convention: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/model/options/TableOptions.kt#L47

Class name `booleanConverter` should start with an uppercase letter

Class naming convention: exec/src/main/kotlin/edu/kit/iti/formal/automation/SC11_rev.kt#L18

Class name `SC11_rev` should not contain underscores

Class naming convention: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/utils.kt#L47

Class name `map` should start with an uppercase letter

Class naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L183

Class name `DATE_AND_TIME` should not contain underscores

Argument could be converted to 'Set' to improve performance: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/CallEmbedding.kt#L223

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

Argument could be converted to 'Set' to improve performance: symbex/src/main/kotlin/edu/kit/iti/formal/automation/blocks/structs.kt#L61

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

Argument could be converted to 'Set' to improve performance: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/StructEmbedding.kt#L54

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

Argument could be converted to 'Set' to improve performance: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L342

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

Argument could be converted to 'Set' to improve performance: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/ModuleBuilder.kt#L169

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

Argument could be converted to 'Set' to improve performance: symbex/src/main/kotlin/edu/kit/iti/formal/automation/blocks/structs.kt#L48

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

Argument could be converted to 'Set' to improve performance: symbex/src/main/kotlin/edu/kit/iti/formal/automation/blocks/analyze.kt#L134

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

Argument could be converted to 'Set' to improve performance: symbex/src/main/kotlin/edu/kit/iti/formal/automation/blocks/structs.kt#L42

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

Argument could be converted to 'Set' to improve performance: symbex/src/main/kotlin/edu/kit/iti/formal/automation/blocks/analyze.kt#L86

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

Argument could be converted to 'Set' to improve performance: symbex/src/main/kotlin/edu/kit/iti/formal/automation/blocks/structs.kt#L62

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

Convert 'object' to 'data object': smt/src/main/kotlin/type.kt#L23

'sealed' sub-object can be converted to 'data object'

Convert 'object' to 'data object': geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/model/GeneralizedTestTable.kt#L335

'sealed' sub-object can be converted to 'data object'

Convert 'object' to 'data object': lang/src/main/kotlin/edu/kit/iti/formal/automation/st/TranslationSfcToStPipeline.kt#L65

'sealed' sub-object can be converted to 'data object'

Convert 'object' to 'data object': smt/src/main/kotlin/type.kt#L27

'sealed' sub-object can be converted to 'data object'

Convert 'object' to 'data object': xml/src/main/kotlin/fbd.kt#L211

'sealed' sub-object can be converted to 'data object'

Convert 'object' to 'data object': smt/src/main/kotlin/type.kt#L31

'sealed' sub-object can be converted to 'data object'

Convert 'object' to 'data object': smv/src/main/kotlin/edu/kit/iti/formal/smv/mc.kt#L171

'sealed' sub-object can be converted to 'data object'

String concatenation that can be converted to string template: lang/src/main/kotlin/edu/kit/iti/formal/automation/NiceErrorListener.kt#L37

'String' concatenation can be converted to a template

String concatenation that can be converted to string template: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/utils.kt#L145

'String' concatenation can be converted to a template

String concatenation that can be converted to string template: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L733

'String' concatenation can be converted to a template

String concatenation that can be converted to string template: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/strategy.kt#L787

'String' concatenation can be converted to a template

'copy' method of data class is called without named arguments: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L346

Parameter names should be specified explicitly for the 'copy()' method call

@Deprecated annotation without 'replaceWith' argument: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/LanguageSupport.kt#L104

'@deprecated' annotation without a 'replaceWith' argument

Iterated elements are not used in forEach: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L60

Loop parameter 'it' is unused

Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services/recentfiles.kt#L79