Building issues

[CopperEagle]

Hey there @wadoon

Thanks for the repository. For my project, I need to translate jml to java code (into assertions). Unfortunately there is no documentation. I wanted to ask you

1. How do I build this into a jar usable from Java?

2. How can I use your jml2java module from Java?

I tried

# gradle init
gradle build

but I end up getting a few-byte jar file both with and without init. Also, the Github action build keeps failing too so that's not helping either.

Any help is appreciated

[wadoon]

You can use the regular Gradle targets, e.g., gradle classes, testClasses, or assemble to compile the class files, and also the test classes, or to finally build all artifacts. I also fixed some compiler errors.

The functionalities are rather in an unfinished state. For example you mentioned jml2java module: Some expressions are supported, but support for complicated constructs (especially, \old) is absent.

Currently, we are migrating JJBMC from openjml to jmlparser, which also implements a jml2java conversion feature, but designed for bounded model checker (e.g., use of nondet. variables).

/cc @JonasKlamroth