CompiledModelSession

One wired executable model, with independent check scopes and a shared reporting inventory.

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
open override fun close()
Link copied to clipboard
fun completeIndex(subjectModules: Set<String>): ModelIndex

Explicit full-model checks retain every loaded module as complete context.

Link copied to clipboard
fun connectedIndex(subjectModules: Set<String>, contextModules: Set<String> = emptySet()): ModelIndex

Context follows the subject's references, not references originating in its context.

Link copied to clipboard

A declaration-owner view for one renderer; closing it never closes the session's loader.

Link copied to clipboard
fun <T> withScope(action: () -> T): T
Generated with STIG