OverridableElementDsl

Common DSL surface for element settings that can be overridden at defaults, group, and element levels.

Level-specific DSLs should extend this class instead of redeclaring parallel copies of the same knobs. The public DSL stays flat:

defaults { provenanceBuild { ... } }
group("source_activities") { provenanceBuild { ... } }
stig { element { provenanceBuild { ... } } }

Inheritors

Constructors

Link copied to clipboard
constructor()

Properties

Link copied to clipboard
var asil: ASIL?

The configured safety integrity level. Distinct from per-symbol interface point ASILs; this is the element-wide declared level.

Link copied to clipboard

Override of the parent element type, if needed.

Link copied to clipboard

Single severity threshold for pipeline problems.

Link copied to clipboard

Whether STIG import/synchronization is enabled.

Link copied to clipboard

Optional directory containing interface definition files.

Link copied to clipboard

Legacy/static interface-point import mode. Prefer P5 interfacePoints { mode } for analysis.

Link copied to clipboard

true once a nativeBuild { ... } block has been applied at this level.

Link copied to clipboard

Override of the parent placement, if needed.

Functions

Link copied to clipboard

P6 — analyzer execution settings.

Link copied to clipboard
fun analyzerInput(configure: AnalyzerInputDsl.() -> Unit)

P5 — analyzer-input settings.

Link copied to clipboard

P7 — complexity metric extraction.

Link copied to clipboard

P7 — generated diagram formats and per-artifact size limit.

Link copied to clipboard

P7 — function description extraction.

Link copied to clipboard
fun modelCheck(configure: ModelCheckDsl.() -> Unit)

Model-check configuration for stigCheckModel, per viewpoint.

Link copied to clipboard
fun nativeBuild(configure: NativeBuildDsl.() -> Unit)

P1 — native target build and compile-command extraction.

Link copied to clipboard

P3 provenance-build settings.

Link copied to clipboard

P4 — source-file selection for the analyzer boundary.

Link copied to clipboard

P7 — source-code observation scope used by parsers/metrics.