isaacmaffeis / asmetal2java

Asmetal2java is a tool that automatically generates a Java file from an Abstract State Machine (ASM) specification written in Asmeta.
https://asmeta.github.io/index.html
0 stars 0 forks source link

Formatter exception #11

Closed isaacmaffeis closed 1 month ago

isaacmaffeis commented 1 month ago

name: 🐞 Bug about: File a bug/issue title: '[BUG] formatter=true causes issues when generating _Exe class' labels: Bug, Needs Triage assignees: ''


Current Behavior:

When the formatter=true option is enabled, it causes problems during the generation of the _Exe class, resulting in the following error:

java.lang.IllegalArgumentException: cannot format this: // coffeeVendingMachineNC_Exe.java automatically generated from ASM2CODE

image

Expected Behavior:

Activate the formatter and format output classes.

Steps To Reproduce:

Run the MainClass : org.asmeta.asm2java.main.MainClass With the following params:

-input
"input\RegistroDiCassav3.asm"
-Dformatter=true

Environment:

Anything else:

isaacmaffeis commented 1 month ago

Now the problem does not appear anymore, maybe it was due to an error in the file paths.