Struct ResolutionResult 

pub struct ResolutionResult<T> { /* private fields */ }

Result structure for a namespace resolution.

Implementations

impl<T> ResolutionResult<T>

pub fn new(unresolved_reference: Data<T>) -> Self

Creates a new, empty resolution result for the given unresolved reference, to be used as a placeholder when no namespace is actually available. It will behave as if resolution failed because the namespace being looked in was itself not resolved. If an item is passed via the reference, it will be returned by as_item(). as_namespace() will return None.

pub fn filter_items<F: Fn(&T) -> bool>(self, filter: F) -> Self

Filter the resulting items by some predicate. This also filters out namespaces.

pub fn filter_all_items(self) -> Self

Filter the resulting items by some predicate. This also filters out namespaces.

pub fn filter_namespaces(self) -> Self

Filter out anything that isn’t a namespace.

pub fn expect_one<F1, F2>( self, parse_context: &mut Context<'_>, if_not_applicable: F1, if_ambiguous: F2, ) -> Self

where F1: FnOnce(String, &mut Context<'_>) -> bool, F2: FnOnce(String, &mut Context<'_>) -> bool,

Expects a single item, yielding diagnostics if this isn’t the case. If ambiguous or if all matching elements were not applicable (filtered out), the specified functions are called. They receive the reference name and the parse context as arguments to form a suitable diagnostic message. If they return false, a default diagnostic message will be emitted instead.

pub fn expect_not_ambiguous<F>( self, parse_context: &mut Context<'_>, if_ambiguous: F, ) -> Self

where F: FnOnce(String, &mut Context<'_>) -> bool,

Expects zero or one item(s), yielding diagnostics if this isn’t the case. If ambiguous, the specified function is called. It receives the reference name and the parse context as arguments to form a suitable diagnostic message. If it returns false, a default diagnostic message will be emitted instead.

pub fn expect_multiple<F>( self, parse_context: &mut Context<'_>, if_not_applicable: F, ) -> Self

where F: FnOnce(String, &mut Context<'_>) -> bool,

Expects a one or more items, yielding diagnostics if this isn’t the case. If all matching elements were not applicable (filtered out), the specified functions are called. They receive the reference name and the parse context as arguments to form a suitable diagnostic message. If they return false, a default diagnostic message will be emitted instead.

pub fn as_item(&self) -> Reference<T>

Silently returns the first matching item, if any. If there are none, this just returns an unresolved reference. Use filter_items().expect_one() to formulate error messages if there are multiple or no items available.

pub fn as_opt_item(&self) -> Option<Reference<T>>

Silently returns the first matching item, if any. Unlike as_item(), this returns None if there are no matches.

pub fn as_namespace(&self) -> Option<Reference<T>>

Silently returns the first matching namespace. Use filter_namespaces().expect_one() to formulate error messages if there are multiple or no namespaces available.

pub fn expect_not_yet_defined(&self) -> Result<()>

Return an error if one or more definitions were found for this name resolution, to be used just before defining a new item.

Trait Implementations

impl<T: Clone> Clone for ResolutionResult<T>

fn clone(&self) -> ResolutionResult<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for ResolutionResult<T>

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

Formats the value using the given formatter.

impl<T> Display for ResolutionResult<T>

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

Formats the value using the given formatter.