Artiweb > Pull Request #3120

The removal of Recoder #3120

Github

Description

This PR replaces recoder by javaparser, or more precisely by key-javaparser. The special version has support for ProofJava, SchemaJava and Java 17+, all in one grammar.

Notes on the grammar can be found in the key-docs

This MR requires a complete overhaul of the KeY-Infrastructure.

Status:

  • [x] Migration of KeY/Java transformations from recoder to javaparser
  • [x] Get compile-error free for testing
  • [x] Check JavaInfo for unused methods and delete them
  • [ ] Testing (wip)
    • Currently there is one transformation example
    • JavaRedux is parsed and translated.
    • Tests for translation from JP-AST to KeY-AST
  • [x] Reimplementing the old infrastructure on top of Javaparser
  • [ ] Tests
  • What to do with TestProofJavaParser and TestSchemaJavaParser?
  • TestKeYRecoderMapping
  • [x] Activate the new implementation.

Artifacts