Struct Traversal 

pub struct Traversal {
    pub span: Span,
    pub source_text: String,
    pub comprehension: Comprehension,
    pub elements: Vec<(String, PortType)>,
    pub cascade: Vec<(String, PortType)>,
    pub program: Arc<PolydatProgram>,
    pub body: Arc<BodySource>,
}

A compiled traversal: one for statement and the child program its body lowered to.

Fields

span: Span

Lexical position of the for statement in its parent.

source_text: String

The text after for, as written.

comprehension: Comprehension

The comprehension traversed, with a producer reference already resolved to the producer’s comprehension.

elements: Vec<(String, PortType)>

Element names and their compile-time types, in tuple order.

cascade: Vec<(String, PortType)>

Outer wires the body references, with the parent’s types. Bound from the parent at activation.

program: Arc<PolydatProgram>

The body’s program on the interpreter. Compiled once; every interpreter activation shares it.

body: Arc<BodySource>

The body as the parent compiled it, for activations on the other engines (engine parity, step 8): compiled once per engine, on the first activation that asks.

Implementations

impl Traversal

pub fn program_on( &self, engine: Engine, ) -> Result<Arc<dyn KernelProgram>, KernelError>

The body’s program on engine, compiled on the first call for that engine and shared by every activation after it, as the interpreter’s program is (SRD 113 §5.1, §5.2), its own for statements included: an activation on any engine opens them.

Trait Implementations

impl Clone for Traversal

fn clone(&self) -> Traversal

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Traversal

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.