Trait World

pub trait World {
    // Required methods
    fn input_files(&self) -> EcoVec<Source>;
    fn imported_file(
        &self,
        relative_to: &Source,
        path: &Path,
    ) -> Result<Source, FileError>;
}

Required Methods

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

Sources of the compilation entry point(s)

A Rustre command can usually be invoked with multiple source files, in such a way that they would all be loaded in the same environment. This method should return them all. Keep in mind that this method will only return files that were explicitly loaded as input files, this means that files indirectly loaded using #include won’t be part of this list. Use the crate::all_sources query to get an exhaustive list of all files loaded directly and indirectly.

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

Parsed contents of a Lustre file

Trait Implementations

impl<'__comemo_dynamic> Track for dyn World + '__comemo_dynamic

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<'__comemo_dynamic> Validate for dyn World + '__comemo_dynamic

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.

Implementors

impl World for SingleFile