Enum GeneralContext 

pub enum GeneralContext<'c> {
    Full(&'c Context<'c>),
    NoDriver(&'c DriverlessContext<'c>),
}

Probably a Context, but might not be - there might be no driver

Definitely contains a DefinitionsContext.

Variants

Full(&'c Context<'c>)

NoDriver(&'c DriverlessContext<'c>)

Implementations

impl<'c> GeneralContext<'c>

pub fn full_ctx_raw( &self, ) -> Result<&Context<'c>, &'c (dyn Fn(Span) -> Error + 'c)>

pub fn full_ctx( &self, span: Span, ) -> Result<&'_ Context<'c>, MissingContextError<'c>>

Obtain a full Context, in situations where a driver is needed

pub fn defs(&self) -> &DefinitionsContext<'c>

Convenience method.

We could use .as_ref() but that is less clear (and risks future inference failures).

We don’t bother with defs_mut.

pub fn error_loc(&self) -> Option<(Span, &'c str)>

pub fn prepend_error_loc( &self, rest: &[(Span, &'c str)], ) -> Vec<(Span, &'c str)>

pub fn clone_buf(&self) -> GeneralContextBuf<'c>

impl<'c> GeneralContext<'c>

pub fn display_for_dbg(&self) -> impl Display + '_

impl<'c> GeneralContext<'c>

pub fn find_definition<B>( &'c self, call: &'c DefinitionName, ) -> Result<Option<(&'c Definition<B>, GeneralContextBuf<'c>)>>

where Definitions<'c>: AsRef<[&'c Definition<B>]>, B: 'static,

Trait Implementations

impl<'c> AsRef<DefinitionsContext<'c>> for GeneralContext<'c>

fn as_ref(&self) -> &DefinitionsContext<'c>

Converts this type into a shared reference of the (usually inferred) input type.

impl<'c> Clone for GeneralContext<'c>

fn clone(&self) -> GeneralContext<'c>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'c> Copy for GeneralContext<'c>