Package org.bmc4j.gradle

Class BmcPlugin

java.lang.Object

org.bmc4j.gradle.BmcPlugin

All Implemented Interfaces:

org.gradle.api.Plugin<org.gradle.api.Project>

public class BmcPlugin
extends Object
implements org.gradle.api.Plugin<org.gradle.api.Project>

Wires bounded model checking into a JVM project. Applying it is all a consumer needs:

 plugins { id("org.bmc4j") }
 

It then:

• adds the bmc-runtime (@BmcProof, Bmc) and JUnit 5 to testImplementation;
• adds the bmc-engine-<platform> jar — the JBMC binary bundled as an ordinary, integrity-verified dependency — to testRuntimeOnly (no download at test time);
• runs proofs as part of the normal test task.

Set bmc { jbmcPath = "..." } to use a local binary instead of the bundled engine.

Constructor Summary

Constructors

Constructor	Description
BmcPlugin()

Method Summary

Modifier and Type	Method	Description
void	apply(org.gradle.api.Project project)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

BmcPlugin

public BmcPlugin()

Method Details

apply

public void apply(org.gradle.api.Project project)

Specified by:

apply in interface org.gradle.api.Plugin<org.gradle.api.Project>