We need to create a Maven plugin for Polystat. First, it should transpile Java sources to EO using j2eo. Then, it should run Polystat. Also, in between it may run a number of optimizers in order to make EO code more suitable for analysis.
When the plugin is ready, we should integrate it into pom.xml of objectionary/eo and make it part of the build.
We need to create a Maven plugin for Polystat. First, it should transpile Java sources to EO using j2eo. Then, it should run Polystat. Also, in between it may run a number of optimizers in order to make EO code more suitable for analysis.
When the plugin is ready, we should integrate it into
pom.xmlof objectionary/eo and make it part of the build.