Struct Engine

pub struct Engine<'world> { /* private fields */ }

Implementations

impl<'world> Engine<'world>

pub fn new(world: &'world dyn World) -> Self

impl<'world> Engine<'world>

pub fn emit(&mut self, diagnostic: Diagnostic)

pub fn diagnostics(&self) -> EcoVec<Diagnostic>

pub fn stdlib(&self) -> Source

Returns the Lustre standard library source file

pub fn input_files(&self) -> EcoVec<Source>

Forwards to World::input_files

pub fn imported_file( &self, relative_to: &Source, path: &Path, ) -> Result<Source, FileError>

Forwards to World::imported_file

Trait Implementations

impl<'world> Clone for Engine<'world>

fn clone(&self) -> Engine<'world>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Hash for Engine<'_>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'world> Track for Engine<'world>

fn track(&self) -> Tracked<'_, Self>

Start tracking all accesses to a value.

fn track_mut(&mut self) -> TrackedMut<'_, Self>

Start tracking all accesses and mutations to a value.

fn track_with<'a>( &'a self, constraint: &'a Self::Constraint, ) -> Tracked<'a, Self>

Start tracking all accesses into a constraint.

fn track_mut_with<'a>( &'a mut self, constraint: &'a Self::Constraint, ) -> TrackedMut<'a, Self>

Start tracking all accesses and mutations into a constraint.

impl<'world> Validate for Engine<'world>

type Constraint = Constraint<__ComemoCall>

The constraints for this type.

fn validate(&self, constraint: &Self::Constraint) -> bool

Whether this value fulfills the given constraints.

fn validate_with_id(&self, constraint: &Self::Constraint, id: usize) -> bool

Accelerated version of validate.

fn replay(&mut self, constraint: &Self::Constraint)

Replay recorded mutations to the value.