Create a JSON-RPC for KeY

[wadoon]

A remote KeY api as promised in KeY++

Design Descisions

• We use handles to refer to large entities like, KeYEnvironment, Proof, or Node. These handles are called *Id and are aligned hierarchical:

  EnvironemntId < ProofId < NodeId 
  

  If you have a NodeId, you can get a ProofId by calling nodeId.proofId().

• We do not use expose any key.core classes. For example, Key's Examples are converted into ExampleDesc for the serialization. Every information holding class ends with Desc.

• Given complex arguments (especially optional/nullable parameters) are packed into a class which ends with Params.

TODO

• [ ] Implement a client in non-java, non-jvm (Python)