Code quality stuff

[wadoon]

Related Issue

This pull request resolves #.

Intended Change

Plan

• Implement feature 1
• Implement feature 2
• Code cleanup
• Document the changes

Type of pull request

• Bug fix (non-breaking change which fixes an issue)
• Refactoring (behaviour should not change or only minimally change)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to change)
• There are changes to the (Java) code
• There are changes to the taclet rule base
• There are changes to the deployment/CI infrastructure (gradle, github, ...)
• Other:

Ensuring quality

• I made sure that introduced/changed code is well documented (javadoc and inline comments).
• I made sure that new/changed end-user features are well documented (https://github.com/KeYProject/key-docs).
• I added new test case(s) for new functionality.
• I have tested the feature as follows: ...
• I have checked that runtime performance has not deteriorated.
• For new Gradle modules: I added the Gradle module to the test matrix in
  .github/workflows/tests.yml

Additional information and contact(s)

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.

[github-advanced-security]

You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool.

What Enabling Code Scanning Means:

• The 'Security' tab will display more code scanning analysis results (e.g., for the default branch).
• Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results.
• You will be able to see the analysis results for the pull request's branch on this overview once the scans have completed and the checks have passed.

For more information about GitHub Code Scanning, check out the documentation.

[github-code-quality]

Code Coverage Overview

Languages: Java

Java / code-coverage/jacoco

The overall coverage in the weigl/meta branch is 0%. Coverage data for the main branch is not yet available.

Show a code coverage summary of the most covered files.

File	main	weigl/meta f9e8b80	+/-
org/keyproject/...a/NodeDesc.java	—	100%	—
org/keyproject/...fMacroDesc.java	—	100%	—
org/keyproject/...ommandDesc.java	—	100%	—
org/keyproject/...eeNodeDesc.java	—	100%	—
org/keyproject/...terFactory.java	—	73%	—
org/keyproject/...ifications.java	—	60%	—
org/keyproject/...KeyApiImpl.java	—	46%	—
org/keyproject/...escription.java	—	25%	—
org/keyproject/...tartServer.java	—	12%	—
org/keyproject/...KeyAdapter.java	—	7%	—

---

_{Code Coverage is in Public Preview. Learn more and provide us with your feedback.}