Skip to main content

Verify compilation

io.moderne.compiled.verification.VerifyCompilation

This is a task that runs after another recipe to verify that the changes made by that recipe would result in a successful compilation.

Recipe source

This recipe is only available to users of Moderne.

This recipe is available under the Moderne Proprietary License.

Options

TypeNameDescriptionExample
BooleantraceOptional. Trace the ABIs of dependencies of files being verified.

Usage

This recipe has no required configuration options. Users of Moderne can run it via the Moderne CLI:

You will need to have configured the Moderne CLI on your machine before you can run the following command.

shell
mod run . --recipe VerifyCompilation

If the recipe is not available locally, then you can install it using:

mod config recipes jar install org.openrewrite.recipe:rewrite-compiled-analysis:0.5.0

See how this recipe works across multiple open-source repositories

Run this recipe on OSS repos at scale with the Moderne SaaS.

The community edition of the Moderne platform enables you to easily run recipes across thousands of open-source repositories.

Please contact Moderne for more information about safely running the recipes on your own codebase in a private SaaS.

Data Tables

ABI traces

io.moderne.compiled.table.ABITraces

ASM trace of the ABI of types needed to perform compile verification.

Column NameDescription
Type to verifyThe type that compile verification is attempting to verify.
Type in useA type that the type to verify is using, and therefore needs to be written out in bytecode form.
Type in use ABIThe ABI of the type in use, written as an ASM trace.

Contributors

Jonathan Schneider, Knut Wannheden