Skip to main content

QueryInternal

ixa::entity::query

Trait QueryInternal

pub trait QueryInternal<E: Entity>: 'static {
    type QueryParts<'a>: AsRef<[&'a dyn Any]>
       where Self: 'a;

    // Required methods
    fn get_type_ids(&self) -> Vec<TypeId>;
    fn query_parts(&self) -> Self::QueryParts<'_>;
    fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>;
    fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool;
    fn filter_entities(
        &self,
        entities: &mut Vec<EntityId<E>>,
        context: &Context,
    );

    // Provided methods
    fn resolve_index_property_id(&self, type_ids: &[TypeId]) -> Option<usize> { ... }
    fn resolved_query(&self) -> ResolvedQuery
       where Self: Sized { ... }
    fn multi_property_id(&self) -> Option<usize>
       where Self: Sized { ... }
    fn is_empty_query(&self) -> bool { ... }
    fn new_query_result_iterator<'c>(
        &self,
        context: &'c Context,
    ) -> EntitySetIterator<'c, E> ⓘ { ... }
}

Expand description

Internal query machinery.

Required Associated Types§

type QueryParts<'a>: AsRef<[&'a dyn Any]> where Self: 'a

Allocation-free representation of the query parts exposed by this query.

Required Methods§

fn get_type_ids(&self) -> Vec<TypeId>

Returns an unordered list of registered logical property type IDs for this query.

fn query_parts(&self) -> Self::QueryParts<'_>

Exposes the query parts without allocating.

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

Creates a new query result as an EntitySet.

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

Determines if the given person matches this query.

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

Removes all EntityIds from the given vector that do not match this query.

Provided Methods§

fn resolve_index_property_id(&self, type_ids: &[TypeId]) -> Option<usize>

Resolves the index property for an already sorted query shape without consulting the concrete-query cache.

fn resolved_query(&self) -> ResolvedQuery
where Self: Sized,

Returns the cached index and profiling resolution for this query shape.

fn multi_property_id(&self) -> Option<usize>
where Self: Sized,

Returns the property ID of the representative multi-property having the properties of this query, if any.

fn is_empty_query(&self) -> bool

Indicates whether this query matches the entire population for E.

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

Creates a new EntitySetIterator.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

impl<E: Entity> QueryInternal<E> for ()

type QueryParts<'a> = [&'a (dyn Any + 'static); 0] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn resolved_query(&self) -> ResolvedQuery

fn is_empty_query(&self) -> bool

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, _entity_id: EntityId<E>, _context: &Context) -> bool

fn filter_entities(&self, _entities: &mut Vec<EntityId<E>>, _context: &Context)

impl<E: Entity, P1: Property<E>> QueryInternal<E> for (P1,)

type QueryParts<'a> = <P1 as Property<E>>::QueryParts<'a> where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn resolved_query(&self) -> ResolvedQuery

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>> QueryInternal<E> for (T0, T1)

type QueryParts<'a> = [&'a (dyn Any + 'static); 2] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>> QueryInternal<E> for (T0, T1, T2)

type QueryParts<'a> = [&'a (dyn Any + 'static); 3] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>> QueryInternal<E> for (T0, T1, T2, T3)

type QueryParts<'a> = [&'a (dyn Any + 'static); 4] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4)

type QueryParts<'a> = [&'a (dyn Any + 'static); 5] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5)

type QueryParts<'a> = [&'a (dyn Any + 'static); 6] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6)

type QueryParts<'a> = [&'a (dyn Any + 'static); 7] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>, T7: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6, T7)

type QueryParts<'a> = [&'a (dyn Any + 'static); 8] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>, T7: Property<E>, T8: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8)

type QueryParts<'a> = [&'a (dyn Any + 'static); 9] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>, T7: Property<E>, T8: Property<E>, T9: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

type QueryParts<'a> = [&'a (dyn Any + 'static); 10] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>, T7: Property<E>, T8: Property<E>, T9: Property<E>, T10: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)

type QueryParts<'a> = [&'a (dyn Any + 'static); 11] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>, T7: Property<E>, T8: Property<E>, T9: Property<E>, T10: Property<E>, T11: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)

type QueryParts<'a> = [&'a (dyn Any + 'static); 12] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>, T7: Property<E>, T8: Property<E>, T9: Property<E>, T10: Property<E>, T11: Property<E>, T12: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)

type QueryParts<'a> = [&'a (dyn Any + 'static); 13] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>, T7: Property<E>, T8: Property<E>, T9: Property<E>, T10: Property<E>, T11: Property<E>, T12: Property<E>, T13: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)

type QueryParts<'a> = [&'a (dyn Any + 'static); 14] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>, T7: Property<E>, T8: Property<E>, T9: Property<E>, T10: Property<E>, T11: Property<E>, T12: Property<E>, T13: Property<E>, T14: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14)

type QueryParts<'a> = [&'a (dyn Any + 'static); 15] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>, T7: Property<E>, T8: Property<E>, T9: Property<E>, T10: Property<E>, T11: Property<E>, T12: Property<E>, T13: Property<E>, T14: Property<E>, T15: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15)

type QueryParts<'a> = [&'a (dyn Any + 'static); 16] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>, T7: Property<E>, T8: Property<E>, T9: Property<E>, T10: Property<E>, T11: Property<E>, T12: Property<E>, T13: Property<E>, T14: Property<E>, T15: Property<E>, T16: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

type QueryParts<'a> = [&'a (dyn Any + 'static); 17] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>, T7: Property<E>, T8: Property<E>, T9: Property<E>, T10: Property<E>, T11: Property<E>, T12: Property<E>, T13: Property<E>, T14: Property<E>, T15: Property<E>, T16: Property<E>, T17: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17)

type QueryParts<'a> = [&'a (dyn Any + 'static); 18] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

impl<E: Entity, T0: Property<E>, T1: Property<E>, T2: Property<E>, T3: Property<E>, T4: Property<E>, T5: Property<E>, T6: Property<E>, T7: Property<E>, T8: Property<E>, T9: Property<E>, T10: Property<E>, T11: Property<E>, T12: Property<E>, T13: Property<E>, T14: Property<E>, T15: Property<E>, T16: Property<E>, T17: Property<E>, T18: Property<E>> QueryInternal<E> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18)

type QueryParts<'a> = [&'a (dyn Any + 'static); 19] where Self: 'a

fn get_type_ids(&self) -> Vec<TypeId>

fn query_parts(&self) -> Self::QueryParts<'_>

fn new_query_result<'c>(&self, context: &'c Context) -> EntitySet<'c, E>

fn new_query_result_iterator<'c>( &self, context: &'c Context, ) -> EntitySetIterator<'c, E> ⓘ

fn match_entity(&self, entity_id: EntityId<E>, context: &Context) -> bool

fn filter_entities(&self, entities: &mut Vec<EntityId<E>>, context: &Context)

Implementors§

impl<E: Entity> QueryInternal<E> for E

type QueryParts<'a> = [&'a (dyn Any + 'static); 0] where Self: 'a

impl<E: Entity, T: QueryInternal<E>> QueryInternal<E> for EntityPropertyTuple<E, T>

type QueryParts<'a> = <T as QueryInternal<E>>::QueryParts<'a> where Self: 'a