use crate::{
bundle::Bundle,
commands::CommandBuffer,
component::{Component, ComponentRef, ComponentRefMut},
entity::Entity,
processor::WorldProcessor,
query::{Lookup, Query, TypedLookupFetch, TypedQueryFetch},
resources::Resources,
systems::{System, SystemContext, Systems},
world::World,
};
use intuicio_core::{context::Context, registry::Registry};
use intuicio_framework_serde::SerializationRegistry;
use std::{error::Error, marker::PhantomData};
pub trait UniverseFetch<'a> {
type Value;
fn fetch(universe: &'a Universe, system: Entity) -> Result<Self::Value, Box<dyn Error>>;
}
impl UniverseFetch<'_> for Entity {
type Value = Entity;
fn fetch(_: &Universe, entity: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(entity)
}
}
impl<'a> UniverseFetch<'a> for &'a Universe {
type Value = &'a Universe;
fn fetch(universe: &'a Universe, _: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(universe)
}
}
impl<'a> UniverseFetch<'a> for &'a World {
type Value = &'a World;
fn fetch(universe: &'a Universe, _: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(&universe.simulation)
}
}
impl<'a> UniverseFetch<'a> for &'a Resources {
type Value = &'a Resources;
fn fetch(universe: &'a Universe, _: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(&universe.resources)
}
}
impl<'a> UniverseFetch<'a> for &'a Systems {
type Value = &'a Systems;
fn fetch(universe: &'a Universe, _: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(&universe.systems)
}
}
pub struct Res<const LOCKING: bool, T>(PhantomData<fn() -> T>);
impl<'a, const LOCKING: bool, T: Component> UniverseFetch<'a> for Res<LOCKING, &'a T> {
type Value = ComponentRef<'a, LOCKING, T>;
fn fetch(universe: &'a Universe, _: Entity) -> Result<Self::Value, Box<dyn Error>> {
universe.resources.get()
}
}
impl<'a, const LOCKING: bool, T: Component> UniverseFetch<'a> for Res<LOCKING, &'a mut T> {
type Value = ComponentRefMut<'a, LOCKING, T>;
fn fetch(universe: &'a Universe, _: Entity) -> Result<Self::Value, Box<dyn Error>> {
universe.resources.get_mut()
}
}
impl<'a, const LOCKING: bool, T: Component> UniverseFetch<'a> for Res<LOCKING, Option<&'a T>> {
type Value = Option<ComponentRef<'a, LOCKING, T>>;
fn fetch(universe: &'a Universe, _: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(universe.resources.get().ok())
}
}
impl<'a, const LOCKING: bool, T: Component> UniverseFetch<'a> for Res<LOCKING, Option<&'a mut T>> {
type Value = Option<ComponentRefMut<'a, LOCKING, T>>;
fn fetch(universe: &'a Universe, _: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(universe.resources.get_mut().ok())
}
}
pub struct Local<const LOCKING: bool, T>(PhantomData<fn() -> T>);
impl<'a, const LOCKING: bool, T: Component> UniverseFetch<'a> for Local<LOCKING, &'a T> {
type Value = ComponentRef<'a, LOCKING, T>;
fn fetch(universe: &'a Universe, system: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(universe.systems.component(system)?)
}
}
impl<'a, const LOCKING: bool, T: Component> UniverseFetch<'a> for Local<LOCKING, &'a mut T> {
type Value = ComponentRefMut<'a, LOCKING, T>;
fn fetch(universe: &'a Universe, system: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(universe.systems.component_mut(system)?)
}
}
impl<'a, const LOCKING: bool, T: Component> UniverseFetch<'a> for Local<LOCKING, Option<&'a T>> {
type Value = Option<ComponentRef<'a, LOCKING, T>>;
fn fetch(universe: &'a Universe, system: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(universe.systems.component(system).ok())
}
}
impl<'a, const LOCKING: bool, T: Component> UniverseFetch<'a>
for Local<LOCKING, Option<&'a mut T>>
{
type Value = Option<ComponentRefMut<'a, LOCKING, T>>;
fn fetch(universe: &'a Universe, system: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(universe.systems.component_mut(system).ok())
}
}
impl<'a, const LOCKING: bool, Fetch: TypedQueryFetch<'a, LOCKING>> UniverseFetch<'a>
for Query<'a, LOCKING, Fetch>
{
type Value = Query<'a, LOCKING, Fetch>;
fn fetch(_: &Universe, _: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(Query::<LOCKING, Fetch>::default())
}
}
impl<'a, const LOCKING: bool, Fetch: TypedLookupFetch<'a, LOCKING>> UniverseFetch<'a>
for Lookup<'a, LOCKING, Fetch>
{
type Value = Lookup<'a, LOCKING, Fetch>;
fn fetch(_: &Universe, _: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(Lookup::<LOCKING, Fetch>::default())
}
}
macro_rules! impl_universe_fetch_tuple {
($($type:ident),+) => {
impl<'a, $($type: UniverseFetch<'a>),+> UniverseFetch<'a> for ($($type,)+) {
type Value = ($($type::Value,)+);
fn fetch(universe: &'a Universe, entity: Entity) -> Result<Self::Value, Box<dyn Error>> {
Ok(($($type::fetch(universe, entity)?,)+))
}
}
};
}
impl_universe_fetch_tuple!(A);
impl_universe_fetch_tuple!(A, B);
impl_universe_fetch_tuple!(A, B, C);
impl_universe_fetch_tuple!(A, B, C, D);
impl_universe_fetch_tuple!(A, B, C, D, E);
impl_universe_fetch_tuple!(A, B, C, D, E, F);
impl_universe_fetch_tuple!(A, B, C, D, E, F, G);
impl_universe_fetch_tuple!(A, B, C, D, E, F, G, H);
impl_universe_fetch_tuple!(A, B, C, D, E, F, G, H, I);
impl_universe_fetch_tuple!(A, B, C, D, E, F, G, H, I, J);
impl_universe_fetch_tuple!(A, B, C, D, E, F, G, H, I, J, K);
impl_universe_fetch_tuple!(A, B, C, D, E, F, G, H, I, J, K, L);
impl_universe_fetch_tuple!(A, B, C, D, E, F, G, H, I, J, K, L, M);
impl_universe_fetch_tuple!(A, B, C, D, E, F, G, H, I, J, K, L, M, N);
impl_universe_fetch_tuple!(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O);
impl_universe_fetch_tuple!(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P);
pub trait UniverseCondition {
fn evaluate(context: SystemContext) -> bool;
}
pub struct NegateUniverseCondition<T: UniverseCondition>(PhantomData<fn() -> T>);
impl<T: UniverseCondition> UniverseCondition for NegateUniverseCondition<T> {
fn evaluate(context: SystemContext) -> bool {
!T::evaluate(context)
}
}
pub struct ResourceDidChanged<T: Component>(PhantomData<fn() -> T>);
impl<T: Component> UniverseCondition for ResourceDidChanged<T> {
fn evaluate(context: SystemContext) -> bool {
context.universe.resources.did_changed::<T>()
}
}
pub struct ResourceAdded<T: Component>(PhantomData<fn() -> T>);
impl<T: Component> UniverseCondition for ResourceAdded<T> {
fn evaluate(context: SystemContext) -> bool {
context.universe.resources.added().has_component::<T>()
}
}
pub struct ResourceRemoved<T: Component>(PhantomData<fn() -> T>);
impl<T: Component> UniverseCondition for ResourceRemoved<T> {
fn evaluate(context: SystemContext) -> bool {
context.universe.resources.removed().has_component::<T>()
}
}
pub struct ResourceUpdated<T: Component>(PhantomData<fn() -> T>);
impl<T: Component> UniverseCondition for ResourceUpdated<T> {
fn evaluate(context: SystemContext) -> bool {
context
.universe
.resources
.updated()
.map(|changes| changes.has_component::<T>())
.unwrap_or_default()
}
}
pub struct ComponentDidChanged<T: Component>(PhantomData<fn() -> T>);
impl<T: Component> UniverseCondition for ComponentDidChanged<T> {
fn evaluate(context: SystemContext) -> bool {
context.universe.simulation.component_did_changed::<T>()
}
}
pub struct ComponentAdded<T: Component>(PhantomData<fn() -> T>);
impl<T: Component> UniverseCondition for ComponentAdded<T> {
fn evaluate(context: SystemContext) -> bool {
context.universe.simulation.added().has_component::<T>()
}
}
pub struct ComponentRemoved<T: Component>(PhantomData<fn() -> T>);
impl<T: Component> UniverseCondition for ComponentRemoved<T> {
fn evaluate(context: SystemContext) -> bool {
context.universe.simulation.removed().has_component::<T>()
}
}
pub struct ComponentUpdated<T: Component>(PhantomData<fn() -> T>);
impl<T: Component> UniverseCondition for ComponentUpdated<T> {
fn evaluate(context: SystemContext) -> bool {
context
.universe
.simulation
.updated()
.map(|changes| changes.has_component::<T>())
.unwrap_or_default()
}
}
pub struct SystemLocalDidChanged<T: Component>(PhantomData<fn() -> T>);
impl<T: Component> UniverseCondition for SystemLocalDidChanged<T> {
fn evaluate(context: SystemContext) -> bool {
context
.universe
.systems
.entity_component_did_changed::<T>(context.entity())
}
}
pub struct SystemLocalAdded<T: Component>(PhantomData<fn() -> T>);
impl<T: Component> UniverseCondition for SystemLocalAdded<T> {
fn evaluate(context: SystemContext) -> bool {
context
.universe
.systems
.added()
.has_entity_component::<T>(context.entity())
}
}
pub struct SystemLocalRemoved<T: Component>(PhantomData<fn() -> T>);
impl<T: Component> UniverseCondition for SystemLocalRemoved<T> {
fn evaluate(context: SystemContext) -> bool {
context
.universe
.systems
.removed()
.has_entity_component::<T>(context.entity())
}
}
pub struct SystemLocalUpdated<T: Component>(PhantomData<fn() -> T>);
impl<T: Component> UniverseCondition for SystemLocalUpdated<T> {
fn evaluate(context: SystemContext) -> bool {
context
.universe
.systems
.updated()
.map(|changes| changes.has_entity_component::<T>(context.entity()))
.unwrap_or_default()
}
}
macro_rules! impl_universe_condition_tuple {
($($type:ident),+) => {
impl<$($type: UniverseCondition),+> UniverseCondition for ($($type,)+) {
fn evaluate(context: SystemContext) -> bool {
$($type::evaluate(context))&&+
}
}
};
}
impl_universe_condition_tuple!(A);
impl_universe_condition_tuple!(A, B);
impl_universe_condition_tuple!(A, B, C);
impl_universe_condition_tuple!(A, B, C, D);
impl_universe_condition_tuple!(A, B, C, D, E);
impl_universe_condition_tuple!(A, B, C, D, E, F);
impl_universe_condition_tuple!(A, B, C, D, E, F, G);
impl_universe_condition_tuple!(A, B, C, D, E, F, G, H);
impl_universe_condition_tuple!(A, B, C, D, E, F, G, H, I);
impl_universe_condition_tuple!(A, B, C, D, E, F, G, H, I, J);
impl_universe_condition_tuple!(A, B, C, D, E, F, G, H, I, J, K);
impl_universe_condition_tuple!(A, B, C, D, E, F, G, H, I, J, K, L);
impl_universe_condition_tuple!(A, B, C, D, E, F, G, H, I, J, K, L, M);
impl_universe_condition_tuple!(A, B, C, D, E, F, G, H, I, J, K, L, M, N);
impl_universe_condition_tuple!(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O);
impl_universe_condition_tuple!(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P);
#[derive(Default)]
pub struct Universe {
pub simulation: World,
pub systems: Systems,
pub resources: Resources,
}
impl Universe {
pub fn new(simulation: World) -> Self {
Self {
simulation,
resources: Default::default(),
systems: Default::default(),
}
}
pub fn with_plugin<T: Plugin + 'static>(mut self, plugin: T) -> Self {
plugin.install(&mut self.simulation, &mut self.systems, &mut self.resources);
self
}
pub fn with_basics(
self,
stack_capacity: usize,
registers_capacity: usize,
) -> Result<Self, Box<dyn Error>> {
self.with_resource(CommandBuffer::default())?
.with_resource(Registry::default().with_basic_types())?
.with_resource(Context::new(stack_capacity, registers_capacity))?
.with_resource(WorldProcessor::default())?
.with_resource(SerializationRegistry::default().with_basic_types())
}
pub fn with_resource(mut self, resource: impl Component) -> Result<Self, Box<dyn Error>> {
self.resources.add((resource,))?;
Ok(self)
}
pub fn with_system(
mut self,
system: impl System,
locals: impl Bundle,
) -> Result<Self, Box<dyn Error>> {
self.systems.add(system, locals)?;
Ok(self)
}
pub fn clear_changes(&mut self) {
self.simulation.clear_changes();
self.resources.clear_changes();
self.systems.clear_changes();
}
pub fn execute_commands<const LOCKING: bool>(&mut self) {
for commands in self.resources.query::<LOCKING, &mut CommandBuffer>() {
commands.execute(&mut self.simulation);
}
for commands in self.systems.query::<LOCKING, &mut CommandBuffer>() {
commands.execute(&mut self.simulation);
}
}
}
pub trait Plugin: Send + Sync {
fn install(self, simulation: &mut World, systems: &mut Systems, resources: &mut Resources);
}