Skip to main content

Access

Struct Access 

Source
pub struct Access { /* private fields */ }
Expand description

Tracks read and write access to specific elements in a collection.

Used internally to ensure soundness during system initialization and execution. See the is_compatible and get_conflicts functions.

Implementations§

Source§

impl Access

Source

pub const fn new() -> Self

Creates an empty Access collection.

Source

pub fn add_component_read(&mut self, index: ComponentId)

👎Deprecated since 0.19.0:

use Access::add_read

Adds access to the component given by index.

Source

pub fn add_read(&mut self, index: ComponentId)

Adds access to the component given by index.

Source

pub fn add_component_write(&mut self, index: ComponentId)

👎Deprecated since 0.19.0:

use Access::add_write

Adds exclusive access to the component given by index.

Source

pub fn add_write(&mut self, index: ComponentId)

Adds exclusive access to the component given by index.

Source

pub fn add_resource_read(&mut self, index: ComponentId)

👎Deprecated since 0.19.0:

Call FilteredAccessSet::add_resource_read. If this is called in a WorldQuery impl, then you will need to implement init_nested_access to modify the FilteredAccessSet.

Adds access to the resource given by index.

Source

pub fn add_resource_write(&mut self, index: ComponentId)

👎Deprecated since 0.19.0:

Call FilteredAccessSet::add_resource_write. If this is called in a WorldQuery impl, then you will need to implement init_nested_access to modify the FilteredAccessSet.

Adds exclusive access to the resource given by index.

Source

pub fn remove_component_read(&mut self, index: ComponentId)

👎Deprecated since 0.19.0:

use Access::remove_read

Removes both read and write access to the component given by index.

Source

pub fn remove_read(&mut self, index: ComponentId)

Removes both read and write access to the component given by index.

Because this method corresponds to the set difference operator ∖, it can create complicated logical formulas that you should verify correctness of. For example, A ∪ (B ∖ A) isn’t equivalent to (A ∪ B) ∖ A, so you can’t replace a call to remove_component_read followed by a call to extend with a call to extend followed by a call to remove_read.

Source

pub fn remove_component_write(&mut self, index: ComponentId)

👎Deprecated since 0.19.0:

use Access::remove_write

Removes write access to the component given by index.

Source

pub fn remove_write(&mut self, index: ComponentId)

Removes write access to the component given by index.

Because this method corresponds to the set difference operator ∖, it can create complicated logical formulas that you should verify correctness of. For example, A ∪ (B ∖ A) isn’t equivalent to (A ∪ B) ∖ A, so you can’t replace a call to remove_write followed by a call to extend with a call to extend followed by a call to remove_write.

Source

pub fn add_archetypal(&mut self, index: ComponentId)

Adds an archetypal (indirect) access to the component given by index.

This is for components whose values are not accessed (and thus will never cause conflicts), but whose presence in an archetype may affect query results.

Currently, this is only used for Has<T> and Allow<T>.

Source

pub fn has_component_read(&self, index: ComponentId) -> bool

👎Deprecated since 0.19.0:

use Access::has_read

Returns true if this can access the component given by index.

Source

pub fn has_read(&self, index: ComponentId) -> bool

Returns true if this can access the component given by index.

Source

pub fn has_any_component_read(&self) -> bool

👎Deprecated since 0.19.0:

use Access::has_any_read

Returns true if this can access any component.

Source

pub fn has_any_read(&self) -> bool

Returns true if this can access any component.

Source

pub fn has_component_write(&self, index: ComponentId) -> bool

👎Deprecated since 0.19.0:

use Access::has_write

Returns true if this can exclusively access the component given by index.

Source

pub fn has_write(&self, index: ComponentId) -> bool

Returns true if this can exclusively access the component given by index.

Source

pub fn has_any_component_write(&self) -> bool

👎Deprecated since 0.19.0:

use Access::has_any_write

Returns true if this accesses any component mutably.

Source

pub fn has_any_write(&self) -> bool

Returns true if this accesses any component mutably.

Source

pub fn has_resource_read(&self, index: ComponentId) -> bool

👎Deprecated since 0.19.0:

use Access::has_read

Returns true if this can access the resource given by index.

Source

pub fn has_any_resource_read(&self) -> bool

👎Deprecated since 0.19.0:

use Access::has_any_read

Returns true if this can access any resource.

Source

pub fn has_resource_write(&self, index: ComponentId) -> bool

👎Deprecated since 0.19.0:

use Access::has_write

Returns true if this can exclusively access the resource given by index.

Source

pub fn has_any_resource_write(&self) -> bool

👎Deprecated since 0.19.0:

use Access::has_any_write

Returns true if this accesses any resource mutably.

Source

pub fn has_archetypal(&self, index: ComponentId) -> bool

Returns true if this has an archetypal (indirect) access to the component given by index.

This is a component whose value is not accessed (and thus will never cause conflicts), but whose presence in an archetype may affect query results.

Currently, this is only used for Has<T>.

Source

pub fn read_all_components(&mut self)

👎Deprecated since 0.19.0:

use Access::read_all

Sets this as having access to all components (i.e. EntityRef).

Source

pub fn read_all(&mut self)

Sets this as having access to all components (i.e. EntityRef and &World).

Source

pub fn write_all_components(&mut self)

👎Deprecated since 0.19.0:

use Access::write_all

Sets this as having mutable access to all components (i.e. EntityMut and &mut World).

Source

pub fn write_all(&mut self)

Sets this as having mutable access to all components (i.e. EntityMut and &mut World).

Source

pub fn has_read_all_components(&self) -> bool

👎Deprecated since 0.19.0:

use Access::has_read_all

Returns true if this has access to all components (i.e. EntityRef and &World).

Source

pub fn has_read_all(&self) -> bool

Returns true if this has access to all components (i.e. EntityRef and &World).

Source

pub fn has_write_all_components(&self) -> bool

👎Deprecated since 0.19.0:

use Access::has_write_all

Returns true if this has write access to all components (i.e. EntityMut and &mut World).

Source

pub fn has_write_all(&self) -> bool

Returns true if this has write access to all components (i.e. EntityMut and &mut World).

Source

pub fn clear_writes(&mut self)

Removes all writes.

Source

pub fn clear(&mut self)

Removes all accesses.

Source

pub fn extend(&mut self, other: &Access)

Adds all access from other.

Source

pub fn remove_conflicting_access(&mut self, other: &Access)

Removes any access from self that would conflict with other. This removes any reads and writes for any component written by other, and removes any writes for any component read by other.

Source

pub fn is_components_compatible(&self, other: &Access) -> bool

👎Deprecated since 0.19.0:

use Access::is_compatible

Returns true if the access and other can be active at the same time.

Source

pub fn is_compatible(&self, other: &Access) -> bool

Returns true if the access and other can be active at the same time.

Access instances are incompatible if one can write an element that the other can read or write.

Source

pub fn is_subset_components(&self, other: &Access) -> bool

👎Deprecated since 0.19.0:

use Access::is_subset

Returns true if the set is a subset of another, i.e. other contains at least all the values in self.

Source

pub fn is_subset(&self, other: &Access) -> bool

Returns true if the set is a subset of another, i.e. other contains at least all the values in self.

Source

pub fn get_conflicts(&self, other: &Access) -> AccessConflicts

Returns a vector of elements that the access and other cannot access at the same time.

Source

pub fn archetypal(&self) -> &ComponentIdSet

Returns the indices of the components that this has an archetypal access to.

These are components whose values are not accessed (and thus will never cause conflicts), but whose presence in an archetype may affect query results.

Currently, this is only used for Has<T>.

Source

pub fn try_reads_and_writes( &self, ) -> Result<&ComponentIdSet, UnboundedAccessError>

Returns the set of components with read or write access, or an error if the access is unbounded.

Source

pub fn try_writes(&self) -> Result<&ComponentIdSet, UnboundedAccessError>

Returns the set of components with write access, or an error if the access is unbounded.

Source

pub fn try_iter_component_access( &self, ) -> Result<impl Iterator<Item = ComponentAccessKind> + '_, UnboundedAccessError>

👎Deprecated since 0.19.0:

use Access::try_iter_access

Returns an iterator over the component IDs and their ComponentAccessKind.

Source

pub fn try_iter_access( &self, ) -> Result<impl Iterator<Item = ComponentAccessKind> + '_, UnboundedAccessError>

Returns an iterator over the component IDs and their ComponentAccessKind.

Returns Err(UnboundedAccess) if the access is unbounded. This typically occurs when an Access is marked as accessing all components, and then adding exceptions.

§Examples
let mut access = Access::default();

access.add_read(ComponentId::new(1));
access.add_write(ComponentId::new(2));
access.add_archetypal(ComponentId::new(3));

let result = access
    .try_iter_access()
    .map(Iterator::collect::<Vec<_>>);

assert_eq!(
    result,
    Ok(vec![
        ComponentAccessKind::Shared(ComponentId::new(1)),
        ComponentAccessKind::Exclusive(ComponentId::new(2)),
        ComponentAccessKind::Archetypal(ComponentId::new(3)),
    ]),
);

Trait Implementations§

Source§

impl Clone for Access

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Access

Source§

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

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

impl Default for Access

Source§

fn default() -> Access

Returns the “default value” for a type. Read more
Source§

impl Eq for Access

Source§

impl Hash for Access

Source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

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

Feeds a slice of this type into the given Hasher. Read more
Source§

impl PartialEq for Access

Source§

fn eq(&self, other: &Access) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl StructuralPartialEq for Access

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> ConditionalSend for T
where T: Send,

Source§

impl<T> Downcast for T
where T: Any,

Source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Converts Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.
Source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Converts Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
Source§

fn as_any(&self) -> &(dyn Any + 'static)

Converts &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
Source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Converts &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
Source§

impl<T> DowncastSend for T
where T: Any + Send,

Source§

fn into_any_send(self: Box<T>) -> Box<dyn Any + Send>

Converts Box<Trait> (where Trait: DowncastSend) to Box<dyn Any + Send>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> DynEq for T
where T: Any + Eq,

Source§

fn dyn_eq(&self, other: &(dyn DynEq + 'static)) -> bool

This method tests for self and other values to be equal. Read more
Source§

impl<T> DynHash for T
where T: DynEq + Hash,

Source§

fn dyn_hash(&self, state: &mut dyn Hasher)

Feeds this value into the given Hasher.
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> FromTemplate for T
where T: Clone + Default + Unpin,

Source§

type Template = T

The Template for this type.
Source§

impl<T> FromWorld for T
where T: Default,

Source§

fn from_world(_world: &mut World) -> T

Creates Self using default().

Source§

impl<T, W> HasTypeWitness<W> for T
where W: MakeTypeWitness<Arg = T>, T: ?Sized,

Source§

const WITNESS: W = W::MAKE

A constant of the type witness
Source§

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

Source§

const TYPE_EQ: TypeEq<T, <T as Identity>::Type> = TypeEq::NEW

Proof that Self is the same type as Self::Type, provides methods for casting between Self and Self::Type.
Source§

type Type = T

The same type as Self, used to emulate type equality bounds (T == U) with associated type equality constraints (T: Identity<Type = U>).
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> IntoResult<T> for T

Source§

fn into_result(self) -> Result<T, RunSystemError>

Converts this type into the system output type.
Source§

impl<A> Is for A
where A: Any,

Source§

fn is<T>() -> bool
where T: Any,

Checks if the current type “is” another type, using a TypeId equality comparison. This is most useful in the context of generic logic. Read more
Source§

impl<T> Template for T
where T: Clone + Default + Unpin,

Source§

type Output = T

The type of value produced by this Template.
Source§

fn build_template( &self, _context: &mut TemplateContext<'_, '_>, ) -> Result<<T as Template>::Output, BevyError>

Uses this template and the given entity context to produce a Template::Output.
Source§

fn clone_template(&self) -> T

Clones this template. See Clone.
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, 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<T> TypeData for T
where T: 'static + Send + Sync + Clone,

Source§

fn clone_type_data(&self) -> Box<dyn TypeData>

Creates a type-erased clone of this value.
Source§

impl<T> WasmNotSend for T
where T: Send,

Source§

impl<T> WasmNotSendSync for T

Source§

impl<T> WasmNotSync for T
where T: Sync,

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