Skip to content
Java CI with Gradle

Merge pull request #106 from VerifAPS/dependabot/gradle/org.jetbrains… #186

Sign in to view logs

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

Merge pull request #106 from VerifAPS/dependabot/gradle/org.jetbrains… #186

Triggered via push January 22, 2024 15:48
@wadoonwadoon
pushed 9f7e57b
master
Status Failure
Total duration 3m 16s
Artifacts –

gradle.yml

on: push
build
3m 5s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error, 462 warnings, and 537 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
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
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
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
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
Save Gradle User Home failed in 'beforeSave': Error: ENOENT: no such file or directory, lstat '/home/runner/.gradle/caches/modules-2/files-2.1/org.sonarqube'
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 (2.0)
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
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
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/translators.kt#L32
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L98
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L144
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L95
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L114
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L118
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L757
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L103
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/AutomatonDrawer.kt#L135
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editor.kt#L223
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/strategy.kt#L820
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L370
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/DataTypes.kt#L14
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editor.kt#L224
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L311
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services/recentfiles.kt#L30
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L110
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L289
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L109
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L33
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L90
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/Bits.kt#L72
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L112
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L32
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L1681
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/IntegerExpressionEvaluator.kt#L37
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L101
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L750
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L105
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L107
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L745
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: smv/src/main/kotlin/edu/kit/iti/formal/smv/SMVFacade.kt#L129
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services/config.kt#L62
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: xml/src/main/kotlin/fbd.kt#L47
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/LanguageSupport.kt#L76
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L91
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services/config.kt#L58
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L96
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L104
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L108
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L113
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services/recentfiles.kt#L78
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services/config.kt#L54
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L94
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L100
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L99
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/icons.kt#L1601
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L735
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services/config.kt#L35
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L92
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L339
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L93
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L768
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L31
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L97
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L111
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L128
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: util/src/main/kotlin/edu/kit/iti/formal/util/io.kt#L12
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L747
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L743
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/translators.kt#L29
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L102
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Function or property has platform type: smv/src/main/kotlin/edu/kit/iti/formal/smv/mc.kt#L76
Declaration has type inferred from a platform call, which can lead to unchecked nullability issues. Specify type explicitly as nullable or non-nullable.
Java Map.forEach method call should be replaced with Kotlin's forEach: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/DSLTablePrinter.kt#L103
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/smvpipeline.kt#L274
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cmonitor.kt#L248
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/TranslationSfcToStPipeline.kt#L252
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: util/src/main/kotlin/edu/kit/iti/formal/util/version.kt#L41
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L48
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: symbex/src/main/kotlin/edu/kit/iti/formal/automation/blocks/ssa.kt#L156
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/stmonitor.kt#L105
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L2138
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/latex.kt#L101
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cmonitor.kt#L337
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cmonitor.kt#L314
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/DefaultInitValue.kt#L145
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/stmonitor.kt#L80
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cmonitor.kt#L246
Java Map.forEach method call should be replaced with Kotlin's forEach
Java Map.forEach method call should be replaced with Kotlin's forEach: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/stmonitor.kt#L102
Java Map.forEach method call should be replaced with Kotlin's forEach
Constant conditions: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/SfcElementAccess.kt#L110
Value of 'duration' is always null
Constant conditions: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/strategy.kt#L102
Value of 'equal' is always true
Constant conditions: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/strategy.kt#L231
Value of 'sfEq' is always false
Constant conditions: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L730
Value of 'a' is always null
Leaking 'this' in constructor: smv/src/main/kotlin/edu/kit/iti/formal/smv/visitors.kt#L259
Leaking 'this' in constructor of non-final class ExpressionReplacerRecur
Leaking 'this' in constructor: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/AstVisitor.kt#L766
Leaking 'this' in constructor of non-final class AstVisitor
Leaking 'this' in constructor: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/AstVisitor.kt#L975
Leaking 'this' in constructor of non-final class AstMutableVisitor
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: 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/builder/miter.kt#L447
'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: 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: 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: 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: 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: 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'
Local variable naming convention: run/src/main/kotlin/edu/kit/iti/formal/automation/run/IecRunFascade.kt#L87
Local variable name `State` should start with a lowercase letter
Local variable naming convention: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L241
Local variable name `N` should start with a lowercase letter
Local variable naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/il/transform.kt#L33
Local variable name `C` should start with a lowercase letter
Local variable naming convention: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/exception/SpecificationInterfaceMisMatchException.kt#L118
Local variable name `cost_insert` should not contain underscores
Local variable naming convention: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L264
Local variable name `C` should start with a lowercase letter
Local variable naming convention: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/exception/SpecificationInterfaceMisMatchException.kt#L117
Local variable name `cost_replace` should not contain underscores
Local variable naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/sfclang/SFC2ST.kt#L149
Local variable name `_ifguard` should start with a lowercase letter
Local variable naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/il/transform.kt#L166
Local variable name `N` should start with a lowercase letter
Local variable naming convention: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L241
Local variable name `C` should start with a lowercase letter
Local variable naming convention: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L265
Local variable name `N` should start with a lowercase letter
Local variable naming convention: symbex/src/main/kotlin/edu/kit/iti/formal/automation/blocks/ssa.kt#L38
Local variable name `ERROR_FLAG` should start with a lowercase letter
Local variable naming convention: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/exception/SpecificationInterfaceMisMatchException.kt#L119
Local variable name `cost_delete` should not contain underscores
Local variable naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/il/transform.kt#L218
Local variable name `N` should start with a lowercase letter
Local variable naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/sfclang/SFC2ST.kt#L107
Local variable name `_case` should start with a lowercase letter
Local variable naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/il/transform.kt#L218
Local variable name `C` should start with a lowercase letter
Local variable naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/il/transform.kt#L186
Local variable name `N` should start with a lowercase letter
Local variable naming convention: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/rtt/transformations.kt#L87
Local variable name `_if` should start with a lowercase letter
Local variable naming convention: symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L141
Local variable name `SExpr` should start with a lowercase letter
Local variable naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/il/transform.kt#L33
Local variable name `N` should start with a lowercase letter
Local variable naming convention: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L277
Local variable name `C` should start with a lowercase letter
Local variable naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/il/transform.kt#L178
Local variable name `N` should start with a lowercase letter
Local variable naming convention: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L278
Local variable name `N` should start with a lowercase letter
Local variable naming convention: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L172
Local variable name `N` should start with a lowercase letter
Local variable naming convention: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L191
Local variable name `N` should start with a lowercase letter
Local variable naming convention: lang/src/main/kotlin/edu/kit/iti/formal/automation/il/transform.kt#L166
Local variable name `C` should start with a lowercase letter
Might be 'const': symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/translators/DefaultTypeTranslator.kt#L123
Might be 'const'
Might be 'const': smv/src/main/kotlin/edu/kit/iti/formal/smv/SMVFacade.kt#L41
Might be 'const'
Might be 'const': ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services/config.kt#L33
Might be 'const'
Might be 'const': ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L111
Might be 'const'
Might be 'const': exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L285
Might be 'const'
Might be 'const': symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L178
Might be 'const'
Might be 'const': symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L175
Might be 'const'
Might be 'const': exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L221
Might be 'const'
Might be 'const': lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L145
Might be 'const'
Might be 'const': lang/src/main/kotlin/edu/kit/iti/formal/automation/st/TranslationSfcToStPipeline.kt#L49
Might be 'const'
Might be 'const': symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L180
Might be 'const'
Might be 'const': geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/automatonpipeline.kt#L54
Might be 'const'
Might be 'const': ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/utils.kt#L29
Might be 'const'
Might be 'const': geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/CounterExampleAnalyzer.kt#L79
Might be 'const'
Might be 'const': geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/CounterExampleAnalyzer.kt#L78
Might be 'const'
Might be 'const': util/src/main/kotlin/edu/kit/iti/formal/util/Console.kt#L56
Might be 'const'
Might be 'const': ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/utils.kt#L31
Might be 'const'
Might be 'const': symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L177
Might be 'const'
Might be 'const': symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L174
Might be 'const'
Might be 'const': exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L222
Might be 'const'
Might be 'const': geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/CounterExampleAnalyzer.kt#L80
Might be 'const'
Might be 'const': symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L173
Might be 'const'
Might be 'const': ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/st.kt#L254
Might be 'const'
Might be 'const': exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L286
Might be 'const'
Might be 'const': lang/src/main/kotlin/edu/kit/iti/formal/automation/builtin/BuiltinLoader.kt#L41
Might be 'const'
Might be 'const': geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/automatonpipeline.kt#L55
Might be 'const'
Might be 'const': exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L223
Might be 'const'
Might be 'const': lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/TimeData.kt#L81
Might be 'const'
Might be 'const': smv/src/main/kotlin/edu/kit/iti/formal/smv/SMVFacade.kt#L40
Might be 'const'
Might be 'const': lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/dt.kt#L35
Might be 'const'
Might be 'const': smv/src/main/kotlin/edu/kit/iti/formal/smv/SMVFacade.kt#L42
Might be 'const'
Might be 'const': smv/src/main/kotlin/edu/kit/iti/formal/smv/mc.kt#L102
Might be 'const'
Might be 'const': util/src/main/kotlin/edu/kit/iti/formal/util/Console.kt#L55
Might be 'const'
Might be 'const': exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L284
Might be 'const'
Might be 'const': ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/utils.kt#L30
Might be 'const'
Might be 'const': util/src/main/kotlin/edu/kit/iti/formal/util/Console.kt#L13
Might be 'const'
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/commoncli.kt#L63
Property 'verbose' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L461
Function 'addActionIntoMenubar' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L125
Function 'getDefineInputTypes' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/UnwindODS.kt#L50
Property 'selector' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/il/ilast.kt#L82
Function 'findMarked' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L349
Property 'timeConstants' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/algorithms/DelayModuleBuilder.kt#L36
Property 'historyLength' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L78
Property 'actionSave' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/ttpreview.kt#L260
Property 'values' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/CounterExampleAnalyzer.kt#L92
Property 'tableRows' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L106
Property 'recentFiles' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L470
Property 'currentRow' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/CounterExampleAnalyzer.kt#L321
Property 'counterExample' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/common.kt#L44
Property 'timeConstants' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L95
Property 'actionClose' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/monitor.kt#L48
Property 'includes' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L290
Property 'blockVariable' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cppmonitor.kt#L318
Property 'aggregation' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/icons.kt#L1601
Function 'buildFont' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/commoncli.kt#L48
Function 'showVersion' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L101
Property 'actionDecrFontSize' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/Reals.kt#L34
Property 'regexToInt' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/problems.kt#L136
Property 'scrollPane' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L31
Property 'INPUT_FIX_FILE' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/navigator.kt#L40
Property 'actionOpenFile' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/IEC61131Facade.kt#L213
Function 'readProgramWLS' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L191
Function 'store' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/GetetaFacade.kt#L72
Function 'exprToSMV' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/stmonitor.kt#L50
Property 'userReset' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L81
Property 'library' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L342
Function 'getDockable' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/StructuredTextPrinter.kt#L228
Property 'QUOTED_IDENTIFIER' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L98
Property 'untilMiterEndTrigger' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L172
Property 'inoutVariables' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/smtconcrete/SmtModel.kt#L42
Property 'sexp' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/ModuleBuilder.kt#L117
Property 'supportSpecialStatements' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/st.kt#L131
Property 'OPERATORS' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/AutomatonDrawer.kt#L31
Property 'useClusterForRows' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/ttpreview.kt#L178
Property 'columnNames' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L201
Property 'previewService' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/ttpreview.kt#L254
Property '_colCount' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L66
Property 'lattice' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L266
Property 'cboStEditor' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L57
Property 'condition' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/modularization.kt#L299
Function 'createReveContextsBySpecification' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/miter.kt#L472
Property 'renamer' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/latex.kt#L52
Property 'lastTikzMarkColumn' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services/config.kt#L69
Property 'read' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L53
Property 'actionSaveAs' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L78
Property 'nuxmvExecutable' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editor.kt#L109
Function 'createCodeEditor' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/PCLOpenXMLBuilder.kt#L45
Property 'document' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L466
Function 'streamAll' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/AutomatonDrawer.kt#L35
Function 'addAttribute' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/utils.kt#L47
Property 'key' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/checks.kt#L451
Function 'getCaller' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/cpp/translatecpp.kt#L293
Property 'currentStateVariable' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L99
Property 'nameParts' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/ModuleBuilder.kt#L70
Function 'identifiedTrivialDefinitions' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L1697
Function 'peek' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/stmonitor.kt#L51
Property 'errorOutput' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Flycheck.kt#L119
Property 'underInvestigation' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L41
Property 'debugMode' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/reteta.kt#L47
Property 'programOptions' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L210
Property 'callType' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L244
Function 'rowId' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L83
Function 'getDefinedPous' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L92
Property 'actionOpen' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/reteta.kt#L46
Property 'tableOptions' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/GetetaFacade.kt#L57
Function 'createParser' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L96
Property 'base06' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L1930
Function 'peek' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/CounterExampleAnalyzer.kt#L164
Property 'vt' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Flycheck.kt#L116
Property 'json' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cppmonitor.kt#L60
Property 'structNameGv' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/smtconcrete/SmtEncoder.kt#L62
Property 'smvModel' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L356
Property 'cboTable' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L33
Property 'initFuncName' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L52
Property 'actionLoad' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L110
Property 'green' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L132
Property 'leftPou' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/fbd.kt#L23
Property 'diagrams' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L100
Property 'base0a' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/St2Cpp.kt#L25
Property 'output' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/SfcElementAccess.kt#L215
Property 'conditionId' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/AutomatonDrawer.kt#L29
Property 'useCluster' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L131
Property 'strongEqualInVar' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/JavaJMLTokenFactory.kt#L15
Property 'lexerFactory' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/monitor.kt#L31
Property 'tableOptions' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L41
Function 'runInfoPipeline' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L102
Property 'base0c' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/smtconcrete/SmtEncoder.kt#L164
Function 'createDataType' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Flycheck.kt#L114
Property 'library' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/SFCFactory.kt#L67
Property 'QUALIFIER_ONWHILE' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L73
Property 'nuxmvMethod' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L22
Property 'sfcDiff' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/navigator.kt#L38
Property 'txtFolder' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L47
Property 'configurationPaths' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/TranslationSfcToStPipeline.kt#L694
Property 'transit' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L375
Function 'resolveProgramInvocation' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/csv.kt#L67
Property 'delimChar' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/io/TestTableLanguageBuilder.kt#L247
Property 'currentRow' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L114
Property 'magenta' could be private
Class member can have 'private' visibility: util/src/main/kotlin/edu/kit/iti/formal/util/SemanticCodeWriter.kt#L18
Property 'semantic' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L61
Property 'relationalFrameContracts' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services/config.kt#L23
Property 'operationSystem' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/text.kt#L179
Property 'grid' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L339
Property '_1000' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/CounterExampleAnalyzer.kt#L226
Property 'testTable' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/esterelmonitor.kt#L21
Property 'moduleName' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L65
Property 'outputFolder' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L757
Property 'styleVariableHeader' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L132
Property 'softEqualInVar' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L46
Property 'disableCheckCache' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editor.kt#L220
Property 'findToolBar' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/reteta.kt#L48
Property 'outputFolder' could be private
Class member can have 'private' visibility: smv/src/main/kotlin/edu/kit/iti/formal/smv/mc.kt#L74
Property 'commandFile' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L53
Property 'inputRelation' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/IEC61131Facade.kt#L226
Function 'readProgramsWLS' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L30
Property 'old' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/stmonitor.kt#L52
Property 'lostSync' could be private
Class member can have 'private' visibility: smv/src/main/kotlin/edu/kit/iti/formal/smv/ast.kt#L34
Property 'metadata' could be private
Class member can have 'private' visibility: smv/src/main/kotlin/edu/kit/iti/formal/smv/SMVFacade.kt#L119
Function 'bitAccess' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L132
Property 'prefill' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L38
Property 'disableProofBodyEquivalenceSMT' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L42
Property 'toolBar' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L33
Property 'showInfos' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/AstVisitor.kt#L573
Function 'visitList' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/experimental/java.kt#L21
Property 'packageName' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/operators/UnaryOperator.kt#L33
Function 'isValid' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/xml.kt#L24
Property 'ppu' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/ModuleBuilder.kt#L81
Function 'findFixpoints' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L59
Property 'defaultFont' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/TraceToProgram.kt#L11
Property 'cex' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/overview.kt#L137
Function 'drawCenteredString' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvt.kt#L45
Property 'oldVersion' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L22
Property 'leftScope' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/CounterExampleAnalyzer.kt#L93
Property 'prfx' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L85
Property 'valueTranslator' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L232
Property 'main' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/st.kt#L124
Property 'CONTROL_KEYWORDS' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractIntEqSfcApp.kt#L35
Property 'rightFile' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/FunctionBlockEmbedder.kt#L36
Property 'actions' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L128
Function 'calculateOutput' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/smvpipeline.kt#L152
Function 'rowDefinitions' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L439
Function 'resolveSubScope' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/smtconcrete/SmtEncoder.kt#L66
Property 'row2Id' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editor.kt#L223
Property 'actionShowFindToolBar' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editor.kt#L224
Property 'actionShowReplaceToolBar' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/builtin/BuiltinLoader.kt#L41
Property 'DEFAULT_LIST' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L105
Property 'base0f' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L188
Function 'resolveProgram' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L83
Property 'oldName' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/AutomatonDrawer.kt#L21
Property 'outputFile' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L97
Property 'base07' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L58
Property 'nextFunction' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L357
Property 'listAllPous' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/SymbolicState.kt#L105
Function 'getCurrentValues' could be private
Class member can have 'private' visibility: run/src/main/kotlin/edu/kit/iti/formal/automation/run/State.kt#L14
Function 'declare' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/api.kt#L19
Property 'reader' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvt.kt#L255
Property 'inner' could be private
Class member can have 'private' visibility: smv/src/main/kotlin/edu/kit/iti/formal/smv/ast.kt#L671
Property 'arity' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L98
Property 'actionIncrFontSize' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L137
Property 'main' could be private
Class member can have 'private' visibility: util/src/main/kotlin/edu/kit/iti/formal/util/SemanticCodeWriter.kt#L22
Property 'identation' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L182
Property 'values' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L358
Property 'listSelectedPous' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L375
Function 'save' could be private
Class member can have 'private' visibility: run/src/main/kotlin/edu/kit/iti/formal/automation/run/functions.kt#L62
Property 'kfunc' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L155
Property 'actionShowReplaceDialog' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L95
Property 'base05' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L226
Property 'executeBody' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editor.kt#L131
Function 'pclOpenXml' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L112
Property 'blue' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editor.kt#L217
Property 'errorStrip' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L135
Property 'leftNetwork' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L550
Property 'var2column' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/smtconcrete/SmtEncoder.kt#L238
Property 'programVar' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/experimental/java.kt#L22
Property 'sw' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editor.kt#L89
Property 'smvSupport' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvt.kt#L49
Property 'oldModuleType' could be private
Class member can have 'private' visibility: run/src/main/kotlin/edu/kit/iti/formal/automation/run/IecRunFascade.kt#L34
Function 'createExecutionContext' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L471
Property 'headerRows' could be private
Class member can have 'private' visibility: run/src/main/kotlin/edu/kit/iti/formal/automation/run/IecRunFascade.kt#L48
Function 'createInitialState' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L36
Property 'classes' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L34
Property 'nextFuncName' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/base.kt#L76
Function 'calculateColumn' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvt.kt#L44
Property 'newVersion' could be private
Class member can have 'private' visibility: smv/src/main/kotlin/edu/kit/iti/formal/smv/visitors.kt#L259
Property 'traversal' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/util/AstVisitor.kt#L405
Function 'visitList' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/stmonitor.kt#L53
Property 'resets' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/geteta.kt#L66
Property 'automataOptions' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L41
Property 'disableProofBodyEquivalenceWithAbstractionSubFrames' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L116
Property 'lattice' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/gtt.kt#L200
Property 'outlineService' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services/config.kt#L68
Property 'default' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/navigator.kt#L48
Property 'actionNewFile' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L107
Property 'actionClearRecentFiles' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Flycheck.kt#L156
Function 'check' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/st.kt#L157
Property 'result' could be private
Class member can have 'private' visibility: smt/src/main/kotlin/solver.kt#L78
Property 'writeTo' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/SFCFactory.kt#L10
Property 'sfcElement' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/base.kt#L63
Property 'definitions' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L23
Property 'lattice' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/ttpreview.kt#L248
Property '_rowCount' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L45
Property 'disableUpdateCache' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/il/ilsymbex.kt#L210
Function 'reset' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L68
Property 'currentTabbedPanel' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/geteta.kt#L60
Property 'outputFolder' could be private
Class member can have 'private' visibility: smt/src/main/kotlin/sexpr.kt#L14
Function 'createParser' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/overview.kt#L71
Function 'jumpTo' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/base.kt#L49
Property 'beginGroup' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Flycheck.kt#L113
Property 'streams' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/geteta.kt#L287
Property 'outputFolder' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L108
Property 'orange' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L230
Property 'loweq' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L152
Property 'nuxmvResult' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/AutomatonDrawer.kt#L135
Property 'tmpFile' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Flycheck.kt#L94
Property 'files' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editor.kt#L105
Function 'default' could be private
Class member can have 'private' visibility: smv/src/main/kotlin/edu/kit/iti/formal/smv/SMVPrinter.kt#L12
Property 'sort' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/TranslationSfcToStPipeline.kt#L705
Function 'caseFor' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/modularization.kt#L283
Function 'findCallSitePair' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L36
Property 'assume' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/St2Cpp.kt#L23
Property 'st0' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/ModuleBuilder.kt#L116
Property 'reduceDefinitions' could be private
Class member can have 'private' visibility: run/src/main/kotlin/edu/kit/iti/formal/automation/run/OperationEvaluator.kt#L71
Function 'multiply' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/IECParseTreeToAST.kt#L754
Function 'binaryExpr' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/smtconcrete/SmtEncoder.kt#L19
Property 'useBv' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L776
Function 'asList' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/parser/SyntaxErrorReporter.kt#L13
Property 'isPrint' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/SymbolicExecutioner.kt#L414
Function 'asCompressed' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/cpp/translatecpp.kt#L122
Property 'translateToCppExpr' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/values/MultiDimArrayValue.kt#L42
Property 'arrayType' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/SymbolicExecutioner.kt#L393
Property 'assignmentCounter' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L84
Property 'actionRun' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/automatonpipeline.kt#L66
Function 'rewriteGotos' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvt.kt#L53
Property 'newInstanceName' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/UnwindODS.kt#L41
Property 'outputFile' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/DataTypeAssignability.kt#L93
Property 'interfazestoSearch' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/ttpreview.kt#L262
Function 'ensureCells' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L128
Property 'statusBar' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L42
Property 'disableProofBodyEquivalenceWithAbstractionBody' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/st/ast/ast.kt#L1761
Function 'pragma' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L409
Function 'resolveFunctionInvocation' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/ttpreview.kt#L103
Function 'render' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L82
Function 'havocInputVariables' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L74
Property 'actions' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/geteta.kt#L61
Property 'dryRun' could be private
Class member can have 'private' visibility: smt/src/test/kotlin/ParserTest.kt#L24
Function 'testReadFirstSexpr' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editors/st.kt#L156
Property 'codeEditor' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractIntEqSfcApp.kt#L46
Property 'sfcName' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/IECXMLFacade.kt#L20
Function 'extractPLCOpenXml' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L200
Property 'rightEvaluator' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/datatypes.kt#L13
Property 'translator' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/il/print.kt#L14
Property 'stPrinter' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/ttpreview.kt#L177
Property 'columns' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/CallEmbedding.kt#L154
Function 'defaultRenaming' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/analysis/ai.kt#L393
Function 'combine' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractIntEqSfcApp.kt#L31
Property 'leftFile' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/exception/SpecificationInterfaceMisMatchException.kt#L68
Property 'computed' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L147
Property 'editingDialogs' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L76
Property 'actionSaveAs' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Flycheck.kt#L122
Property 'messages' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/SfcElementAccess.kt#L30
Property 'nodes' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L127
Property 'lblStatus' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/reteta.kt#L50
Property 'dryRun' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L372
Function 'saveAs' could be private
Class member can have 'private' visibility: smv/src/main/kotlin/edu/kit/iti/formal/smv/mc.kt#L46
Property 'commandLine' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L205
Function 'getListeners' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L58
Property 'outputSMVOutputName' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/csv.kt#L67
Property 'quoteChar' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L427
Property 'firstRow' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/apps/geteta.kt#L285
Property 'programOptions' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/automatonpipeline.kt#L15
Property 'steps' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L142
Property 'newModule' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Flycheck.kt#L138
Function 'parse' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L31
Property 'odsFactory' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/monitor/cppmonitor.kt#L61
Property 'enumStates' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvt.kt#L185
Property 'miterInstanceName' could be private
Class member can have 'private' visibility: smt/src/main/kotlin/solver.kt#L103
Property 'smtIn' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L69
Property 'doNotVerify' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L49
Property 'tableModel' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L37
Property 'verbose' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L108
Function 'saveAs' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L380
Property 'negated' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services/config.kt#L35
Property 'configFolder' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L267
Property 'cboPou' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/SymbolicExecutioner.kt#L51
Property 'operationMap' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/navigator.kt#L125
Property 'actionRefresh' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SMTProgram.kt#L122
Function 'getDefineStateTypes' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/model/GeneralizedTestTable.kt#L149
Function 'isVariable' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/rvt/SymbolicExecutioner.kt#L52
Property 'typeTranslator' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/fbd.kt#L90
Function 'findSlot' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/navigator.kt#L33
Property 'lastNavigatorPath' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L136
Property 'rightNetwork' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L138
Property 'rightActions' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/SFCFactory.kt#L19
Property 'handledNodes' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/navigator.kt#L118
Property 'actionOpenSystem' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L40
Property 'disableProofBodyEquivalenceSource' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Kastel.kt#L351
Property 'regex' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L134
Property 'diffSfc' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L551
Property 'inputVariables' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/AutomatonDrawer.kt#L39
Function 'addAttribute' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/scope/Scope.kt#L31
Property 'functionBlocks' could be private
Class member can have 'private' visibility: absintsfc/src/main/kotlin/AbstractInterpretationSfc.kt#L189
Function 'evaluator' could be private
Class member can have 'private' visibility: smv/src/main/kotlin/edu/kit/iti/formal/smv/mc.kt#L47
Property 'stdin' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L55
Property 'disableST0Pipeline' could be private
Class member can have 'private' visibility: smv/src/main/kotlin/edu/kit/iti/formal/smv/SMVFacade.kt#L129
Property 'PATTERN_WORD_LITERAL' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/ide.kt#L113
Property 'actionTranslateSfc' could be private
Class member can have 'private' visibility: absintsfc/src/test/kotlin/RunExamples.kt#L23
Function 'createExample' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/modularization/app.kt#L71
Property 'nuxmvPath' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvt.kt#L183
Property 'miter' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L468
Property 'currentTable' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/problems.kt#L71
Property '_parent' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/navigator.kt#L88
Property 'actionRenameFile' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L50
Property 'newVersion' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/st0/trans/CallEmbedding.kt#L163
Function 'getBody' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/problems.kt#L82
Property '_parent' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/St2Cpp.kt#L24
Property 'builtins' could be private
Class member can have 'private' visibility: lang/src/main/kotlin/edu/kit/iti/formal/automation/datatypes/DataTypeAssignability.kt#L92
Property 'clazzesToSearch' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L446
Property 'random' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/fbdtranslator.kt#L206
Property 'instanceName' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Flycheck.kt#L86
Property 'format' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/miter.kt#L72
Property 'enumValues' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools/navigator.kt#L277
Property 'children' could be private
Class member can have 'private' visibility: exec/src/main/kotlin/edu/kit/iti/formal/automation/Flycheck.kt#L91
Property 'includeBuiltIn' could be private
Class member can have 'private' visibility: symbex/src/main/kotlin/edu/kit/iti/formal/automation/smt/SSA2SMT.kt#L38
Property 'fnTranslator' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/base.kt#L131
Property 'durations' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/builder/miter.kt#L238
Property 'exec' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L270
Property 'cboTable' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvt.kt#L257
Property 'triggerCondition' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/smtconcrete/SmtEncoder.kt#L149
Function 'createRowConstraints' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/editor.kt#L221
Property 'replaceToolBar' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/viz/ods.kt#L464
Property 'tableStyle' could be private
Class member can have 'private' visibility: aps-rvt/src/main/kotlin/edu/kit/iti/formal/automation/rvt/rvtapp.kt#L86
Property 'newName' could be private
Class member can have 'private' visibility: run/src/main/kotlin/edu/kit/iti/formal/automation/run/Runtime.kt#L76
Function 'createCondition' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/tools.kt#L50
Property 'table' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/IECXMLFacade.kt#L14
Function 'extractPLCOpenXml' could be private
Class member can have 'private' visibility: ide/src/main/kotlin/edu/kit/iti/formal/automation/ide/services.kt#L113
Property 'violet' could be private
Class member can have 'private' visibility: geteta/src/main/kotlin/edu/kit/iti/formal/automation/testtables/print/latex.kt#L50
Property 'drawLines' could be private
Class member can have 'private' visibility: xml/src/main/kotlin/edu/kit/iti/formal/automation/plcopenxml/IECXMLFacade.kt#L34
Property 'SFC_KEYWORDS' could be private