Moving from maude to Java backend

1. Int2Float: 3 arguments instead of 1

Int2Float(your int,53,11)

2. Changed the syntax of Map update from Map [ Value / Key ] to Map [ Key <- Value ].

3. Invalid now : _:MapItem

use |-> instead of _:MapItem

4. Invalid now : _:ListItem

can still use ListItem()

5. [Error] Unsupported map pattern in the rule left-hand side (cannot match by values)

you need to write auxilary functions in order to find MapItem by Value

6. configuration: more rigorous cell type

create a supers ort and use :> super sort in configuration decl

7. [Error] Critical: unexpected left-hand side data structure format; expected elements and at most one variable ... [Warning] Compiler: Expecting an empty list but got class org.kframework.kil.KSequence of sort K. Won't transform.

don't use just dot, use .Map .List blabla instead or you are matching mapItem using value, which is no longer allowed, and you need an aux function

8. [Error] Critical: SDF failed to parse a rule by throwing: null Aborted at ...

maybe some place needs ()

9. [Error] Critical: Cannot determine if the KLabel 'normalizeType is a function symbol because there are multiple productions associated with this KLabel: ["normalizeType" "(" Type "," Type ")" , "normalizeType" "(" Type ")" ]

If you define one with [function] attribute, all needs to add [function]

9. [Error] Critical: unexpected sort K of concatenated term .K; expected List (no line number given) should use .List instead of dot in some places How to find the wrong place! from where kompile --debug stops, add breakpoint in Java Program (K src code), run kompile debug mode again, and find rule

10. Cannot compute least sort of term: 'ParamImpl('class_(Id(#"java.lang.Object")),, Id(#"e")) Possible least sorts are: [Param, ExtKResult]

try to refactor the syntax to get a least sort for the labeled form.