Struct SourceMatter 

pub struct SourceMatter {
    pub label: String,
    pub body: BodyFragment,
    pub inherited_outputs: Vec<String>,
    pub options: CompileOptions,
    pub result_bindings: Option<String>,
}

Source matter for ScopeKernel::build_under: what PolydatMatter::builder().source(..) carried.

Fields

label: String

The scope’s label, for diagnostics.

body: BodyFragment

The scope’s body.

inherited_outputs: Vec<String>

Outputs the scope re-emits from its parent rather than declares.

options: CompileOptions

Compile options.

result_bindings: Option<String>

result: bindings, when the scope has any.

Implementations

impl SourceMatter

pub fn source( label: impl Into<String>, source: impl Into<String>, options: CompileOptions, ) -> Self

Matter from Polydat source text.

pub fn statements( label: impl Into<String>, statements: Vec<Statement>, options: CompileOptions, ) -> Self

Matter from built statements (SRD-84 graph matter).

pub fn inherited(self, names: Vec<String>) -> Self

Mark names as re-emitted from the parent.

pub fn results(self, source: impl Into<String>) -> Self

Attach result: bindings.