PreinitScript

data class PreinitScript(val name: String, val source: Source, val entry: Value? = null) : Record

Pre-initialization script built by initializePreambleScripts, which returns a suite of sources which are initialized at build time; these scripts should be passed verbatim to executePreambleScripts at runtime.

Constructors

Link copied to clipboard
constructor(name: String, source: Source, entry: Value? = null)

Properties

Link copied to clipboard
val entry: Value? = null

Pre-parsed entrypoint for the script.

Link copied to clipboard

Given name of the preamble script.

Link copied to clipboard
val source: Source

The source of the preamble script.