Record support by transformation

[wadoon]

Related Issue

This pull request is part of #3774.

Intended Change

Add a JavaTransformer to handle RecordDeclarations by down-compiling to regular Java classes. The regular pattern looks as:

#modifier record #name(#mod1 #type1 #field1, ...
                       #modN #typeN #fieldN) {
   #bodydeclarations 
}

becomes to:

#modifier #(static when inner-record) final class #name extends java.lang.Record {
   private final #mod1 #type1 #fieldn; 
   ...
   private final #mod1 #typeN #fieldN; 

   public #type1 #name1() { return #name1;} ...
   public #typeN #nameN() { return #nameN;}

   #bodydeclarations 
 
   //# if equals(Object) \not\in #bodydeclaration 
   public final boolean equals(Object o) {
      if(o instanceOf #name n) {
        return java.lang.Objects.equals(#name1, n.#name1) && ... && 
                 java.lang.Objects.equals(#nameN, n.#nameN); 
   }

   //# if hashCode() \not\in #bodydeclaration 
   public final int hashCode() {
      return java.lang.Objects.hash(#name1, ..., #nameN);
   }

   //# if toString() \not\in #bodydeclaration 
   public final String toString() {
      return #name + "["+ 
         ("#name1:" + #name1+",") + ... +
         ("#nameN:" + #nameN+",") + "]";
   }
}

Plan

• Implement the Java rewriting
• Contracts?!

Type of pull request

• New feature (non-breaking change which adds functionality)
• There are changes to the (Java) code

Ensuring quality

• I added new test case(s) for new functionality.