Restoration of the formatter for KeY files

[wadoon]

Archeology: In the back old days, we reformatted all our KeY files.

If you need to restore a branch before that time to bring it on the master, you should also reformat the KeY files before the merging.

This PR brings the formatter written by Wiesler.

The original MR was !614.

Currently unclear, whether we want to bring this on the main.

Has Sonarqube activated for evaluation reason

• Missing for main
  • Test cases

[mattulbrich]

Achieving auto-formatting for .key files would be nice since we have the infrastructure for this ...

[mattulbrich]

There is no documentation / commenting at all.

[wadoon]

@mattulbrich Looking in the test log shows, that not all KeY files in the repo are parsable anymore.

[wadoon]

CodeBuff could be interesting here: https://www.antlr.org/papers/codebuff.pdf

[mattulbrich]

This PR seems to also touch totally unrelated parts of the code. This is why it should not be merged as is.
Does it make sense to extract the actual formatter code and add that to the code base?

[wadoon]

This PR seems to also touch totally unrelated parts of the code. This is why it should not be merged as is. Does it make sense to extract the actual formatter code and add that to the code base?

I only see the necessary changes, and a lot of changes that arise by the fact, that the main is running away (spotless indentation changes, etc.)

[mattulbrich]

I have added some javadoc to the Wiesler files.
I do not seem to be able to run this. I only get exceptions.
Can we add a README on subproject toplevel explaining what to do.
running gradle produces many exceptions for me. Perhaps I do something wrong.

[wadoon]

Formatter works now, but not on Windows. @mattulbrich

[mattulbrich]

There is no documentation.

Can we add a README on the subproject toplevel explaining what this is for and what to do, how to configure etc.

[mattulbrich]

Should it be part of the reformatting tasks? Would that not touch some gradle files in key.core?

[wadoon]

Should it be part of the reformatting tasks? Would that not touch some gradle files in key.core?

I wanted to keep the PR small.

Normally, you want the formatter in spottless, but it is not obvious how todo it. I also fear the dependency when formatting requires compilation.

[wadoon]

Added a task gradle key.format:format to format the key rule base, and a tiny readme.