Skip to main content

ResourceValidationError

Enum ResourceValidationError 

Source
#[non_exhaustive]
pub enum ResourceValidationError { MissingResource { node: NodeId, system_name: &'static str, resource_type: &'static str, type_id: TypeId, access_mode: AccessMode, }, MissingOutput { node: NodeId, system_name: &'static str, output_type: &'static str, type_id: TypeId, }, ScopeMissingFactory { scope: NodeId, scope_name: &'static str, resource: &'static str, }, ScopeMissingResource { scope: NodeId, scope_name: &'static str, resource: &'static str, action: &'static str, }, }
Expand description

Errors that can occur during resource validation.

These errors are detected before graph execution starts, allowing early detection of missing resources that would cause runtime failures.

§Examples

use polaris_graph::ResourceValidationError;
use polaris_graph::NodeId;
use polaris_system::param::AccessMode;
use std::any::TypeId;

let err = ResourceValidationError::MissingResource {
    node: NodeId::from_string("node_1"),
    system_name: "my_system",
    resource_type: "MyConfig",
    type_id: TypeId::of::<String>(),
    access_mode: AccessMode::Read,
};

// Display provides a human-readable message
let msg = format!("{err}");
assert!(msg.contains("my_system"));
assert!(msg.contains("MyConfig"));

Variants (Non-exhaustive)§

This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
§

MissingResource

A required resource is missing from the context.

Fields

§node: NodeId

The node ID of the system requiring the resource.

§system_name: &'static str

The name of the system.

§resource_type: &'static str

The type name of the missing resource.

§type_id: TypeId

The type ID of the missing resource.

§access_mode: AccessMode

The access mode (read or write).

§

MissingOutput

A required output from a previous system is missing.

Fields

§node: NodeId

The node ID of the system requiring the output.

§system_name: &'static str

The name of the system.

§output_type: &'static str

The type name of the missing output.

§type_id: TypeId

The type ID of the missing output.

§

ScopeMissingFactory

A scope’s ContextPolicy declared forward_fresh::<T>() for a resource that has no registered factory in the parent context or globals.

Detected during GraphExecutor::validate_resources by walking the parent chain via SystemContext::factory_fn_by_type_id.

Fields

§scope: NodeId

The scope node ID.

§scope_name: &'static str

The scope node’s name.

§resource: &'static str

The resource type that was missing a factory.

§

ScopeMissingResource

A scope’s ContextPolicy declared a per-resource crossing (forward::<T>() or fork::<T>()) for a resource that is not reachable from the parent context at validation time.

Detected during GraphExecutor::validate_resources via SystemContext::contains_resource_by_type_id. Mirrors the runtime ExecutionError::ScopeMissingResource safety net for callers that skip validation.

Fields

§scope: NodeId

The scope node ID.

§scope_name: &'static str

The scope node’s name.

§resource: &'static str

The resource type that was missing.

§action: &'static str

Which verb declared the crossing — "forward" or "fork".

Trait Implementations§

Source§

impl Clone for ResourceValidationError

Source§

fn clone(&self) -> ResourceValidationError

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for ResourceValidationError

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Display for ResourceValidationError

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Error for ResourceValidationError

1.30.0 · Source§

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

1.0.0 · Source§

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

Source§

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type-based access to context intended for error reports. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Output for T
where T: Send + Sync + 'static,

Source§

impl<T> Resource for T
where T: Send + Sync + 'static,

Source§

fn type_name(&self) -> &'static str

Returns the type name for debugging purposes.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more