Package org.bmc4j.gradle

Class BmcExtensionConfig.ModelSpec

java.lang.Object

org.bmc4j.gradle.BmcExtensionConfig.ModelSpec

Enclosing class:

BmcExtensionConfig

public abstract static class BmcExtensionConfig.ModelSpec
extends Object

The models { conformant(...) / domain(...) } DSL block. A Gradle managed type (abstract, no fields): its one property is the abstract getEntries() list, which Gradle instantiates; the conformant / domain methods append serialized declarations to it.

Constructor Summary

Constructors

Constructor	Description
ModelSpec()

Method Summary

Modifier and Type	Method	Description
void	conformant(String className)	Register a conformant user model (claims JDK fidelity).
void	domain(String className, String rationale)	Register a domain user model (intentional divergence).
abstract org.gradle.api.provider.ListProperty<String>	getEntries()	Serialized declarations, one per entry as intent|fqn|rationale; joined by the plugin.

Methods inherited from class java.lang.Object

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

Constructor Details

ModelSpec

public ModelSpec()

Method Details

getEntries

public abstract org.gradle.api.provider.ListProperty<String> getEntries()

Serialized declarations, one per entry as intent|fqn|rationale; joined by the plugin.

conformant

public void conformant(String className)

Register a conformant user model (claims JDK fidelity).

domain

public void domain(String className,
 String rationale)

Register a domain user model (intentional divergence). rationale is required -- a one-line explanation of the assumed constraint, footnoted on green proofs that rest on it.